Sign in
A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$.
Laura Giordano
Valentina Gliozzi
Nicola Olivetti
Gian Luca Pozzato
Published in:
AI*IA (2011)
Keyphrases
</>
description logics
tableau calculus
dl lite
knowledge base
reasoning tasks
knowledge representation
semantic web
computational properties
knowledge representation and reasoning
ontology languages
model theoretic
dl programs
incomplete information
tight complexity bounds