conjunctive-query-answering
There are 2 repositories under conjunctive-query-answering topic.
KRR-Oxford/ACQuA
OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT.
KRR-Oxford/RSAComb
Re-implementation of the combined approach for CQ answering over RSA ontologies