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.

    Language:Java2200
  • KRR-Oxford/RSAComb

    Re-implementation of the combined approach for CQ answering over RSA ontologies

    Language:Scala23180