jcel
by julianmendez
Reasoner for the description logic EL+.
AI summary
EL reasoner
A reasoner for the description logic EL+ ontology language
- stars
- 14
- forks
- 6
- watching
- 5
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Ontology reasoner
An algorithmic reasoner for describing and inferring relationships in large-scale ontologies
OWL reasoner
An OWL 2 EL reasoner that provides efficient and incremental reasoning capabilities
Reasoner library
Provides Python bindings for an optimized description logic reasoner
Reasoner
An incremental reasoner for the Web using RDF-based libraries and a rule-based engine.
Reasoner
A consequence-based reasoner for Description Logics ontology language
Utility library
A Ramda-inspired utility library for ReasonML/OCaml.
OWL reasoner
An OWL DL reasoner for Java that checks consistency of ontologies and provides inference explanations.
Reasoner
An OWL 2 DL reasoner with multithreaded reasoning capabilities
ReasonML integrator
A toolset that enables conversion and integration of ReasonML with standard programming languages and web development environments.
OWL reasoner
An OWL 2 DL reasoner built on top of Pellet, providing functionality for inference and reasoning with ontologies.
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.
Reason Code Tools
Tools and utilities to effectively write native Reason code
Code converter
An Elm to OCaml compiler that enables porting of codebases from one language to another
Reasoning engine
A reasoning engine that supports the Semantic Web layers and implements Notation3.
Multimodal Reasoner
An open-source software framework for multimodal visual reasoning tasks by integrating visual context and logical reasoning
Featured in 1 awesome list
Each link jumps to the spot where the list mentions jcel.
