The Even More Irresistible SROIQ.

Ian Horrocks Oliver Kutz Ulrike Sattler

Published in: KR (2006)

Keyphrases

description logics
expressive description logics
knowledge base
knowledge representation
reasoning tasks
exptime complete
semantic web
ontology languages
owl dl
reasoning problems
regular path queries
database
databases