A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes.

Carsten Lutz Maja Milicic

Published in: J. Autom. Reason. (2007)

Keyphrases

description logics
knowledge base
semantic web
optimal solution
reasoning problems
dl lite
worst case
special case
computational complexity
np hard
reasoning tasks
computational properties
model theoretic
knowledge representation and reasoning
natural language
concept descriptions
fuzzy description logics