| Nicholas M. Gotts. Topology from a single primitive relation: Defining topological properties and relations in terms of connection. Technical Report 96-23, University of Leeds, School of Computer Studies, 1996. |
....we make about the RCC 8 relations are of course equally true for the eight relations defined by Egenhofer. Apart from these systems of topological relations, there is also work on topological relations on a finer level of granularity where more relations can be distinguished. Gotts [Got94,Got96] for instance, identified a large number of different topological relations that can be distinguished by their connectedness (the C equal(X,Y) covers(X,Y) contains(X,Y) coveredBy(X,Y) inside(X,Y) TPP (X,Y) NTPP (X,Y) PP (X,Y) TPP(X,Y) PP(X,Y) NTPP(X,Y) EQ(X,Y) EQ(X,Y) Y X X Y X Y Y X X ....
....relations based on the results of our investigation, we propose to refine the relations EC, TPP, and TPP Gamma1 into different kinds of connection. Some possibilities are to distinguish connections at a single point, at more than one point, or along a line. It follows from Gotts s work [Got94,Got96] that all these relations can be defined in terms of the connected relation which is also used to define the RCC 8 relations. Although almost all subjects did not distinguish between TPP and TPP Gamma1 and between NTPP and NTPP Gamma1 , we do not consider the set of six relations we called ....
Nicholas M. Gotts. Topology from a single primitive relation: Defining topological properties and relations in terms of connection. Technical Report 96-23, University of Leeds, School of Computer Studies, 1996.
....with an additional contact relation which satisfies certain axioms. A standard model of the RCC is the Boolean algebra of regular open sets of a regular connected topological space, where two such sets are in contact, if their boundaries intersect. However, these are not the only RCC models. Gotts [22] explores how much topology can be defined by using the full first order RCC formalism. Our aim is similar: We are interested which relations can be defined with relation algebra logic (i.e. the three variable fragment of first order logic) in the algebraic setting of the RCC, interpreted in a ....
Gotts, N. M. (1996b). Topology from a single primitive relation: Defining topological properties and relations in terms of connection. Research Report 96.23, School of Computer Studies, University of Leeds.
No context found.
Gotts, N. M.: 1996b, Topology from a single primitive relation: defining topological properties and relations in terms of connection, Research Report 96.23, University of Leeds, School of Computer Studies.
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