Uses of Class
reasoner.Reasoner

Packages that use Reasoner
correspondenceComputations   
reasoner   
 

Uses of Reasoner in correspondenceComputations
 

Methods in correspondenceComputations with parameters of type Reasoner
static java.util.Set<org.semanticweb.owl.model.OWLClass> ComputationUtility.getDataDomain(Reasoner reasonerDomain, org.semanticweb.owl.model.OWLOntology ontology, org.semanticweb.owl.model.OWLDataProperty property)
          Get the domain of a datatype property using Pellet.
static java.util.Set<org.semanticweb.owl.model.OWLDescription> ComputationUtility.getDisjointClasses(Reasoner reasonerDisjoint, org.semanticweb.owl.model.OWLOntology ontology, org.semanticweb.owl.model.OWLClass cls)
          Get all disjoint classes of a given class.
static java.util.Set<org.semanticweb.owl.model.OWLClass> ComputationUtility.getObjectDomain(Reasoner reasonerDomain, org.semanticweb.owl.model.OWLOntology ontology, org.semanticweb.owl.model.OWLObjectProperty property)
          Get the domain of an object property using Pellet.
static java.util.Set<org.semanticweb.owl.model.OWLClass> ComputationUtility.getObjectRange(Reasoner reasonerRange, org.semanticweb.owl.model.OWLOntology ontology, org.semanticweb.owl.model.OWLObjectProperty property)
          Get the range of an obejct property using Pellet.
 

Uses of Reasoner in reasoner
 

Subclasses of Reasoner in reasoner
 class ReasonerOneOntology
           
 class ReasonerTwoOntologies