Results 1  10
of
18
Mereotopology: a theory of parts and boundaries
 Data & Knowledge Engineering
, 1996
"... 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 contact and connectedness. to the concepts of surface, point, neighbourhood. and so on. The basis of the theory ..."
Abstract

Cited by 88 (19 self)
 Add to MetaCart
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 contact and connectedness. to the concepts of surface, point, neighbourhood. and so on. The basis of the theory is mereology. the formal theory of part and whole, a theory which is shown to have a number of advantages. for ontological purposes. over standard treatments of topology in settheoretic terms. One central goal of the paper is to provide a rigorous formulation of B~ntano's thesis to the effect that a boundary can exist as a matter of necessity only as part of a whole of higher dimension of which it is the boundary. It concludes with a brief survey of current applications of mereotopology in areas such as naturallanguage analysis, geographic information systems, machine vision, naive physics, and database and knowledge engineering.
A Situated Ontology for Practical NLP
 In Proceedings of the Workshop on Basic Ontological Issues in Knowledge Sharing, International Joint Conference on Artificial Intelligence (IJCAI95
, 1995
"... A situated ontology is a world model used as a computational resource for solving a particular set of problems. It is treated as neither a "natural" entity waiting to be discovered nor a purely theoretical construct. This paper describes how a semanticopragmatic analyzer, Mikrokosmos, uses knowledg ..."
Abstract

Cited by 85 (15 self)
 Add to MetaCart
A situated ontology is a world model used as a computational resource for solving a particular set of problems. It is treated as neither a "natural" entity waiting to be discovered nor a purely theoretical construct. This paper describes how a semanticopragmatic analyzer, Mikrokosmos, uses knowledge from a situated ontology as well as from languagespecific knowledge sources (lexicons and microtheory rules). Also presented are some guidelines for acquiring ontological concepts and an overview of the technology developed in the Mikrokosmos project for largescale acquisition and maintenance of ontological databases. Tools for acquiring, maintaining, and browsing ontologies can be shared more readily than ontologies themselves. Ontological knowledge bases can be shared as computational resources if such tools provide translators between different representation formats. 1 A Situated Ontology World models (ontologies) in computational applications are artificially constructed entities. ...
Parts, Wholes, and PartWhole Relations: The Prospects of Mereotopology
 Data and Knowledge Engineering
, 1996
"... INTRODUCTION This is a brief overview of formal theories concerned with the study of the notions of (and the relations between) parts and wholes. The guiding idea is that we can distinguish between a theory of parthood (mereology) and a theory of wholeness (holology, which is essentially afforded b ..."
Abstract

Cited by 62 (13 self)
 Add to MetaCart
INTRODUCTION This is a brief overview of formal theories concerned with the study of the notions of (and the relations between) parts and wholes. The guiding idea is that we can distinguish between a theory of parthood (mereology) and a theory of wholeness (holology, which is essentially afforded by topology), and the main question examined is how these two theories can be combined to obtain a unified theory of parts and wholes. We examine various nonequivalent ways of pursuing this task, mainly with reference to its relevance to spatiotemporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) theories; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory subsuming mereology. This is done in Sections 4 through 6. We also consider some more speculative strategies and directions for further research. First, however, we begin with some preliminary outline of
On drawing lines on a map,'' in
 Spatial Information TheoryÐA Theoretical Basis for GIS, International Conference COSIT `95, Vol. 988, Lecture Notes in Computer Science
, 1995
"... The paper is an exercise in descriptive ontology, with specific applications to problems in the geographical sphere. It presents a general typology of spatial boundaries, based in particular on an opposition between bona fide or physical boundaries on the one hand, and fiat or humandemarcationindu ..."
Abstract

Cited by 52 (21 self)
 Add to MetaCart
The paper is an exercise in descriptive ontology, with specific applications to problems in the geographical sphere. It presents a general typology of spatial boundaries, based in particular on an opposition between bona fide or physical boundaries on the one hand, and fiat or humandemarcationinduced boundaries on the other. Crosscutting this opposition are further oppositions in the realm of boundaries, for example between: crisp and indeterminate, complete and incomplete, enduring and transient, symmetrical and asymmetrical. The resulting typology generates a corresponding categorization of the different sorts of objects which (complete) boundaries determine or demarcate. The theory is applied first of all in the areas of geography and of administrative and property law. Indications are then given as to how the typology may be applied also in other fields where physical and fiat boundaries are at work, including the field of cognitive linguistics and the related field of the ontology of truth. Dividing Reality
A Connection Based Approach to Commonsense Topological Description and Reasoning
, 1995
"... The standard mathematical approaches to topology, pointset topology and algebraic topology, treat points as the fundamental, undefined entities, and construct extended spaces as sets of points with additional structure imposed on them. Pointset topology in particular generalises the concept of ..."
Abstract

Cited by 49 (9 self)
 Add to MetaCart
The standard mathematical approaches to topology, pointset topology and algebraic topology, treat points as the fundamental, undefined entities, and construct extended spaces as sets of points with additional structure imposed on them. Pointset topology in particular generalises the concept of a `space' far beyond its intuitive meaning. Even algebraic topology, which concentrates on spaces built out of `cells' topologically equivalent to ndimensional discs, concerns itself chiefly with rather abstract reasoning concerning the association of algebraic structures with particular spaces, rather than the kind of topological reasoning which is required in everyday life, or which might illuminate the metaphorical use of topological concepts such as `connection' and `boundary'. This paper explores an alternative to these approaches, RCC theory, which takes extended spaces (`regions') rather than points as fundamental. A single relation, C (x; y) (read `Region x connects with reg...
Fiat and bona fide boundaries: Towards and ontology of spatially extended objects
 in ‘Conf. on Spatial Information Theory (COSIT97)’, LNCS 1329
, 1997
"... M. O'Neill (1991a) Effects of signage and floor plan configuration on wayfinding accuracy. Environment and Behavior 23: 553574. M. O'Neill (1991b) Evaluation of a conceptual model of architectural legibility. ..."
Abstract

Cited by 23 (6 self)
 Add to MetaCart
M. O'Neill (1991a) Effects of signage and floor plan configuration on wayfinding accuracy. Environment and Behavior 23: 553574. M. O'Neill (1991b) Evaluation of a conceptual model of architectural legibility.
Reasoning About Space: The Hole Story
 Logic and Logical Philosophy
, 1996
"... this paper is to elaborate on that formalism and to illustrate how it can be exploited to provide a framework for more general patterns of REASONING ABOUT SPACE: THE HOLE STORY ..."
Abstract

Cited by 15 (11 self)
 Add to MetaCart
this paper is to elaborate on that formalism and to illustrate how it can be exploited to provide a framework for more general patterns of REASONING ABOUT SPACE: THE HOLE STORY