elk-reasoner

OWL reasoner

An OWL 2 EL reasoner that provides efficient and incremental reasoning capabilities

A Java-based OWL 2 EL reasoner

95 stars

13 watching

25 forks

Language: Java

last commit: 9 months ago

Linked from 2 awesome lists

Backlinks from these awesome lists:

Related projects:

Repository	Description	Stars
galigator/openllet	An OWL 2 DL reasoner built on top of Pellet, providing functionality for inference and reasoning with ontologies.	101
andrewdbate/sequoia	An OWL 2 DL reasoner with multithreaded reasoning capabilities	11
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
stardog-union/pellet	An OWL DL reasoner for Java that checks consistency of ontologies and provides inference explanations.	312
sertkaya/elephant-reasoner	A consequence-based reasoner for Description Logics ontology language	8
gtfierro/reasonable	An OWL 2 RL reasoner with performance optimized for data processing tasks	77
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
tilde-lab/pyfactxx	Provides Python bindings for an optimized description logic reasoner	23
rdflib/owl-rl	A Python library for expanding RDF graphs according to the OWL2 RL Profile using mechanical forward chaining	145
julianmendez/cel	An algorithmic reasoner for describing and inferring relationships in large-scale ontologies	17
owlcs/owlapitools	Tools and libraries to simplify working with OWL API and its related reasoners.	16
reasonml/reason-native	Tools and utilities to effectively write native Reason code	460
atextor/owl-cli	A command line tool for analyzing and reasoning with ontologies in OWL 2 format	15
jonlaing/rationale	A Ramda-inspired utility library for ReasonML/OCaml.	275