Practical Reasoning for Expressive Description Logics

Ian Horrocks Ulrike Sattler Stephan Tobies

Published in: CoRR (2000)

Keyphrases

expressive description logics
practical reasoning
description logics
regular path queries

argumentation frameworks
exptime complete
expressive power

speech acts
knowledge base
reinforcement learning

computational complexity
knowledge representation
data management