jcel
EL reasoner
A reasoner for the description logic EL+ ontology language
Reasoner for the description logic EL+.
14 stars
5 watching
6 forks
Language: Java
last commit: almost 2 years agoLinked from 1 awesome list
automated-reasoningdescription-logicsjavajcelowl-apiprotege-plugintu-dresden
ozekik/awesome-ontologyRelated projects:
| Repository | Description | Stars |
|---|---|---|
| julianmendez/cel | An algorithmic reasoner for describing and inferring relationships in large-scale ontologies | 17 |
 liveontologies/elk-reasoner | An OWL 2 EL reasoner that provides efficient and incremental reasoning capabilities | 95 |
 tilde-lab/pyfactxx | Provides Python bindings for an optimized description logic reasoner | 23 |
 ucbl/hylar-reasoner | An incremental reasoner for the Web using RDF-based libraries and a rule-based engine. | 61 |
 sertkaya/elephant-reasoner | A consequence-based reasoner for Description Logics ontology language | 8 |
 jonlaing/rationale | A Ramda-inspired utility library for ReasonML/OCaml. | 275 |
 stardog-union/pellet | An OWL DL reasoner for Java that checks consistency of ontologies and provides inference explanations. | 312 |
 andrewdbate/sequoia | An OWL 2 DL reasoner with multithreaded reasoning capabilities | 11 |
 reasonml/reason-tools | A toolset that enables conversion and integration of ReasonML with standard programming languages and web development environments. | 372 |
 galigator/openllet | An OWL 2 DL reasoner built on top of Pellet, providing functionality for inference and reasoning with ontologies. | 101 |
 incatools/whelk | An OWL EL reasoner implemented as an immutable functional data structure in Scala, enabling concurrent reasoning and rapid classification of multiple datasets. | 24 |
| reasonml/reason-native | Tools and utilities to effectively write native Reason code | 460 |
 darklang/philip2 | An Elm to OCaml compiler that enables porting of codebases from one language to another | 204 |
 eyereasoner/eye | A reasoning engine that supports the Semantic Web layers and implements Notation3. | 127 |
 ggg0919/cantor | An open-source software framework for multimodal visual reasoning tasks by integrating visual context and logical reasoning | 73 |