Home » io.github » liveontologies

Group: GitHub Liveontologies
Sort by:Popular▼

1.ELK OWL API Binding10 usages

io.github.liveontologies » elk-owlapi Apache

ELK bindings for OWL API
Last Release on May 25, 2024

2.ELK OWL Object Interfaces8 usages

io.github.liveontologies » elk-owl-model Apache

General Interfaces for working with OWL objects
Last Release on May 25, 2024

3.ELK Utilities For Input Output8 usages

io.github.liveontologies » elk-util-io Apache

ELK Utilities for Input-Output
Last Release on May 25, 2024

4.ELK OWL Model Implementation7 usages

io.github.liveontologies » elk-owl-implementation Apache

Default implementation of ELK OWL interfaces
Last Release on May 25, 2024

5.ELK Common Utilities7 usages

io.github.liveontologies » elk-util-common Apache

ELK utilities that are not (yet) organized into independent modules
Last Release on May 25, 2024

6.ELK OWL JavaCC Parser6 usages

io.github.liveontologies » elk-owl-parsing-javacc Apache

Parsing of ELK OWL objects using the JavaCC parser generator
Last Release on May 25, 2024

7.ELK Utilities For Testing6 usages

io.github.liveontologies » elk-util-testing Apache

ELK Utilities for Testing
Last Release on May 25, 2024

8.ELK Reasoner Core5 usages

io.github.liveontologies » elk-reasoner Apache

The core ELK Reasoner package
Last Release on May 25, 2024

9.ELK Utilities For Hashing5 usages

io.github.liveontologies » elk-util-hashing Apache

ELK Utilities for Hashing
Last Release on May 25, 2024

10.ELK Utilities Collections4 usages

io.github.liveontologies » elk-util-collections Apache

ELK Utilities Collections
Last Release on May 25, 2024

11.ELK Utilities For Concurrency4 usages

io.github.liveontologies » elk-util-concurrent Apache

ELK Utilities for Concurrency
Last Release on May 25, 2024

12.ELK Utilities For Logging4 usages

io.github.liveontologies » elk-util-logging Apache

ELK Utilities for Logging
Last Release on May 25, 2024

13.ELK Proofs Package2 usages

io.github.liveontologies » elk-proofs Apache

Utilities to present tracing results (encoded proofs) to the user
Last Release on May 25, 2024

14.ELK Command Line Interface1 usages

io.github.liveontologies » elk-cli Apache

ELK Command Line Interface
Last Release on May 25, 2024

15.ELK ORE Build1 usages

io.github.liveontologies » elk-ore Apache

ELK build for the Ontology Reasoner Evaluation competition
Last Release on May 25, 2024

16.ELK Reasoner Protege Plug In1 usages

io.github.liveontologies » elk-protege Apache

ELK plug-in for Protege ontology editor
Last Release on May 25, 2024

17.Protege Proof Justification1 usages

io.github.liveontologies » protege-proof-justification Apache

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 ...
Last Release on May 24, 2024

18.ELK Bill of Materials

io.github.liveontologies » elk-bom Apache

Default Dependencies of ELK
Last Release on May 24, 2024

19.ELK Distribution Package For Command Line

io.github.liveontologies » elk-distribution-cli Apache

Contains ELK binary and usage instructions from the command line
Last Release on May 25, 2024

20.ELK Distribution Package For OWL API

io.github.liveontologies » elk-distribution-owlapi Apache

Contains binaries, sources, examples, third-party libraries, and usage instructions for using ELK from OWL API
Last Release on May 25, 2024