Readings in medical artificial intelligence: the first decade
Readings in medical artificial intelligence: the first decade
Logical foundations of artificial intelligence
Logical foundations of artificial intelligence
Problems of the part-whole relation
Relational models of the lexicon
Computational 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
Part-whole relations in object-centered systems: an overview
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Analysis of part-whole relation and subsumption in the medical domain
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
Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
Mereotopological reasoning about parts and (w)holes in bio-ontologies
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Supporting ontological analysis of taxonomic relationships
Data & Knowledge Engineering - ER2000
Ontological Foundations for Biology Knowledge Models
Proceedings of the Fourth International Conference on Intelligent Systems for Molecular Biology
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Part-Whole Reasoning in Medical Knowledge Bases Using Description Logics
KI '98 Proceedings of the 22nd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Parts, Locations, and Holes - Formal Reasoning about Anatomical Structures
AIME '01 Proceedings of the 8th Conference on AI in Medicine in Europe: Artificial Intelligence Medicine
The evolution of Protégé: an environment for knowledge-based systems development
International Journal of Human-Computer Studies
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
The description logic handbook
The description logic handbook
Knowledge Representation and Reasoning
Knowledge Representation and Reasoning
Reifying concepts in description logics
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Decidability of SHIQ with complex role inclusion axioms
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Part-whole reasoning in an object-centered framework
Part-whole reasoning in an object-centered framework
Non-standard inferences in description logics
Non-standard inferences in description logics
Biomedical ontologies: what part-of is and isn't
Journal of Biomedical Informatics - Special issue: Biomedical ontologies
Automatic Methods for Integrating Biomedical Data Sources in a Mediator-Based System
DILS '08 Proceedings of the 5th international workshop on Data Integration in the Life Sciences
A model-driven approach for representing clinical archetypes for Semantic Web environments
Journal of Biomedical Informatics
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
The Use of Ontology in Dental Restorative Treatment Decision Support System
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
An approach for the semantic interoperability of ISO EN 13606 and OpenEHR archetypes
Journal of Biomedical Informatics
Development of a method for ontology-based empirical knowledge representation and reasoning
Decision Support Systems
An ontology-based comparative anatomy information system
Artificial Intelligence in Medicine
A method for learning part-whole relations
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Using the ResearchEHR platform to facilitate the practical application of the EHR standards
Journal of Biomedical Informatics
Extraction of part-whole relations from turkish corpora
CICLing'13 Proceedings of the 14th international conference on Computational Linguistics and Intelligent Text Processing - Volume Part I
MedCase: a template medical case store for case-based reasoning in medical decision support
Proceedings of the 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
Hi-index | 0.00 |
Objective:Biomedical ontologies are typically structured in a biaxial way, reflecting both a taxonomic (is-a) and a partonomic (part-of) hierarchy. Commonly used biomedical terminologies, which incorporate such distinctions excel in terms of broad coverage but lack a rigid formal foundation. The latter, however, is a prerequisite for automated reasoning. For the biomedical domain, it is not only crucial to cope with ontological dependencies between wholes and their parts but also with specific reasoning patterns which underlie the propagation of roles across partonomic hierarchies. Methods: We scale down part-whole reasoning to subsumption-based taxonomic reasoning within the formal framework of a parsimonious variant of description logics (viz. ALC). Results: We provide a formal basis for ontological engineering in the domain of biomedicine, as far as part-whole relationships are concerned, by addressing typical reasoning patterns encountered in this domain. countered in this domain.