All Classes
| Class | Description |
|---|---|
| IncrementalClassification |
A small example to demonstrate that incremental reasoning mode is on by
default when ELK is used via the OWL API.
|
| QueryingUnnamedClassExpressions |
The current version of ELK does not support querying (retrieving subclasses,
superclasses, and instances) of unnamed (complex) class expressions.
|
| QueryingWithNamedClasses |
Illustrates querying the ontology for the list of subclasses of a named
class.
|
| RetrievingInstances |
This examples illustrates how to retrieve instances for each
class in an ontology.
|
| RetrievingProofsForEntailment |
This examples illustrates how to retrieve proofs for an entailment via the OWL API.
|
| SavingInferredAxioms |
This example shows how to classify an ontology and save the resulting
taxonomy into a new file.
|