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
An overview of the ONIONS project: applying ontologies to the integration of medical terminologies
Data & Knowledge Engineering - Special issue on formal ontology and conceptual modeling
Mereotopological reasoning about parts and (w)holes in bio-ontologies
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Part-Whole Reasoning: A Case Study in Medical Ontology Engineering
IEEE Intelligent Systems
Dynamic is−a hierarchy generation system based on user's viewpoint
JIST'11 Proceedings of the 2011 joint international conference on The Semantic Web
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 formal 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 experiments with a knowledge base composed of 164,000 concepts and 76,000 relations.