Practical Reasoning for Very Expressive Description Logics.

Ian Horrocks Ulrike Sattler Stephan Tobies

Published in: Log. J. IGPL (2000)

Keyphrases

practical reasoning
expressive description logics
description logics
regular path queries
exptime complete
machine learning
knowledge base
owl dl
lower bound
argumentation frameworks
pspace complete
utility function