Pay-as-you-go consequence-based reasoning for the description logic SROIQ.

David Tena Cucala Bernardo Cuenca Grau Ian Horrocks

Published in: Artif. Intell. (2021)

Keyphrases

description logics
knowledge base
expressive description logics
reasoning tasks
knowledge representation
semantic web
computational properties
dl lite
exptime complete
reasoning systems
ontology languages
owl dl
artificial intelligence
domain specific
model checking
reasoning problems
logical implication