Group: Liveontologies
1.Protege Justification Explanation1 usages
org.liveontologies » protege-justification-explanation Apache
A plug-in for the Protégé Desktop ontology editor that adds an explanation service for
displaying minimal subset of axioms (justifications) for entailments. Compared to the
explanation-workbench plug-in bundled with Protégé, this plug-in can use ...
Last Release on May 10, 2024
2.Proof Utility Library14 usages
org.liveontologies » puli Apache
A library for manipulating with proofs based on inference rules.
Last Release on Oct 11, 2017
3.OWL API Proof Extension7 usages
org.liveontologies » owlapi-proof Apache
Extension to the OWL API interfaces to represent and manipulate with proofs.
Last Release on Oct 13, 2017
4.Protege Proof Based Explanation3 usages
org.liveontologies » protege-proof-explanation Apache
This is a plug-in that adds proof-based explanation facilities to the Protege
Desktop ontology editor. It registers as an extension to the Protege
explanation services and defines an extension point using which OWL proofs can
be provided by other ...
Last Release on Oct 12, 2017
