Sequoia: A Consequence Based Reasoner for SROIQ.

David Tena Cucala Bernardo Cuenca Grau Ian Horrocks

Published in: Description Logics (2019)

Keyphrases

description logics
expressive description logics
knowledge base
query answering
reasoning tasks
knowledge representation
reasoning systems
semantic web
exptime complete
expert systems
reasoning problems
temporal reasoning
regular path queries