pellet
OWL reasoner
An OWL DL reasoner for Java that checks consistency of ontologies and provides inference explanations.
Pellet is an OWL 2 reasoner in Java; open source (AGPL) and commercially licensed, commercial support available.
312 stars
73 watching
151 forks
Language: Web Ontology Language
last commit: about 8 years ago
Linked from 2 awesome lists
semantalytics/awesome-semantic-web
ozekik/awesome-ontologyRelated 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 |
 liveontologies/elk-reasoner | An OWL 2 EL reasoner that provides efficient and incremental reasoning capabilities | 95 |
 ucbl/hylar-reasoner | An incremental reasoner for the Web using RDF-based libraries and a rule-based engine. | 61 |
 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 |
 julianmendez/jcel | A reasoner for the description logic EL+ ontology language | 14 |
 sertkaya/elephant-reasoner | A consequence-based reasoner for Description Logics ontology language | 8 |
 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 |
 phillord/horned-owl | A Rust library for processing and manipulating OWL ontologies | 70 |
 sisinflab-swot/cowl | A lightweight C API for working with OWL 2 ontologies | 34 |
| phillord/tawny-owl | A Clojure-based tool for building and managing OWL ontologies | 255 |
 klinovp/owlproofs | Provides an extension to the OWL API to retrieve proof structures of entailment relationships from reasoners. | 0 |
 gtfierro/reasonable | An OWL 2 RL reasoner with performance optimized for data processing tasks | 77 |