Uses of Interface
edu.stanford.smi.protegex.owl.inference.protegeowl.ProtegeOWLReasoner

Packages that use ProtegeOWLReasoner

edu.stanford.smi.protegex.owl.inference.protegeowl
edu.stanford.smi.protegex.owl.inference.protegeowl.task
edu.stanford.smi.protegex.owl.inference.protegeowl.tests
edu.stanford.smi.protegex.owl.tests

Uses of ProtegeOWLReasoner in edu.stanford.smi.protegex.owl.inference.protegeowl

Classes in edu.stanford.smi.protegex.owl.inference.protegeowl that implement ProtegeOWLReasoner

class

DefaultProtegeOWLReasoner User: matthewhorridge The Univeristy Of Manchester Medical Informatics Group Date: Jun 14, 2004 matthew.horridge@cs.man.ac.uk www.cs.man.ac.uk/~horridgm

Methods in edu.stanford.smi.protegex.owl.inference.protegeowl that return ProtegeOWLReasoner

ProtegeOWLReasoner	ReasonerManager.getReasoner(OWLModel kb) Gets the reasoner for the specified knowledge base
ProtegeOWLReasoner	ReasonerManager.getReasoner(OWLModel kb, boolean createNew) Deprecated. The createReasoner method should be used instead.
ProtegeOWLReasoner	ReasonerManager.createReasoner(OWLModel model)

Uses of ProtegeOWLReasoner in edu.stanford.smi.protegex.owl.inference.protegeowl.task

Fields in edu.stanford.smi.protegex.owl.inference.protegeowl.task declared as ProtegeOWLReasoner

private ProtegeOWLReasoner	UpdateInferredHierarchyTask.protegeOWLReasoner
private ProtegeOWLReasoner	UpdateInconsistentClassesTask.protegeOWLReasoner
private ProtegeOWLReasoner	GetSubsumptionRelationshipTask.protegeOWLReasoner
private ProtegeOWLReasoner	UpdateEquivalentClassesTask.protegeOWLReasoner
private ProtegeOWLReasoner	ResetInferredHierarchyTask.protegeOWLReasoner
private ProtegeOWLReasoner	GetConceptIntersectionSuperclassesTask.protegeOWLReasoner
private ProtegeOWLReasoner	GetConceptSatisfiableTask.protegeOWLReasoner
private ProtegeOWLReasoner	UpdateInferredTypesTask.protegeOWLReasoner
private ProtegeOWLReasoner	IsConceptIntersectionSatisfiableTask.protegeOWLReasoner
private ProtegeOWLReasoner	IsSubsumedByTask.protegeOWLReasoner
private ProtegeOWLReasoner	AbstractSingleConceptWithConceptCollectionResultTask.protegeOWLReasoner
private ProtegeOWLReasoner	SynchronizeReasonerTask.protegeOWLReasoner
private ProtegeOWLReasoner	GetIndividualInferredTypesTask.protegeOWLReasoner
private ProtegeOWLReasoner	GetIndividualsBelongingToConceptTask.protegeOWLReasoner
private ProtegeOWLReasoner	IsDisjointToTask.protegeOWLReasoner

Methods in edu.stanford.smi.protegex.owl.inference.protegeowl.task that return ProtegeOWLReasoner

protected ProtegeOWLReasoner

AbstractSingleConceptWithConceptCollectionResultTask.getProtegeOWLReasoner()

Constructors in edu.stanford.smi.protegex.owl.inference.protegeowl.task with parameters of type ProtegeOWLReasoner

ClassifyTaxonomyTask(ProtegeOWLReasoner protegeOWLReasoner)

UpdateInferredHierarchyTask(ProtegeOWLReasoner protegeOWLReasoner)

UpdateInconsistentClassesTask(ProtegeOWLReasoner protegeOWLReasoner)

GetSubsumptionRelationshipTask(ProtegeOWLReasoner protegeOWLReasoner, OWLClass cls1, OWLClass cls2)

UpdateEquivalentClassesTask(ProtegeOWLReasoner protegeOWLReasoner)

ResetInferredHierarchyTask(ProtegeOWLReasoner protegeOWLReasoner)

GetConceptIntersectionSuperclassesTask(OWLClass[] clses, ProtegeOWLReasoner protegeOWLReasoner)

AbstractReasonerTask(ProtegeOWLReasoner protegeOWLReasoner)

GetSuperConceptsTask(OWLClass aClass, ProtegeOWLReasoner protegeOWLReasoner)

GetConceptSatisfiableTask(OWLClass aClass, ProtegeOWLReasoner protegeOWLReasoner)

UpdateInferredTypesTask(ProtegeOWLReasoner protegeOWLReasoner)

IsConceptIntersectionSatisfiableTask(OWLClass[] clses, ProtegeOWLReasoner protegeOWLReasoner)

IsSubsumedByTask(ProtegeOWLReasoner protegeOWLReasoner, OWLClass cls1, OWLClass cls2)

GetAncestorConceptsTask(OWLClass aClass, ProtegeOWLReasoner protegeOWLReasoner)

GetDescendantConceptsTask(OWLClass aClass, ProtegeOWLReasoner protegeOWLReasoner)

AbstractSingleConceptWithConceptCollectionResultTask(String taskDescription, OWLClass aClass, ProtegeOWLReasoner protegeOWLReasoner)

SynchronizeReasonerTask(ProtegeOWLReasoner protegeOWLReasoner)

GetIndividualInferredTypesTask(OWLIndividual individual, ProtegeOWLReasoner protegeOWLReasoner)

GetIndividualsBelongingToConceptTask(OWLClass aClass, ProtegeOWLReasoner protegeOWLReasoner)

GetEquivalentConceptsTask(OWLClass aClass, ProtegeOWLReasoner protegeOWLReasoner)

GetSubConceptsTask(OWLClass aClass, ProtegeOWLReasoner protegeOWLReasoner)

IsDisjointToTask(ProtegeOWLReasoner protegeOWLReasoner, OWLClass cls1, OWLClass cls2)

Uses of ProtegeOWLReasoner in edu.stanford.smi.protegex.owl.inference.protegeowl.tests

Fields in edu.stanford.smi.protegex.owl.inference.protegeowl.tests declared as ProtegeOWLReasoner

private static ProtegeOWLReasoner

DisjointTests.reasoner

Uses of ProtegeOWLReasoner in edu.stanford.smi.protegex.owl.tests

Fields in edu.stanford.smi.protegex.owl.tests declared as ProtegeOWLReasoner

protected ProtegeOWLReasoner

AbstractDIGReasonerTestCase.reasoner