Login / Signup
A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI.
Mohammad Khodadadi
Renate A. Schmidt
Dmitry Tishkovsky
Published in:
Description Logics (2013)
Keyphrases
</>
tableau calculus
description logics
knowledge base
knowledge representation
computational properties
reasoning tasks
semantic web
reasoning problems
ontology languages
logical implication
computing least common subsumers
expert systems
dl lite
reasoning services
snomed ct