OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT.
Home Page:https://www.cs.ox.ac.uk/isg/tools/ACQuA
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool