Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Uses of Package
org.semanticweb.owl.inference

Packages that use org.semanticweb.owl.inference
org.semanticweb.owl.inference | Inference over OWL ontologies.
uk.ac.man.cs.img.owl.inference |
uk.ac.man.cs.img.owl.inference.dl |
uk.ac.man.cs.img.owl.inference.firstorder |

Classes in org.semanticweb.owl.inference used by org.semanticweb.owl.inference
OWLReasoner A Reasoner for OWL ontologies.

Classes in org.semanticweb.owl.inference used by uk.ac.man.cs.img.owl.inference
OWLReasoner A Reasoner for OWL ontologies.
OWLTaxonomyReasoner A Taxonomy Reasoner for OWL ontologies.

Classes in org.semanticweb.owl.inference used by uk.ac.man.cs.img.owl.inference.dl
OWLClassReasoner A reasoner that provides reasoning over OWL classes.
OWLConsistencyChecker An OWL consistency checker.
OWLIndividualReasoner A Reasoner for OWL Individuals.
OWLReasoner A Reasoner for OWL ontologies.
OWLTaxonomyReasoner A Taxonomy Reasoner for OWL ontologies.

Classes in org.semanticweb.owl.inference used by uk.ac.man.cs.img.owl.inference.firstorder
OWLConsistencyChecker An OWL consistency checker.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

WonderWeb