A mathematical analysis of theories of parthood

Data and Knowledge Engineering

Volumn 59, Issue 1, 2006, Pages 107-138

  Pontow, Carsten ^a   Schubert, Rainer ^a  

^a UNIVERSITY FOR HEALTH SCIENCES   (Austria)

Author keywords

Mereology; Ontologies; Part whole relation; Reasoning; Set theory

Indexed keywords

ALGEBRA; BOOLEAN ALGEBRA; MATHEMATICAL MODELS; SET THEORY; THEOREM PROVING;

GENERAL EXTENSIONAL MEREOLOGY (GEM); MEREOLOGY; ONTOLOGIES; PART-WHOLE RELATION; REASONING;

KNOWLEDGE ENGINEERING;

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

References (24)

1. Artale A., Franconi E., Guarino N., and Pazzi L. Part-whole relations in object-centered systems: An overview. Data and Knowledge Engineering 20 (1996) 347-383
2. Barbier F., and Henderson-Sellers B. The whole-part relationship in object modelling: a definition in cOLOr. Information and Software Technology 43 (2001) 19-39
3. Barbier F., Henderson-Sellers B., Le Parc-Lacayrelle A., and Bruel J.-M. Formalization of the whole-part relationship on the unified modeling language. IEEE Transactions on Software Engineering 29 5 (2003) 459-470
4. Cameron P.J. Sets, Logic and Categories. Springer Undergraduate Mathematics Series (1999), Springer-Verlag
5. Casati R., and Varzi A.C. Parts and Places: The Structures of Spatial Representation. A Bradford Book (1999), The MIT Press, Cambridge, Massachusetts, London, England
6. M. Deutsch, Einführung in die Grundlagen der Mathematik, Universitätsdruckerei Bremen, 1999.
7. Drake F.R. Set Theory: An Introduction to Large Cardinals. Studies in Logic and the Foundations of Mathematics Vol. 76 (1974), North-Holland Publishing Company
8. Dwinger P. Introduction to Boolean Algebras (1961), Physica Verlag Würzburg
9. H.D. Ebbinghaus, Einführung in die Mengenlehre, Wissenschaftliche Buchgesellschaft Darmstadt, 1977.
10. Available from .
11. Halmos P.R. Lectures on Boolean Algebras. Van Nostrand Mathematical Studies vol. 1 (1963), D. Van Nostrand Company Inc., Princeton New Jersey
12. Henderson-Sellers B., and Barbier F. What Is This Thing Called Aggregation?. In: Mitchell R., Wills A.C., Bosch J., and Meyer B. (Eds). Proceedings of TOOLS 29 (1999), IEEE Computer Society Press 236-250
13. Henderson-Sellers B., and Barbier F. Black and White Diamonds. Proceedings of UML'99. Lecture Notes in Computer Science Vol. 1723 (1999), Springer, New York 550-565
14. J.L. Mejino, C. Rosse, The Potential of the Digital Anatomist Foundational Model for assuring consistency in UMLS sources, in: Proc. AMIA Symp. 1998, pp. 825-829.
15. Opdahl A.L., Henderson-Sellers B., and Barbier F. Ontological analysis of whole-part relationships in OO-models. Information and Software Technology 43 (2001) 387-399
16. Pontow C. A Note on the Axiomatics of Theories in Parthood. Data and Knowledge Engineering 50 (2004) 195-213
17. L. Ridder, Mereologie. Ein Beitrag zur Ontologie und Erkenntnistheorie. (Philosophische Abhandlungen, Band 83, Vittorio Klostermann, Frankfurt am Main, 2002).
18. Rosse C., Mejino J.L., Modayur B.R., Jakobovits R., Hinshaw K., and Brinkley J.F. Motivation and organizational principles for anatomical knowledge representation: the digital anatomist symbolic knowledge base. Journal of the American Medical Information Association 5 (1998) 17-40
19. Simons P. Parts: A Study in Ontology (1987), Clarendon Press, Oxford
20. B. Smith, The Logic of Biomedical Classification and the Foundations of Biomedical Ontology, in: Dag Westerståhl (Ed.): Invited Papers from the 10th International Conference in Logic Methodology and Philosophy of Science, Oviedo, Spain, 2003.
21. Smith B. Mereotopology: A theory of parts and boundaries. Data and Knowledge Engineering 20 (1996) 287-303
22. H.M. Stone, The Theory of Representations for Boolean Algebras, in: Transactions of the American Mathematical Society 40, pp. 37-111.
23. Tarski A. Zur Grundlegung der Booleschen Algebra I. Fundamenta Mathematica 24 (1935) 177-198
24. Varzi A.C. Parts, Wholes, and Part-Whole Relations: The Prospects of Mereotopology. Data and Knowledge Engineering 20 (1996) 259-286