Representing and reasoning over a taxonomy of part-whole relations

Applied Ontology

Volumn 3, Issue 1-2, 2008, Pages 91-110

  Maria Keet, C ^a   Artale, Alessandro ^a  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

Conceptual modeling; Description logics reasoning; Mereology; Part whole relation

Indexed keywords

EID: 85013604216     PISSN: 15705838     EISSN: 18758533     Source Type: Journal    
DOI: 10.3233/AO-2008-0044     Document Type: Article

References (42)

1. Artale, A., Franconi, E., Guarino, N. & Pazzi, L. (1996). Part-whole relations in object-centered systems: An overview. Data & Knowledge Engineering, 20(3), 347-383.
2. Artale, A., Franconi, E. & Mandreoli, F. (2003). Description logics for modeling dynamic information. In J. Chomicki, R. van der Meyden & G. Saake (eds.), Logics for Emerging Applications of Databases, Lecture Notes in Computer Science. Berlin: Springer-Verlag.
3. Baader, F., Calvanese, D., McGuinness, D., Nardi, D. & Patel-Schneider, P.F., eds. (2002). Description Logic Handbook: Theory, Implementation and Applications. Cambridge: Cambridge University Press.
4. Barbier, F., Henderson-Sellers, B., Le Parc-Lacayrelle, A. & Bruel, J.-M. (2003). Formalization of the whole-part relationship in the Unified Modelling Language. IEEE Transactions on Software Engineering, 29(5), 459-470.
5. Berardi, D., Calvanese, D. & De Giacomo, G. (2005). Reasoning on UML class diagrams. Artificial Intelligence, 168(1/2), 70-118.
6. Bittner, T. & Donnelly, M. (2005). Computational ontologies of parthood, componenthood, and containment. In L. Kaelbling (ed.), Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence 2005 (IJCAI05), Edinburgh, UK, July 30-August 5, 2005 (pp. 382-387).
7. Borgo, S. & Masolo, C. (2007). Full mereogeometries. Journal of Philosophical Logic, to appear.
8. Calvanese, D., Lenzerini, M. & Nardi, D. (1998). Description logics for conceptual data modeling. In J. Chomicki & G. Saake (eds.), Logics for Databases and Information Systems. Amsterdam: Kluwer.
9. Calvanese, D., De Giacomo, G. & Lenzerini, M. (1999). Reasoning in expressive description logics with fixpoints based on automata on infinite trees. In Proc. of the 16th Int. Joint Conf. on Artificial Intelligence (IJCAI’99), Stockholm, Sweden, July 31-August 6, 1999 (pp. 84-89).
10. Calvanese, D. & De Giacomo, G. (2003). Expressive description logics. In F. Baader, D. Calvanese, D. McGuinness, D. Nardi & P. Patel-Schneider (eds.), The Description Logic Handbook: Theory, Implementation and Applications (pp. 178-218). Cambridge: Cambridge University Press.
11. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M. & Rosati, R. (2005). DL-Lite: Tractable description logics for ontologies. In Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005), Pittsburgh, PA, USA, July 9-13, 2005 (pp. 602-607).
12. Franconi, E. & Ng, G. (2000). The iCom tool for intelligent conceptual modeling. In 7th Intl Workshop on Knowledge Representation Meets Databases. Berlin, Germany.
13. Gerstl, P. & Pribbenow, S. (1995).Midwinters, end games, and body parts: a classification of part-whole relations. International Journal of Human-Computer Studies, 43, 865-889.
14. Guarino, N. & Welty, C.A. (2004). An overview of OntoClean. In S. Stab and R. Studer (eds.), Handbook on Ontologies (pp. 151-159). Berlin: Springer-Verlag.
15. Guizzardi, G. (2005). Ontological foundations for structural conceptual models. PhD Thesis, Telematica Institute, Twente University, Enschede, The Netherlands. ISBN 90-75176-81-3.
16. Herre, H. & Heller, B. (2006). Semantic foundations of medical information systems based on top-level ontologies. Knowledge-Based Systems, 19, 107-115.
17. Horrocks, I., Kutz, O. & Sattler, U. (2006). The Even More Irresistible SROIQ. In Proceedings of the 10th International Conference of Knowledge Representation and Reasoning (KR-2006). Lake District, UK.
18. Johansson, I. (2004). On the transitivity of the parthood relation. In H. Hochberg and K. Mulligan (eds.), Relations and Predicates (pp. 161-181). Frankfurt: Ontos-Verlag.
19. Keet, C.M. (2006a). Part-whole relations in object-role models. In 2nd International Workshop on Object-Role Modelling (ORM 2006), Montpellier, France, November 2-3, 2006. In R. Meersman, Z. Tari, P. Herrero et al. (eds.), OTM Workshops 2006, Lecture Notes in Computer Science (Vol. 4278, pp. 1116-1127). Berlin: Springer-Verlag.
20. Keet, C.M. (2006b). Introduction to part-whole relations: mereology, conceptual modeling and mathematical aspects. KRDB Research Centre Technical Report KRDB06-3 (Tutorial reader), Faculty of Computer Science, Free University of Bozen-Bolzano, Italy.
21. Keet, C.M. (2007). Mapping the Object-Role Modeling language ORM2 into Description Logic language DLRifd. KRDB Research Centre Technical Report KRDB07-2, Faculty of Computer Science, Free University of Bozen-Bolzano, Italy. arXiv: cs.LO/0702089v1.
22. Lambrix, P. & Padgham, L. (2000). Conceptual modeling in a document management environment using part-of reasoning in description logics. Data & Knowledge Engineering, 32(1), 51-86.
23. Masolo, C., Borgo, S., Gangemi, A., Guarino, N. & Oltramari, A. (2003). Ontology Library.WonderWeb Deliverable D18 (ver. 1.0, 31-12-2003). http://wonderweb.semanticweb.org.
24. Masolo, C., Vieu, L., Bottazzi, E., Catenacci, C., Ferrario, R., Gangemi, A. & Guarino, N. (2004). Social roles and their descriptions. In 9th International Conference on Principles of Knowledge Representation and Reasoning (KR2004). Banff, Canada.
25. Motschnig-Pitrik, R. & Kaasbøll, J. (1999). Part-whole relationship categories and their application in object-oriented analysis. IEEE Transactions on Knowledge and Data Engineering, 11(5), 779-797.
26. Object Management Group (2005). Unified Modeling Language: Superstructure. v2.0, formal/05-07-04. http://www.omg.org/ cgi-bin/doc?formal/05-07-04.
27. Odell, J.J. (1998). Six different kinds of composition. In Advanced Object-Oriented Analysis & Design using UML. Cambridge: Cambridge University Press.
28. Opdahl, A., Henderson-Sellers, B. & Barbier, F. (2001). Ontological Analysis of whole-part relationships in OO-models. Information and Software Technology, 43, 387-399.
29. Rector, A., Rogers, J. & Bittner, T. (2006). Granularity, scale and collectivity: When size does and does not matter. Journal of Biomedical Informatics, 39(3), 333-349.
30. Sattler, U. (1995). A concept language for an engineering application with part-whole relations. In A. Borgida, M. Lenzerini, D. Nardi & B. Nebel (eds.), Proceedings of the International Workshop on Description Logics, Roma, Italy, June 2-3, 1995 (pp. 119-123).
31. Schneider, L. (2003). Designing Foundational Ontologies. The object-centered high-level reference ontology OCHRE as a case study. In I.-Y. Song, S.W. Liddle, T.W. Ling & P. Scheuermann (eds.), Conceptual Modeling - ER 2003, 22nd International Conference on Conceptual Modeling, LNCS (Vol. 2813, pp. 91-104). Heidelberg: Springer.
32. Schulz, S., Hahn, U. & Romacker, M. (2000). Modeling anatomical spatial relations with description logics. In J.M. Overhage (ed.), Proceedings of the AMIA Symposium 2000, Los Angeles, CA, USA, November 4-8, 2000 (pp. 779-783).
33. Schulz, S., Kumar, A. & Bittner, T. (2006). Biomedical ontologies: What part-of is and isn’t. Journal of Biomedical Informatics, 39(3), 350-361.
34. Shanks, G., Tansley, E. & Weber, R. (2004). Representing composites in conceptual modeling. Communications of the ACM, 47(7), 77-80.
35. Simons, P. (1987). Parts: A Study in Ontology. Oxford: Clarendon Press.
36. Smith, B., Ceusters, W., Klagges, B., Köhler, J., Kumar, A., Lomax, J., Mungall, C.J., Neuhaus, F., Rector, A. & Rosse, C. (2005). Relations in biomedical ontologies. Genome Biology, 6, R46.
37. Tan, H.B.K, Hao, L. & Yang, Y. (2003). On formalizations of the whole-part relationship in the Unified Modeling Language. IEEE Transactions on Software Engineering, 29(11), 1054-1055.
38. Varzi, A.C. (2004). Mereology. In E.N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Fall 2004 Edition). http://plato.stanford.edu/archives/fall2004/entries/mereology/.
39. Varzi, A.C. (2006a). Spatial reasoning and ontology: parts, wholes, and locations. In M. Aiello, I. Pratt-Hartmann & J. van Benthem (eds.), The Logic of Space, to appear. Dordrecht: Kluwer Academic Publishers. http://www.columbia.edu/av72/papers/Space_2006.pdf, date accessed: 18-9-2006.
40. Varzi, A.C. (2006b). A note on the transitivity of parthood. Applied Ontology, 1(2), 141-146.
41. Vieu, L. & Aurnague, M. (2005). Part-of relations, functionality and dependence. In M. Aurnague, M. Hickmann & L. Vieu (eds.), Categorization of Spatial Entities in Language and Cognition. Amsterdam: John Benjamins.
42. Winston, M.E., Chaffin, R. & Herrmann, D. (1987). A taxonomy of part-whole relations. Cognitive Science, 11(4), 417-444.