A Tableau Algorithm for Description Logics with Concrete Domains and GCIs.

Carsten Lutz Maja Milicic

Published in: TABLEAUX (2005)

Keyphrases

description logics
computational complexity
knowledge base
exptime complete
worst case
computational properties
optimal solution
reasoning tasks
machine learning
np hard
knowledge representation
reasoning systems
knowledge representation and reasoning
owl dl
concept descriptions