Uses of Package org.semanticweb.owl.inference

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

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 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.