More Web Proxy on the site http://driver.im/

article

Representing and reasoning over a taxonomy of part-whole relations

Authors:

Alessandro ArtaleAuthors Info & Claims

Applied Ontology, Volume 3, Issue 1-2

Pages 91 - 110

Published: 01 January 2008 Publication History

Abstract

Many types of part-whole relations have been proposed in the literature to aid the conceptual modeller to choose the most appropriate type, but many of those relations lack a formal specification to give clear and unambiguous semantics to them. To remedy this, a formal taxonomy of types of mereological and meronymic part-whole relations is presented that distinguishes between transitive and intransitive relations and the kind of entity types that are related. The demand to use it effectively brings afore new requirements for automated reasoning over a hierarchy of relations. To ensure logically and ontologically correct inferencing over both the class and role hierarchy, the new reasoning service RBox compatibility for Description Logics reasoners is introduced. The proposed combination of formal semantics and the new reasoning service will improve the representation of the application domain when using part-whole relations in conceptual models and ontologies.

References

[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.

Digital Library

[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.

Digital Library

[5]

Berardi, D., Calvanese, D. & De Giacomo, G. (2005). Reasoning on UML class diagrams. Artificial Intelligence, 168(1/2), 70-118.

Digital Library

[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).

Digital Library

[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).

Digital Library

[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.

Digital Library

[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.

Digital Library

[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 DLR_ifd . 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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Cited By

Styrman AHalko A(2018)Finitist set theory in ontological modelingApplied Ontology10.3233/AO-18019613:2(107-133)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.3233/AO-180196
(2017)Multi-viewpoint ontological representation of composite conceptsInternational Journal of Intelligent Information and Database Systems10.5555/3141386.314138910:1-2(51-68)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.5555/3141386.3141389
Keet CKutz O(2017)Orchestrating a Network of Mereo(topo)logical TheoriesProceedings of the 9th Knowledge Capture Conference10.1145/3148011.3148013(1-8)Online publication date: 4-Dec-2017
https://dl.acm.org/doi/10.1145/3148011.3148013
Show More Cited By

Index Terms

Representing and reasoning over a taxonomy of part-whole relations

Recommendations

Representing and reasoning over a taxonomy of part-whole relations
Ontological Foundations of Conceptual Modelling

Many types of part-whole relations have been proposed in the literature to aid the conceptual modeller to choose the most appropriate type, but many of those relations lack a formal specification to give clear and unambiguous semantics to them. To ...
Representing and reasoning over a taxonomy of part--whole relations
Ontological Foundations of Conceptual Modelling

Many types of part--whole relations have been proposed in the literature to aid the conceptual modeller to choose the most appropriate type, but many of those relations lack a formal specification to give clear and unambiguous semantics to them. To ...
A note on the axiomatics of theories in parthood

We discuss the axiomatic base of some of the most prominent theories of parthood (mereologies), in particular of General (Classical) Extensional Mereology (GEM). Parthood is axiomatized in GEM as a partial ordering to which a supplementation axiom and a ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Applied Ontology

Applied Ontology Volume 3, Issue 1-2

Ontological Foundations of Conceptual Modelling

January 2008

128 pages

ISSN:1570-5838

Issue’s Table of Contents

Publisher

IOS Press

Netherlands

Publication History

Published: 01 January 2008

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

31
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Styrman AHalko A(2018)Finitist set theory in ontological modelingApplied Ontology10.3233/AO-18019613:2(107-133)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.3233/AO-180196
(2017)Multi-viewpoint ontological representation of composite conceptsInternational Journal of Intelligent Information and Database Systems10.5555/3141386.314138910:1-2(51-68)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.5555/3141386.3141389
Keet CKutz O(2017)Orchestrating a Network of Mereo(topo)logical TheoriesProceedings of the 9th Knowledge Capture Conference10.1145/3148011.3148013(1-8)Online publication date: 4-Dec-2017
https://dl.acm.org/doi/10.1145/3148011.3148013
De Nicola AMissikoff M(2016)A lightweight methodology for rapid ontology engineeringCommunications of the ACM10.1145/281835959:3(79-86)Online publication date: 25-Feb-2016
https://dl.acm.org/doi/10.1145/2818359
Yıldız TDiri BYıldırım S(2016)Acquisition of Turkish meronym based on classification of patternsPattern Analysis & Applications10.1007/s10044-015-0516-919:2(495-507)Online publication date: 1-May-2016
https://dl.acm.org/doi/10.1007/s10044-015-0516-9
Keet C(2016)Relating Some Stuff to Other StuffKnowledge Engineering and Knowledge Management10.1007/978-3-319-49004-5_24(368-383)Online publication date: 19-Nov-2016
https://dl.acm.org/doi/10.1007/978-3-319-49004-5_24
Keet CFillottrani P(2015)An ontology-driven unifying metamodel of UML Class Diagrams, EER, and ORM2Data & Knowledge Engineering10.1016/j.datak.2015.07.00498:C(30-53)Online publication date: 1-Jul-2015
https://dl.acm.org/doi/10.1016/j.datak.2015.07.004
Kless DMilton SKazmierczak ELindenthal J(2015)Thesaurus and ontology structureJournal of the Association for Information Science and Technology10.1002/asi.2326866:7(1348-1366)Online publication date: 1-Jul-2015
https://dl.acm.org/doi/10.1002/asi.23268
Borgo S(2014)An ontological approach for reliable data integration in the industrial domainComputers in Industry10.1016/j.compind.2013.12.01065:9(1242-1252)Online publication date: 1-Dec-2014
https://dl.acm.org/doi/10.1016/j.compind.2013.12.010
Dapoigny RBarlatier P(2013)A Typed Approach for Contextualizing the Part-Whole RelationProceedings of the 8th International and Interdisciplinary Conference on Modeling and Using Context - Volume 817510.5555/2954073.2954075(1-14)Online publication date: 28-Oct-2013
https://dl.acm.org/doi/10.5555/2954073.2954075
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents