elk-reasoner
A Java-based OWL 2 EL reasoner
AI summary
OWL reasoner
An OWL 2 EL reasoner that provides efficient and incremental reasoning capabilities
- stars
- 95
- forks
- 25
- watching
- 13
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
OWL reasoner
An OWL 2 DL reasoner built on top of Pellet, providing functionality for inference and reasoning with ontologies.
Reasoner
An OWL 2 DL reasoner with multithreaded reasoning capabilities
EL reasoner
A reasoner for the description logic EL+ ontology language
Reasoner
An incremental reasoner for the Web using RDF-based libraries and a rule-based engine.
OWL reasoner
An OWL DL reasoner for Java that checks consistency of ontologies and provides inference explanations.
Reasoner
A consequence-based reasoner for Description Logics ontology language
RL reasoner
An OWL 2 RL reasoner with performance optimized for data processing tasks
OWL reasoner library
An OWL EL reasoner implemented as an immutable functional data structure in Scala, enabling concurrent reasoning and rapid classification of multiple datasets.
Reasoner library
Provides Python bindings for an optimized description logic reasoner
OWL reasoner
A Python library for expanding RDF graphs according to the OWL2 RL Profile using mechanical forward chaining
Ontology reasoner
An algorithmic reasoner for describing and inferring relationships in large-scale ontologies
OWL API helper library
Tools and libraries to simplify working with OWL API and its related reasoners.
Reason Code Tools
Tools and utilities to effectively write native Reason code
Ontology analyzer
A command line tool for analyzing and reasoning with ontologies in OWL 2 format
Utility library
A Ramda-inspired utility library for ReasonML/OCaml.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions elk-reasoner.
