Computational Ontologies of Parthood, Componenthood, and Containment
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. 1
Cite
Text
Bittner and Donnelly. "Computational Ontologies of Parthood, Componenthood, and Containment." International Joint Conference on Artificial Intelligence, 2005.Markdown
[Bittner and Donnelly. "Computational Ontologies of Parthood, Componenthood, and Containment." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/bittner2005ijcai-computational/)BibTeX
@inproceedings{bittner2005ijcai-computational,
title = {{Computational Ontologies of Parthood, Componenthood, and Containment}},
author = {Bittner, Thomas and Donnelly, Maureen},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2005},
pages = {382-387},
url = {https://mlanthology.org/ijcai/2005/bittner2005ijcai-computational/}
}