klinovp/pellet
Pellet is an OWL 2 reasoner in Java; open source (AGPL) and commercially licensed, commercial support available.
Public GitHub Catalog
Discovered Oct 2, 2026
klinovp / owlproofs
Extension to the OWL API to request proofs of entailments from the reasoner
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#23827390GitHub System ID
klinovpOrganization / User
PublicVisibility
ActiveCatalog Status
More from klinovp
klinovp/jowo
Web content for the Join Ontology Workshop series
klinovp/modularity-experiments
A collection of utilities to experiment with module extraction in OWL