Contains ELK Protege plug-in together with installation and usage instructions

2020-10-11 10:45:35

Contains binaries, sources, examples, third-party libraries, and usage instructions for using ELK from OWL API

2020-10-11 10:45:31

ELK Utilities for Hashing

2020-10-11 10:45:29

Contains resources of ELK that are shared among distribution packages

2020-10-11 10:45:23

ELK build for the Ontology Reasoner Evaluation competition

2020-10-11 10:44:48

ELK Command Line Interface

2020-10-11 10:44:40

ELK bindings for OWL API

2020-10-11 10:43:04

ELK Utilities Collections

2020-10-11 10:42:57

The module for the stand-alone tool for the ORE contest

2020-10-11 10:42:46

A Java-based OWL EL reasoner

2020-10-11 10:42:28

The core ELK Reasoner package

2020-10-11 10:42:19

Utilities to present tracing results (encoded proofs) to the user

2020-10-11 10:42:12

ELK plug-in for Protege ontology editor

2020-10-11 10:42:01
bundle
1 个版本

The modules for packaging of ELK products and their distribution

2020-10-11 10:41:38

ELK Utilities for Testing

2020-10-11 10:41:36

ELK Utilities for Input-Output

2020-10-11 10:41:15

Manipulation with OWL objects

2020-10-11 10:40:53

Contains binaries, sources, examples, third-party libraries, and usage instructions for using ELK from OWL API version 5

2020-10-11 10:40:28

ELK bindings for OWL API version 4

2020-10-11 10:40:23

Contains ELK binary and usage instructions from the command line

2020-10-11 10:40:19

Contains binaries, sources, examples, third-party libraries, and usage instructions for using ELK from OWL API version 4

2020-10-11 10:39:45

Contains resources of ELK that are shared among OWL API packages

2020-10-11 10:39:35

ELK utility libraries

2020-10-11 10:39:23

ELK Utilities for Logging

2020-10-11 10:39:07

Default implementation of ELK OWL interfaces

2020-10-11 10:39:03

Parent module for the ORE build

2020-10-11 10:38:38

ELK bindings for OWL API version 5

2020-10-11 10:38:34

General Interfaces for working with OWL objects

2020-10-11 10:38:28

ELK utilities that are not (yet) organized into independent modules

2020-10-11 10:38:19

ELK Utilities for Concurrency

2020-10-11 10:37:21