Login / Signup
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+.
Franz Baader
Boontawee Suntisrivaraporn
Published in:
KR-MED (2008)
Keyphrases
</>
snomed ct
description logics
knowledge base
dl lite
knowledge representation
reasoning tasks
computational properties
ontology languages
reasoning problems
inference rules
computing least common subsumers
concept descriptions
reasoning mechanism
model theoretic
owl dl
number restrictions