Results 1  10
of
951
Modeltheoretic characterization of Asher and Vieu’s ontology of mereotopology
, 2009
"... We characterize the models of Asher and Vieu’s firstorder mereotopology RT0 in terms of mathematical structures with welldefined properties: topological spaces, lattices, and graphs. We give a full representation theorem for the models of the subtheory RT − (RT0 without existential axioms) as por ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
We characterize the models of Asher and Vieu’s firstorder mereotopology RT0 in terms of mathematical structures with welldefined properties: topological spaces, lattices, and graphs. We give a full representation theorem for the models of the subtheory RT − (RT0 without existential axioms) as p
ModelTheoretic Analysis of Asher And Vieu's Mereotopology
, 2008
"... In the past little work has been done to characterize the models of various mereotopological systems. This thesis focuses on Asher and Vieu's firstorder mereotopology which evolved from Clarke's Calculus of Individuals. Its soundness and completeness proofs with respect to a topological t ..."
Abstract

Cited by 5 (3 self)
 Add to MetaCart
In the past little work has been done to characterize the models of various mereotopological systems. This thesis focuses on Asher and Vieu's firstorder mereotopology which evolved from Clarke's Calculus of Individuals. Its soundness and completeness proofs with respect to a topological
“Modeltheoretic Analysis of Asher and Vieu’s Meretopology”
"... research resolves around how rich semantic descriptions of the information from complex and heterogeneous information systems in formal logical representations – socalled ontologies – can be efficiently obtained and integrated with one another. Key questions in this work are how to manage and break ..."
Abstract
 Add to MetaCart
research resolves around how rich semantic descriptions of the information from complex and heterogeneous information systems in formal logical representations – socalled ontologies – can be efficiently obtained and integrated with one another. Key questions in this work are how to manage
Ontologies for Plane, Polygonal Mereotopology
, 1997
"... Several authors have suggested that a more parsimonious and conceptually elegant treatment of everyday mereological and topological reasoning can be obtained by adopting a spatial ontology in which regions, not points, are the primitive entities. This paper challenges this suggestion for mereotop ..."
Abstract

Cited by 32 (3 self)
 Add to MetaCart
as this familiar interpretation. This proposal has the merit of transforming a vague, openended question about ontologies for "practical" mereotopological reasoning into a precise question in model theory. We show that (a version of) the familiar interpretation is countable and atomic, and therefore
From Multidimensional Mereotopology to Geometry
"... contact information omitted in online version � www.cs.toronto.edu/~torsten RESEARCH INTERESTS � Expressive and lightweight ontologies; their verification, modularity, and ontology repositories � Semantic technologies, interoperability, data and knowledge integration � Spatial data, including geospa ..."
Abstract
 Add to MetaCart
logic, model theory My current research focuses on ontologybased integration of spatial data and knowledge. I am interested in how data integration can be facilitated by formalizing its semantics as expressive ontologies and by semantically integrating the ensuing ontologies. In particular, I
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 89 (16 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
What memory is for
 Behavioral and Brain Sciences
, 1997
"... What working memory is for Citation for published version: Logie, RH 1997, 'What working memory is for ' Behavioral and Brain Sciences, vol 20, no. 1, pp. 28. Link: Link to publication record in Edinburgh Research Explorer ..."
Abstract

Cited by 379 (5 self)
 Add to MetaCart
What working memory is for Citation for published version: Logie, RH 1997, 'What working memory is for ' Behavioral and Brain Sciences, vol 20, no. 1, pp. 28. Link: Link to publication record in Edinburgh Research Explorer
Undecidability of Plane Polygonal Mereotopology
 PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE (KR98
, 1998
"... This paper presents a mereotopological model of polygonal regions of the Euclidean plane and an undecidability proof of its firstorder theory. Restricted to the primitive operations the model is a Boolean algebra. Its single primitive predicate defines simple polygons as the topologically simplest p ..."
Abstract

Cited by 22 (0 self)
 Add to MetaCart
polygonal regions. It turns out that both the relations usually provided by mereotopologies and more subtle topological relations are elementarily definable in the model. Using these relations, Post's correspondence problem, known as undecidable, can be reduced to the decision problem of the model.
Stonian portholattices: A new approach to the mereotopology RT0
 ARTIFICIAL INTELLIGENCE
, 2009
"... This paper gives an isomorphic representation of the subtheories RT − , RT − EC, and RT of Asher and Vieu’s firstorder ontology of mereotopology RT0. It corrects and extends previous work on the representation of these mereotopologies. We develop the theory of portholattices – lattices that are bo ..."
Abstract

Cited by 7 (6 self)
 Add to MetaCart
This paper gives an isomorphic representation of the subtheories RT − , RT − EC, and RT of Asher and Vieu’s firstorder ontology of mereotopology RT0. It corrects and extends previous work on the representation of these mereotopologies. We develop the theory of portholattices – lattices
A Complete Axiom System for Polygonal Mereotopology of the Real Plane
, 1997
"... This paper presents a calculus for mereotopological reasoning in which twodimensional spatial regions are treated as primitive entities. A first order predicate language L with a distinguished unary predicate c(x), functionsymbols +; : and \Gamma and constants 0 and 1 is defined. An interpretation ..."
Abstract

Cited by 46 (5 self)
 Add to MetaCart
This paper presents a calculus for mereotopological reasoning in which twodimensional spatial regions are treated as primitive entities. A first order predicate language L with a distinguished unary predicate c(x), functionsymbols +; : and \Gamma and constants 0 and 1 is defined
Results 1  10
of
951