Index

G I M O P Q R S
All Classes All Packages

G

getSubClasses(String) - Method in class org.semanticweb.elk.owlapi.examples.QueryingWithNamedClasses

I

IncrementalClassification - Class in org.semanticweb.elk.owlapi.examples

A small example to demonstrate that incremental reasoning mode is on by default when ELK is used via the OWL API.

IncrementalClassification() - Constructor for class org.semanticweb.elk.owlapi.examples.IncrementalClassification

M

main(String[]) - Static method in class org.semanticweb.elk.owlapi.examples.IncrementalClassification

main(String[]) - Static method in class org.semanticweb.elk.owlapi.examples.QueryingUnnamedClassExpressions

main(String[]) - Static method in class org.semanticweb.elk.owlapi.examples.QueryingWithNamedClasses

main(String[]) - Static method in class org.semanticweb.elk.owlapi.examples.RetrievingInstances

main(String[]) - Static method in class org.semanticweb.elk.owlapi.examples.RetrievingProofsForEntailment

main(String[]) - Static method in class org.semanticweb.elk.owlapi.examples.SavingInferredAxioms

O

org.semanticweb.elk.owlapi.examples - package org.semanticweb.elk.owlapi.examples

P

parseClassExpression(String) - Method in class org.semanticweb.elk.owlapi.examples.QueryingWithNamedClasses

Q

QueryingUnnamedClassExpressions - Class in org.semanticweb.elk.owlapi.examples

The current version of ELK does not support querying (retrieving subclasses, superclasses, and instances) of unnamed (complex) class expressions.

QueryingUnnamedClassExpressions() - Constructor for class org.semanticweb.elk.owlapi.examples.QueryingUnnamedClassExpressions

QueryingWithNamedClasses - Class in org.semanticweb.elk.owlapi.examples

Illustrates querying the ontology for the list of subclasses of a named class.

QueryingWithNamedClasses() - Constructor for class org.semanticweb.elk.owlapi.examples.QueryingWithNamedClasses

R

RetrievingInstances - Class in org.semanticweb.elk.owlapi.examples

This examples illustrates how to retrieve instances for each class in an ontology.

RetrievingInstances() - Constructor for class org.semanticweb.elk.owlapi.examples.RetrievingInstances

RetrievingProofsForEntailment - Class in org.semanticweb.elk.owlapi.examples

This examples illustrates how to retrieve proofs for an entailment via the OWL API.

RetrievingProofsForEntailment() - Constructor for class org.semanticweb.elk.owlapi.examples.RetrievingProofsForEntailment

S

SavingInferredAxioms - Class in org.semanticweb.elk.owlapi.examples

This example shows how to classify an ontology and save the resulting taxonomy into a new file.

SavingInferredAxioms() - Constructor for class org.semanticweb.elk.owlapi.examples.SavingInferredAxioms

G I M O P Q R S
All Classes All Packages