There are 0 repository under owl-2-dl topic.
OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT.