whelk

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.

Whelk is an OWL EL reasoner

GitHub

24 stars

5 watching

4 forks

Language: Scala

last commit: 22 days ago

Linked from 2 awesome lists

Backlinks from these awesome lists:

Related projects:

Repository	Description	Stars
stardog-union/pellet	An OWL DL reasoner for Java that checks consistency of ontologies and provides inference explanations.	309
liveontologies/elk-reasoner	An OWL 2 EL reasoner that provides efficient and incremental reasoning capabilities	94
andrewdbate/sequoia	An OWL 2 DL reasoner with multithreaded reasoning capabilities	11
julianmendez/jcel	A reasoner for the description logic EL+ ontology language	14
phenoscape/scowl	A Scala DSL for creating OWL expressions and axioms using the OWL API	56
galigator/openllet	An OWL 2 DL reasoner built on top of Pellet, providing functionality for inference and reasoning with ontologies.	100
jonlaing/rationale	A Ramda-inspired utility library for ReasonML/OCaml.	275
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
rdflib/owl-rl	A Python library for expanding RDF graphs according to the OWL2 RL Profile using mechanical forward chaining	144
sisinflab-swot/cowl	A lightweight C API for working with OWL 2 ontologies	33
fuelen/owl	A toolkit for building and customizing command-line user interfaces in Elixir.	436
pwoolcoc/exmerl	An Elixir wrapper around an XML parsing library, enabling XPath queries and traversal of parsed documents.	12
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	76