Overview | Package | Class | Tree | Deprecated | Index | Help
| Protégé-OWL 3.4 rc2
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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`

Overview | Package | Class | Tree | Deprecated | Index | Help
| Protégé-OWL 3.4 rc2
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

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