owlcs/hermit-reasoner
Public repository.
JFact repository
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Public repository.
The Manchester Pizza Finder
Results of the ORE 2013 OWL reasoner competition.
OPPL 2 is the second version of OPPL (Ontology PreProcessing Language). It is a language intended for modification of OWL ontologies, implemented in Java.