GitHub repository: KRR-Oxford/ACQuA
Primary language: Java
Description: OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT.