The paper is a overview of the major qualitative spatial representation and reasoning
techniques. We survey the main aspects of the representation of qualitative knowledge …

Publisher Summary Early attempts at qualitative spatial reasoning within the qualitative
reasoning (QR) community led to the poverty conjecture. The need for spatial …

The purpose of this paper is to defend the systematic introduction of formal ontological
principles in the current practice of knowledge engineering, to explore the various …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

The paper is a contribution to formal ontology. It seeks to use topological means in order to
derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of …

We present a detailed semantics for linguistic spatial expressions supportive of
computational processing that draws substantially on the principles and tools of ontological …

We can see mereology as a theory of parthood and topology as a theory of wholeness. How
can the two be combined to obtain a unified theory of parts and wholes'? This paper …

Книга подготовлена по материалам, изученным автором в 1997 г. во время стажировки
в Калифорнийском университете (Беркли), предоставленной Советом по …

Starting with an updated description of Allen's calculus, the book proceeds with a description
of the main qualitative calculi which have been developed over the last two decades. It …

Mereological and topological notions of connection, part, interior and complement are
central to spatial reasoning and to the semantics of natural language expressions …