Computational ontologies of parthood, componenthood, and containment

Bittner, Thomas; Donnelly, Maureen

Computational ontologies of parthood, componenthood, and containment

Download BibTeX Cite

Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 382-386.

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.

Thomas Bittner, and Maureen Donnelly. 2005. Computational ontologies of parthood, componenthood, and containment. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05. IJCAI, 382–386. https://ijcai.org/proceedings/2005/91

@inproceedings{ijcai2005p91,
  title     = {Computational ontologies of parthood, componenthood, and containment},
  author    = {Bittner, Thomas and Donnelly, Maureen},
  booktitle = {Proceedings of the Nineteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-05}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  pages     = {382--386},
  year      = {2005},
  url       = {https://ijcai.org/proceedings/2005/91},
}

TY  - CPAPER
TI  - Computational ontologies of parthood, componenthood, and containment
AU  - Bittner, Thomas
AU  - Donnelly, Maureen
T2  - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2005
SP  - 382
EP  - 386
UR  - https://ijcai.org/proceedings/2005/91
ER  -