Computational ontologies of parthood, componenthood, and containment

DMCA

Computational ontologies of parthood, componenthood, and containment (2005)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Thomas Bittner , Maureen Donnelly

Venue:	Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence 2005 (IJCAI05
Citations:	10 - 0 self

BibTeX

@INPROCEEDINGS{Bittner05computationalontologies,
    author = {Thomas Bittner and Maureen Donnelly},
    title = {Computational ontologies of parthood, componenthood, and containment},
    booktitle = {Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence 2005 (IJCAI05},
    year = {2005},
    pages = {1--2},
    publisher = {AAAI Press}
}

OpenURL

Abstract

Parthood, componenthood, and containment rela-tions are commonly assumed in biomedical ontolo-gies and terminology systems, but are not usually clearly distinguished from another. This paper con-tributes towards a unified theory of parthood, com-ponenthood, 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 descrip-tion logics can be used to capture some important aspects of the first order theory. 1

Keyphrases

computational ontology descrip-tion logic unified theory containment relation terminology system first order predicate logic important aspect first order theory biomedical ontolo-gies containment rela-tions

DMCA