A Tableau Algorithm for Description Logics with Nominal Schema.

Adila Krisnadhi Pascal Hitzler

Published in: RR (2012)

Keyphrases

description logics
np hard
knowledge base
worst case
reasoning tasks
database
artificial intelligence
optimal solution
query language
knowledge representation