Title :
Part-whole reasoning: a case study in medical ontology engineering
Author :
Hahn, Udo ; Schulz, Stefan ; Romacker, Martin
Author_Institution :
Freiburg Univ., Germany
Abstract :
Clinical computing requires effective medical ontologies that can support large-scale formal reasoning. Our proposal lets the knowledge engineer, on demand, enable or disable transitivity of part-whole reasoning and part-whole induced concept specialization and role propagation, with respect to commonly shared medical conceptualizations
Keywords :
inference mechanisms; medical expert systems; knowledge engineering; medical ontology engineering; part-whole induced concept specialization; part-whole reasoning; role propagation; Automatic logic units; Biomedical engineering; Colon; Computer aided software engineering; Knowledge engineering; Large-scale systems; Ontologies; Pathology; Petroleum; Proposals;
Journal_Title :
Intelligent Systems and their Applications, IEEE
DOI :
10.1109/5254.796091
