PRATT I., LEMON O., "Ontologies for plane, polygonal mereotopology", Notre Dame Journal of Formal Logic, vol. 38, num. 2, 1997, p. 225-245. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Elementary Polyhedral Mereotopology - Schoop (Correct)
....of this paper is to answer certain technical questions concerning the logical properties of any viable mereotopology based on Whitehead s primitive. Previous research in this area has yielded several results on plane mereotopology, settling such issues as alternative models (Pratt and Lemon [14]) expressive power (Papadimitriou, Suciu and Vianu [13] and axiomatization (Pratt and Schoop [15] The contribution of the present paper is to extend these investigations to the mereotopology of three dimensional space. The development of any mereotopology requires some assurance of conformity ....
....of regular open semialgebraic (van den Dries [19] p. 168) Again, S determines an L structure by interpreting the binary predicate C in the usual way; it is then easy to show that S and R are elementarily equivalent and that Theorems 2.8 and 2.10 apply with R replaced by S. See Pratt and Lemon [14] sec. 6 for a more detailed discussion in the two dimensional case. Since generalization to the semialgebraic case adds nothing new, we have kept to the polyhedral case in this paper for perspicuity. More problematic is the liberalization of quanti cation to domains containing non tame regions, ....
Pratt, I. and O. Lemon: 1997, `Ontologies for plane, polygonal mereotopology'. Notre Dame Journal of Formal Logic 38(2), 225-245.
A Constructivist Perspective on Physics - Fletcher (2002) (Correct)
....uncountable infinity of unobservable points. The factors that make pointless topology computationally attractive also make it philosophically attractive. Nevertheless, it is hard to capitalise on these apparent advantages: pointless versions of topology tend simply to mimic conventional topology [Pratt Lemon, 1997]. No pointless topology that has advantages over point based topology from a constructivist point of view has yet been developed. A third approach is to use real numbers to represent points, in the usual way, but to use an unorthodox theory of the reals. In synthetic differential geometry [Kock, ....
Pratt, I. & Lemon, O. [1997]: `Ontologies for plane, polygonal mereotopology', Notre Dame Journal of Formal Logic, 38, no. 2, 225--245.
A Foundation for Region-Based Qualitative Geometry - Brandon Bennett Anthony (2000) (1 citation) (Correct)
....( simple region ) Topological concepts are nevertheless definable in our system. Secondly, we prove categoricity by a much more direct encoding of Tarski s geometry axioms into our language. There has recently been some criticism of the region based approach to spatial reasoning. For instance [15] argue that there is no advantage in reasoning with regions as opposed to sets of points because, once a certain minimal level of expressive capability is passed, the region based theories are just as complex as comparable pointbased theories. While we accept this, we believe that for carrying out ....
I. Pratt and O. Lemon, `Ontologies for Plane, Polygonal Mereotopology ', Notre Dame Journal of Formal Logic, 38(2), 225--245, (1997).
A Topological Constraint Language with - Component Counting Ian Self-citation (Pratt) (Correct)
No context found.
PRATT I., LEMON O., "Ontologies for plane, polygonal mereotopology", Notre Dame Journal of Formal Logic, vol. 38, num. 2, 1997, p. 225-245.
Elementary Polyhedral Mereotopology - Department Of Computer (Correct)
No context found.
Pratt, I. and O. Lemon: 1997, `Ontologies for plane, polygonal mereotopology'. Notre Dame Journal of Formal Logic 38(2), 225-245.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC