Login / Signup
An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting.
Mohammad Khodadadi
Renate A. Schmidt
Dmitry Tishkovsky
Published in:
Description Logics (2012)
Keyphrases
</>
description logics
tableau calculus
knowledge base
knowledge representation
semantic web
reasoning tasks
dl lite
model theoretic
computational properties
query rewriting
ontology languages
reasoning problems
minimal models
snomed ct
computing least common subsumers