Attributive concept descriptions with complements
Artificial Intelligence
Computational Intelligence
A description classifier for the predicate calculus
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Part-whole relations in object-centered systems: an overview
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Mereotopological reasoning about parts and (w)holes in bio-ontologies
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Computer-Assisted Medical Decision Making
Computer-Assisted Medical Decision Making
Part-Whole Reasoning: A Case Study in Medical Ontology Engineering
IEEE Intelligent Systems
Hi-index | 0.00 |
We describe an ontology engineering methodology by which conceptual knowledge is extracted from an informal medical thesaurus (UMLS) and automatically converted into a formally sound description logics system. Our approach consists of four steps: concept definitions are automatically generated from the UMLS source, integrity checking of taxonomic and partonomic hierarchies is performed by the terminological classifier, cycles and inconsistencies are eliminated, and incremental refinement of the evolving knowledge base is performed by a domain expert. We report on knowledge engineering experiments with a terminological knowledge base composed of 164,000 concepts and 76,000 relations.