Applied ontology 3 (1-2):91-110 (2008)

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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.3233/ao-2008-0044
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,199
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Mereology.Achille C. Varzi - 2016 - Stanford Encyclopedia of Philosophy.
Parts : a Study in Ontology.Peter Simons - 1987 - Revue de Métaphysique et de Morale 2:277-279.
Parts: A Study in Ontology.Peter Simons - 1988 - Mind 97 (388):638-640.
Parts. A Study in Ontology.Peter Simons - 1989 - Revue Philosophique de la France Et de l'Etranger 179 (1):131-132.

View all 11 references / Add more references

Citations of this work BETA

Finitist Set Theory in Ontological Modeling.Avril Styrman & Aapo Halko - 2018 - Applied Ontology 13 (2):107-133.

View all 11 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
301 ( #35,763 of 2,517,923 )

Recent downloads (6 months)
1 ( #409,045 of 2,517,923 )

How can I increase my downloads?

Downloads

My notes