Package org.semanticweb.elk.owlapi.examples

  • Class Summary 
    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.