Optimizing Terminological Reasoning for Expressive Description Logics.

Dmitry Tsarkov Ian Horrocks Peter F. Patel-Schneider

Published in: J. Autom. Reason. (2007)

Keyphrases

expressive description logics
terminological reasoning
description logics
exptime complete
knowledge base
knowledge representation
reasoning tasks
owl dl
semantic web
reasoning systems
artificial intelligence
owl ontologies
reasoning problems
regular path queries