Midwinters, end games, and body parts: a classification of part-whole relations
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Parts, wholes, and part-whole relations: the prospects of mereotopology
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Partonomic reasoning as taxonomic reasoning in medicine
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Granularity, scale and collectivity: when size does and does not matter
Journal of Biomedical Informatics - Special issue: Biomedical ontologies
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
Decidability of SHIQ with complex role inclusion axioms
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
Part-whole representation and reasoning in formal biomedical ontologies
Artificial Intelligence in Medicine
Description logics in ontology applications
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Applications of description logics: state of the art and research challenges
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Reasoning support for expressive ontology languages using a theorem prover
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
| Hi-index | 0.00 |
We propose an ontology engineering framework for the anatomy domain, focusing on mereotopological properties of parts, locations and empty spaces (holes). We develop and formally describe a basic ontology consisting of the mutually disjoint primitives solid object, hole and boundary. We embed the relations part-of and location-of into a parsimonious description logic (ALC) and emulate advanced reasoning across these relations - such as transitivity at the T-Box level - by taxonomic subsumption. Unlike common conceptualizations we do not distinguish between solids and the regions they occupy, as well as we allow solids to have holes as proper parts. Concrete examples from human anatomy are used to support our claims.