Group: org.liveontologies - All Dependencies

icon
puli 0.1.0

Proof Utility Library · A library for manipulating with proofs based on inference rules.

Oct 11, 2017
8 usages
0 stars
icon
owlapi-proof 0.1.0

OWL API Proof Extension · Extension to the OWL API interfaces to represent and manipulate with proofs.

Oct 13, 2017
4 usages
icon

Protege Proof-Based Explanation · 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 Protege plug-ins. The main functionality of this plug-in is displaying, navigating, and updating those proofs in the user interface.

Oct 12, 2017
1 usages
icon

Protege Justification Explanation · 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 multiple providers for computing justifications. Each of these providers should be a plug-in that implements the new extension points (see plugin.xml).

May 10, 2024

Advertisement

Top Dependency Usages

Feb 13, 2021
95.1k usages
8.5k stars
Jun 02, 2023
69.4k usages
14.3k stars
Mar 17, 2023
51k usages
2.1k stars
Jul 31, 2023
27.1k usages
50.1k stars
Aug 09, 2023
25k usages
2.7k stars