klinovp/owlproofs
Extension to the OWL API to request proofs of entailments from the reasoner
Public GitHub Catalog
Discovered Sep 26, 2026
klinovp / modularity-experiments
A collection of utilities to experiment with module extraction in OWL
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.
#6740692GitHub System ID
klinovpOrganization / User
PublicVisibility
ActiveCatalog Status