Attributive concept descriptions with complements
Artificial Intelligence
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
Turning Lead into Gold? Feeding a Formal Knowledge Base with Informal Conceptual Knowledge
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
A reference ontology for biomedical informatics: the foundational model of anatomy
Journal of Biomedical Informatics - Special issue: Unified medical language system
Methods in biomedical ontology
Journal of Biomedical Informatics - Special issue: Biomedical ontologies
Biomedical ontologies: what part-of is and isn't
Journal of Biomedical Informatics - Special issue: Biomedical ontologies
A formal theory for reasoning about parthood, connection, and location
Artificial Intelligence
Logical properties of foundational relations in bio-ontologies
Artificial Intelligence in Medicine
Using semantic dependencies for consistency management of an ontology of brain-cortex anatomy
Artificial Intelligence in Medicine
Massive bio-ontology engineering for NLP
HLT '02 Proceedings of the second international conference on Human Language Technology Research
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A formal theory for reasoning about parthood, connection, and location
Artificial Intelligence
A formal theory for spatial representation and reasoning in biomedical ontologies
Artificial Intelligence in Medicine
Part-whole representation and reasoning in formal biomedical ontologies
Artificial Intelligence in Medicine
Anatomical information science
COSIT'05 Proceedings of the 2005 international conference on Spatial Information Theory
| Hi-index | 0.00 |
We here deal with mereotopological properties of parts andassociated wholes, locations and empty spaces (holes), withparticular reference to biological structures. Our considerationslead to a basic ontology which contains 'solid object', 'hole' and'boundary' as mutually disjoint primitives. Formally, we embed therelations 'part-of' and 'location-of' into a parsimoniousdescription logic (ALC) and emulate partonomic and spatialreasoning involving these relations by terminological subsumption.In contrast to common conceptualizations, we do not distinguishbetween solids and the regions they occupy, as well as we allowsolids to have holes as proper parts. In order to support thesemodeling decisions, we discuss various concrete examples from humananatomy.