README.md - ACQuA - OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT.

about summary refs log tree commit diff

path: root/README.md

blob: 422e4af6daa8c0cc3a86c649ea410c65a34e7613 (plain) (blame)

1 2	`# PAGOdA a conjunctive query answering engine over OWL 2 ontologies`