\mathcal{SROIQ}.

Frederick Maier

Published in: RR (2010)

Keyphrases

description logics
expressive description logics
knowledge base
valued semantics
knowledge representation
reasoning systems
reasoning tasks
dl lite
exptime complete
ontology languages
reasoning problems
owl dl
regular path queries
query processing
semantic web
search algorithm
database