A Preferential Reasoner for Ontologies
-
Updated
Oct 14, 2017 - Java
A Preferential Reasoner for Ontologies
Semantic Web college project files.
a clojure lib for reasoning about semantic web owl, based on hermit
This framework has been superseded by evOWLuator (https://github.com/sisinflab-swot/evowluator)
Semantic notation translator of OWL ontologies to a variant of the KRSS ontological notation.
ErgoAI's Java IDE
Fork of the FaCT++ reasoner for OWL 2 DL
Nothing fancy, nothing special, just a python reasoner for the spatio-temporal reasoning lecture
📊 A cross-platform, energy-aware evaluation tool for OWL reasoners
Michael's Description Logic Reasoner Framework
LiFR, the Lighweight Fuzzy semantic Reasoner.
Add a description, image, and links to the reasoner topic page so that developers can more easily learn about it.
To associate your repository with the reasoner topic, visit your repo's landing page and select "manage topics."