|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of DIGReasonerIdentity in edu.stanford.smi.protegex.owl.inference.dig.reasoner |
Methods in edu.stanford.smi.protegex.owl.inference.dig.reasoner that return DIGReasonerIdentity | |
DIGReasonerIdentity |
DIGReasoner.getIdentity()
A helper method that gets the identity of the inference |
DIGReasonerIdentity |
DefaultDIGReasoner.getIdentity()
Gets the identity of the inference |
Uses of DIGReasonerIdentity in edu.stanford.smi.protegex.owl.inference.dig.translator |
Fields in edu.stanford.smi.protegex.owl.inference.dig.translator declared as DIGReasonerIdentity | |
private DIGReasonerIdentity |
DefaultDIGRenderer.reasonerIdentity
|
Methods in edu.stanford.smi.protegex.owl.inference.dig.translator with parameters of type DIGReasonerIdentity | |
void |
DefaultDIGRenderer.setReasonerIdentity(DIGReasonerIdentity reasonerIdentity)
|
void |
DIGTranslator.setReasonerIdentity(DIGReasonerIdentity reasonerIdentity)
Sets the reasoner identity that the translator will respect when it translates the ontology DIG. |
void |
DIGRenderer.setReasonerIdentity(DIGReasonerIdentity reasonerIdentity)
Sets the DIG Reasoner Identity that will constrain the representation when OWLModel elements are translated to DIG. |
void |
DefaultDIGTranslator.setReasonerIdentity(DIGReasonerIdentity reasonerIdentity)
|
Uses of DIGReasonerIdentity in edu.stanford.smi.protegex.owl.inference.protegeowl |
Methods in edu.stanford.smi.protegex.owl.inference.protegeowl that return DIGReasonerIdentity | |
DIGReasonerIdentity |
DefaultProtegeOWLReasoner.getIdentity()
|
DIGReasonerIdentity |
ProtegeOWLReasoner.getIdentity()
Gets the identity of the DIG reasoner. |
Uses of DIGReasonerIdentity in edu.stanford.smi.protegex.owl.inference.ui.inspector |
Fields in edu.stanford.smi.protegex.owl.inference.ui.inspector declared as DIGReasonerIdentity | |
private DIGReasonerIdentity |
ReasonerInspectorPanel.reasonerIdentity
|
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |