Practical Epistemic Entailment Checking in SROIQ.

Anees Mehdi Sebastian Rudolph

Published in: Description Logics (2011)

Keyphrases

description logics
expressive description logics
np complete
knowledge base
knowledge representation
database systems
domain knowledge
probabilistic logic
reasoning systems
exptime complete