cq-answering

There are 2 repositories under cq-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