Protege Proof Justification · A plug-in for the [Protégé Desktop](https://protege.stanford.edu) ontology editor that provides a service for the [Protege Justification Explanation](https://github.com/liveontologies/protege-justification-explanation) plug-in. This service computes justifications from proofs using the [Proof Utility Library PuLI](https://github.com/liveontologies/puli).
ELK Distribution Package for Command Line · Contains ELK binary and usage instructions from the command line
ELK Distribution Package for OWL API · Contains binaries, sources, examples, third-party libraries, and usage instructions for using ELK from OWL API
ELK Distribution Packages · The modules for packaging of ELK products and their distribution
ELK Common Distribution Resources · Contains resources of ELK that are shared among distribution packages
ELK Distribution Package for Protege · Contains ELK Protege plug-in together with installation and usage instructions
ELK ORE Build · ELK build for the Ontology Reasoner Evaluation competition
ELK OWL Object Interfaces · General Interfaces for working with OWL objects
ELK OWL Model Implementation · Default implementation of ELK OWL interfaces
ELK ORE Build Standalone · The module for the stand-alone tool for the ORE contest
ELK OWL JavaCC Parser · Parsing of ELK OWL objects using the JavaCC parser generator
ELK Reasoner · A Java-based ontology reasoner for the OWL 2 EL profile.
ELK Proofs Package · Utilities to present tracing results (encoded proofs) to the user
ELK Reasoner Protege Plug-in · ELK plug-in for Protege ontology editor
ELK Common Utilities · ELK utilities that are not (yet) organized into independent modules
ELK Utilities Collections · ELK Utilities Collections
ELK Utilities for Concurrency · ELK Utilities for Concurrency
ELK Utilities for Input-Output · ELK Utilities for Input-Output
