#
reasoner
Here are 10 public repositories matching this topic...
Python bindings for upgraded FaCT++ description logic reasoner
semantic-web owl ontology rdflib ontologies reasoner description-logics owl2 owlapi reasoner-benchmark
-
Updated
Sep 3, 2024 - Java
ErgoAI's Java IDE
integrated-development-environment logic-programming reasoner knowledge-representation-reasoning ergo ergoreasoner ergo-reasoner ergoengine ergo-engine
-
Updated
Oct 1, 2023 - Java
Wolpertinger: A Fixed-Domain Reasoner for OWL
-
Updated
Oct 13, 2020 - Java
A Preferential Reasoner for Ontologies
ontologies reasoner knowledge-representation description-logics reasoning nonmonotonic defeasible preferential-reasoning
-
Updated
Oct 14, 2017 - Java
LiFR, the Lighweight Fuzzy semantic Reasoner.
semantic semantics logic fuzzy logic-programming fuzzy-logic reasoner reasoning krss dl-reasoning fuzzy-reasoner
-
Updated
Oct 30, 2024 - Java
Semantic notation translator of OWL ontologies to a variant of the KRSS ontological notation.
semantic translator translation semantics notation semantic-web owl ontology ontologies reasoner krss lifr
-
Updated
Oct 3, 2024 - Java
Fork of the FaCT++ reasoner for OWL 2 DL
-
Updated
Jun 2, 2023 - Java
Improve this page
Add a description, image, and links to the reasoner topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the reasoner topic, visit your repo's landing page and select "manage topics."