Defining relations: A general incremental approach with spatial and temporal case studies

Brandon Bennett, Heshan Du, Lucía Gómez Álvarez, Anthony G. Cohn

Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

1 Citation (Scopus)

Abstract

This paper aims to lay a foundation for a systematic study of mechanisms for construction of definitions within a formal theory, by investigating operators for incremental construction of definitions of new relations from an existing set of primitives and previously defined relations. To illustrate our method, we apply it to two of the best known relation sets studied in KRR: Allen's Interval Algebra and Region Connection Calculus. We also show that systematic exploration of definitional possibilities can yield interesting insights into relation sets that were originally defined in a more ad hoc way, and opens the possibility for discovering new vocabulary for extending or refining existing calculi or for developing completely new calculi.

Original languageEnglish
Title of host publicationFormal Ontology in Information Systems - Proceedings of the 9th International Conference, FOIS 2016
EditorsRoberta Ferrario, Werner Kuhn
PublisherIOS Press
Pages23-36
Number of pages14
ISBN (Electronic)9781614996590
DOIs
Publication statusPublished - 2016
Externally publishedYes
Event9th Formal Ontology in Information Systems Conference, FOIS 2016 - Annecy, France
Duration: 6 Jul 20169 Jul 2016

Publication series

NameFrontiers in Artificial Intelligence and Applications
Volume283
ISSN (Print)0922-6389

Conference

Conference9th Formal Ontology in Information Systems Conference, FOIS 2016
Country/TerritoryFrance
CityAnnecy
Period6/07/169/07/16

Keywords

  • Definitions
  • Relations

ASJC Scopus subject areas

  • Artificial Intelligence

Fingerprint

Dive into the research topics of 'Defining relations: A general incremental approach with spatial and temporal case studies'. Together they form a unique fingerprint.

Cite this