@inproceedings{eedfbf7220314f68b1921621be871045,
title = "Defining relations: A general incremental approach with spatial and temporal case studies",
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.",
keywords = "Definitions, Relations",
author = "Brandon Bennett and Heshan Du and {G{\'o}mez {\'A}lvarez}, Luc{\'i}a and Cohn, {Anthony G.}",
note = "Publisher Copyright: {\textcopyright} 2016 The authors and IOS Press.; 9th Formal Ontology in Information Systems Conference, FOIS 2016 ; Conference date: 06-07-2016 Through 09-07-2016",
year = "2016",
doi = "10.3233/978-1-61499-660-6-23",
language = "English",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press BV",
pages = "23--36",
editor = "Roberta Ferrario and Werner Kuhn",
booktitle = "Formal Ontology in Information Systems - Proceedings of the 9th International Conference, FOIS 2016",
address = "Netherlands",
}