cel
Ontology reasoner
An algorithmic reasoner for describing and inferring relationships in large-scale ontologies
A lightweight Description Logic reasoner for large-scale biomedical ontologies
17 stars
1 watching
3 forks
Language: Common Lisp
last commit: 3 months ago
Linked from 1 awesome list
automated-reasoningjavalispowl-apiprotege-plugintu-dresden
semantalytics/awesome-semantic-webRelated projects:
| Repository | Description | Stars |
|---|---|---|
| julianmendez/jcel | A reasoner for the description logic EL+ ontology language | 14 |
 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 |
 tilde-lab/pyfactxx | Provides Python bindings for an optimized description logic reasoner | 23 |
 liveontologies/elk-reasoner | An OWL 2 EL reasoner that provides efficient and incremental reasoning capabilities | 95 |
 andrewdbate/sequoia | An OWL 2 DL reasoner with multithreaded reasoning capabilities | 11 |
 stardog-union/pellet | An OWL DL reasoner for Java that checks consistency of ontologies and provides inference explanations. | 312 |
 ggg0919/cantor | An open-source software framework for multimodal visual reasoning tasks by integrating visual context and logical reasoning | 73 |
 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 |
 jonlaing/rationale | A Ramda-inspired utility library for ReasonML/OCaml. | 275 |
 eyereasoner/eye | A reasoning engine that supports the Semantic Web layers and implements Notation3. | 127 |
 mlms13/bs-decode | A type-safe JSON decoding library with structured error handling for ReasonML and OCaml | 103 |
 atextor/owl-cli | A command line tool for analyzing and reasoning with ontologies in OWL 2 format | 15 |
 johanwk/elot | Tools and functions to help create, manage, and query ontologies in a readable and machine-readable format. | 9 |