Open AccessProceedings Article
A Spatial Logic based on Regions and Connection.
David A. Randell,Z. Cui,Anthony G. Cohn +2 more
- pp 165-176
TLDR
An interval logic for reasoning about space is described, which supports a simpler ontology, has fewer functions and relations, yet does not su er in terms of its useful expressiveness.Abstract:
We describe an interval logic for reasoning about space. The logic simpli es an earlier theory developed by Randell and Cohn, and that of Clarke upon which the former was based. The theory supports a simpler ontology, has fewer de ned functions and relations, yet does not su er in terms of its useful expressiveness. An axiomatisation of the new theory and a comparison with the two original theories is given.read more
Citations
More filters
Journal ArticleDOI
Formal ontology, conceptual analysis and knowledge representation
TL;DR: The notion of the ontological level is introduced, intermediate between the epistemological and the conceptual levels discussed by Brachman, as a way to characterize a knowledge representation formalism taking into account the intended meaning of its primitives.
Book ChapterDOI
Monodic fragments of first-order temporal logics: 2000-2001 A.D
TL;DR: The aim of this paper is to summarize and analyze some results obtained in 2000-2001 about decidable and undecidable fragments of various first-order temporal logics, give some applications in the field of knowledge representation and reasoning, and attract the attention of the 'temporal community' to a number of interesting open problems.
An Ontology for Context-Aware Pervasive Computing Environments
TL;DR: An inference engine for reasoning with information expressed using the COBRA-ONT ontology and the ongoing research in using the DAML-Time ontology for context reasoning are described.
Journal ArticleDOI
An ontology for context-aware pervasive computing environments
TL;DR: The COBRA-ONT ontology as discussed by the authors is a collection of ontologies for describing places, agents and events and their associated properties in an intelligent meeting-room domain, expressed in the Web Ontology Language OWL.
Construction of Engineering Ontologies for Knowledge Sharing and Reuse
TL;DR: This thesis describes an investigation into the practical use of ontologies for the development of information systems by examining the relationship between meta-level and tacit background knowledge in ontologies and information systems design.
References
More filters
Journal Article
Maintaining knowledge about temporal intervals
TL;DR: An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation, which is notable in offering a delicate balance between space and time.
Journal ArticleDOI
A calculus of individuals based on ``connection''.
TL;DR: Calcul des individus, dans la ligne de la mereologie de Lesniewski et de ses developpements philosophiques chez Whitehead et Goodman, comprend trois parties: une partie mereologique (systematisation des predicats mereologiques), partie quasi booleenne (introduction des operateurs booleens and de l'individu universel).
Proceedings Article
A common-sense theory of time
James F. Allen,Patrick J. Hayes +1 more
TL;DR: This paper proposes an axiomatic a theory of time in terms of intervals and the single relation MEET and shows that this axiomatization subsumes Allen's interval-based theory.
Journal ArticleDOI
Moments and points in an interval-based temporal logic
James F. Allen,Patrick J. Hayes +1 more
TL;DR: This paper presents a concise, formal axiomatization of “interval‐based” time as described by Allen and then explores the relationship between interval‐based and point‐based temporal theories in detail.
A Critical Examination of Allen's Theory of Action and Time.
TL;DR: It is argued that Allen's category of processes is superfluous, since it can be assimilated with the category of properties, and the implications for the representation of sentences containing verbs in the progressive aspect are discussed.