Representing and Reasoning over a Taxonomy of Part-Whole Relations
C. Keet, and A. Artale. Applied Ontology -- Special issue on Ontological Foundations for Conceptual Modeling, 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.
%0 Journal Article
%1 AK07
%A Keet, C. Maria
%A Artale, Alessandro
%D 2008
%J Applied Ontology -- Special issue on Ontological Foundations for Conceptual Modeling
%K mereology part-whole parthood
%N 1-2
%P 91-110
%T Representing and Reasoning over a Taxonomy of Part-Whole Relations
%U http://www.meteck.org/files/AO07_pw_AK.pdf
%V 3
%X 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.
@article{AK07,
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
\emph{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.},
added-at = {2011-12-12T08:58:07.000+0100},
author = {Keet, C. Maria and Artale, Alessandro},
biburl = {https://www.bibsonomy.org/bibtex/2b59d8be6336886f12e7f30a86039a0db/keet},
interhash = {caf1397ab02b1e801ddbd68443a703e0},
intrahash = {b59d8be6336886f12e7f30a86039a0db},
journal = {Applied Ontology -- Special issue on Ontological Foundations for Conceptual Modeling},
keywords = {mereology part-whole parthood},
number = {1-2},
owner = {mariakeet},
pages = {91-110},
timestamp = {2014-04-18T13:41:27.000+0200},
title = {Representing and Reasoning over a Taxonomy of Part-Whole Relations},
url = {http://www.meteck.org/files/AO07_pw_AK.pdf},
volume = 3,
year = 2008
}