A note on the axiomatics of theories in parthood

Data and Knowledge Engineering

Volumn 50, Issue 2, 2004, Pages 195-213

  Pontow, Carsten ^a  

^a Health Information Technologies Tyrol   (Austria)

Author keywords

Mereology; Mereotopology; Ontologies; Part whole relation; Reasoning

Indexed keywords

FORMAL LOGIC; MATHEMATICAL MODELS; NAVIGATION; ROBOTICS; TOPOLOGY;

MEREOLOGY; MEREOTOPOLOGY; ONTOLOGIES; PART-WHOLE RELATION; REASONING;

KNOWLEDGE BASED SYSTEMS;

EID: 2542478199     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2003.12.002     Document Type: Article

References (8)

1. Artale A., Franconi E., Guarino N., Pazzi L. Part-whole relations in object-centered systems: an overview. Data & Knowledge Engineering. 20:1996;347-383.
2. Casati R., Varzi A.C. Parts and Places: The Structures of Spatial Representation. A Bradford Book. 1999;The MIT Press, Cambridge, MA, London, England.
3. Ebbinghaus H.D., Flum J., Thomas W. Mathematical logic. Undergraduate Text in Mathematics. second ed. 1994;Springer Verlag, New York.
4. Masolo C., Vieu L. Atomicity vs. infinite divisibility of space. Proc. COSIT'99, Stade, Germany, 1999. Lecture Notes in Computer Science. vol. 1661:1999;235-250 Springer.
5. L. Ridder, Mereologie. Ein Beitrag zur Ontologie und Erkenntnistheorie, Philosophische Abhandlungen, Band 83, Vittorio Klostermann, Frankfurt am Main, 2002.
6. Simons P. Parts: A Study in Ontology. 1987;Clarendon Press, Oxford.
7. Smith B. Mereotopology: a theory of parts and boundaries. Data & Knowledge Engineering. 20:1996;287-303.
8. Varzi A.C. Parts, wholes, and part-whole relations: the prospects of mereotopology. Data & Knowldege Engineering. 20:1996;259-286.