Computational ontologies of parthood, componenthood, and containment

Authors:
Thomas Bittner;Maureen Donnelly
Affiliations:
Department of Philosophy, University at Buffalo, Buffalo, NY and Department of Geography, University at Buffalo, Buffalo, NY and New York State Center of Excellence in Bioinformatics and Life Scie ...;Department of Philosophy, University at Buffalo, Buffalo, NY and New York State Center of Excellence in Bioinformatics and Life Sciences, University at Buffalo, Buffalo, NY
Venue:
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Year:
2005

Citing 4
Cited 13

Subsumption in KL-ONE is undecidable

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Conceptual modeling in a document management environment using part-of reasoning in description logics

Data & Knowledge Engineering
Decidability of SHIQ with complex role inclusion axioms

Artificial Intelligence
The Description Logic Handbook

The Description Logic Handbook

Biomedical ontologies: what part-of is and isn't

Journal of Biomedical Informatics - Special issue: Biomedical ontologies
On the transitivity of functional parthood

Applied Ontology
Representing and reasoning over a taxonomy of part-whole relations

Applied Ontology - Ontological Foundations of Conceptual Modelling
Logical properties of foundational mereogeometrical relations in bio-ontologies

Applied Ontology
Reasoning about Relations with Dependent Types: Application to Context-Aware Applications

ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations

ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Towards Ontological Correctness of Part-whole Relations with Dependent Types

Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Part-Whole relations in object-role models

OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
Using a dependently-typed language for expressing ontologies

KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
Representing mereotopological relations in OWL ontologies with ONTOPARTS

ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
Representing and reasoning over a taxonomy of part-whole relations

Applied Ontology - Ontological Foundations of Conceptual Modelling
On the transitivity of functional parthood

Applied Ontology
Diverse perspectives on ontology: A joint report on the First IAOA Interdisciplinary Summer School on Ontological Analysis

Applied Ontology

Quantified Score

Hi-index	0.01

Visualization

Abstract

Parthood, componenthood, and containment relations are commonly assumed in biomedical ontologies and terminology systems, but are not usually clearly distinguished from another. This paper contributes towards a unified theory of parthood, componenthood, and containment relations. Our goal in this is to clarify distinctions between these relations as well as principles governing their interrelations. We first develop a theory of these relations in first order predicate logic and then discuss how description logics can be used to capture some important aspects of the first order theory.