conjunctive-query-answering

There are 3 repositories under conjunctive-query-answering topic.

KRR-Oxford / ACQuA
OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT.
cq hybrid-approach owl conjunctive-query-answering cq-answering owl-2-dl
Language:Java 2
KRR-Oxford / RSAComb
Re-implementation of the combined approach for CQ answering over RSA ontologies
conjunctive-query-answering cq cq-answering rsa role-safety-acyclic
Language:Scala 2

KRR-Oxford / ACQuA