Protégé-OWL 3.4.1

edu.stanford.smi.protegex.owl.inference.dig
Interface ProtegeDIGReasoner

All Superinterfaces:
edu.stanford.smi.protege.util.Disposable, ProtegeReasoner

public interface ProtegeDIGReasoner
extends ProtegeReasoner


Method Summary
 
Methods inherited from interface edu.stanford.smi.protegex.owl.inference.reasoner.ProtegeReasoner
classifyTaxonomy, computeEquivalentConcepts, computeInconsistentConcepts, computeInferredHierarchy, computeInferredIndividualTypes, forceReasonerReSynchronization, getAncestorClasses, getAncestorProperties, getDescendantClasses, getDescendantProperties, getEquivalentClasses, getIndividualDirectTypes, getIndividualsBelongingToClass, getIndividualTypes, getOWLModel, getReasonerTaskListener, getRelatedIndividuals, getRelatedValues, getSubclasses, getSubProperties, getSuperclasses, getSuperProperties, initialize, isAutoSynchronizationEnabled, isDisjointTo, isIntersectionSatisfiable, isSatisfiable, isSubsumedBy, rebind, reset, setAutoSynchronizationEnabled, setOWLModel, setReasonerTaskListener
 
Methods inherited from interface edu.stanford.smi.protege.util.Disposable
dispose
 


Protégé-OWL 3.4.1

Submit a bug report or feature request
Copyright (c) 1998-2009 Stanford University.