The Complexity of Finite Model Reasoning in Description Logics.

Carsten Lutz Ulrike Sattler Lidia Tendera

Published in: CADE (2003)

Keyphrases

description logics
reasoning mechanism
knowledge base
knowledge representation
reasoning tasks
reasoning systems
artificial intelligence
conceptual model
computational complexity
incomplete information