|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Uses of DIGReasonerException in edu.stanford.smi.protegex.owl.inference.dig.exception |
| Subclasses of DIGReasonerException in edu.stanford.smi.protegex.owl.inference.dig.exception | |
class |
DIGErrorException
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 |
| Uses of DIGReasonerException in edu.stanford.smi.protegex.owl.inference.dig.reasoner |
| Methods in edu.stanford.smi.protegex.owl.inference.dig.reasoner that throw DIGReasonerException | |
DIGReasonerIdentity |
DIGReasoner.getIdentity()
A helper method that gets the identity of the inference |
String |
DIGReasoner.createKnowledgeBase()
A helper method that asks the inference to create a new knowledgebase. |
void |
DIGReasoner.releaseKnowledgeBase(String kbURI)
A helper method that releases a previously created knowledgebase. |
void |
DIGReasoner.clearKnowledgeBase(String kbURI)
A helper method that clears the knowledge base |
Document |
DIGReasoner.performRequest(Document request)
Sends a request to the reasoner and retrieves the response. |
DIGReasonerIdentity |
DefaultDIGReasoner.getIdentity()
Gets the identity of the inference |
String |
DefaultDIGReasoner.createKnowledgeBase()
A helper method that asks the reasoner to create a new knowledgebase. |
void |
DefaultDIGReasoner.releaseKnowledgeBase(String kbURI)
A helper method that releases a previously created knowledgebase. |
void |
DefaultDIGReasoner.clearKnowledgeBase(String kbURI)
Clears the knowledge base |
Document |
DefaultDIGReasoner.performRequest(Document request)
|
| Uses of DIGReasonerException in edu.stanford.smi.protegex.owl.inference.dig.translator |
| Methods in edu.stanford.smi.protegex.owl.inference.dig.translator that throw DIGReasonerException | |
protected boolean |
DefaultDIGRenderer.renderAppropriateCls(RDFSClass aClass,
Document doc,
Node parentNode)
|
protected boolean |
DefaultDIGRenderer.renderAppropriateSlot(edu.stanford.smi.protege.model.Slot slot,
Document doc,
Node parentNode)
|
void |
DefaultDIGRenderer.render(OWLModel kb,
Document doc,
Node parentNode)
|
protected void |
DefaultDIGRenderer.renderFakedDifferentFrom(Collection differentFromIndividuals,
Document doc,
Node parentNode)
|
protected void |
DefaultDIGRenderer.renderClasses(OWLModel kb,
Document doc,
Node parentNode)
Renders the classes and their axioms |
protected void |
DefaultDIGRenderer.renderProperties(OWLModel kb,
Document doc,
Node parentNode)
Renders the properties and their axioms |
protected void |
DefaultDIGRenderer.renderIndividuals(OWLModel kb,
Document doc,
Node parentNode)
|
boolean |
DefaultDIGRenderer.render(OWLSomeValuesFrom someRestriction,
Document doc,
Node parentNode)
|
boolean |
DefaultDIGRenderer.render(OWLAllValuesFrom allRestriction,
Document doc,
Node parentNode)
|
protected boolean |
DefaultDIGRenderer.render(OWLQuantifierRestriction quantifierRestriction,
Document doc,
Node parentNode)
|
boolean |
DefaultDIGRenderer.renderQuantifierObjectRestriction(OWLQuantifierRestriction quantifierRestriction,
Document doc,
Node parentNode)
|
boolean |
DefaultDIGRenderer.renderQuantifierDataRestriction(OWLQuantifierRestriction quantifierRestriction,
Document doc,
Node parentNode)
|
boolean |
DefaultDIGRenderer.render(OWLHasValue hasRestriction,
Document doc,
Node parentNode)
|
boolean |
DefaultDIGRenderer.render(OWLMinCardinality minCardiRestriction,
Document doc,
Node parentNode)
|
boolean |
DefaultDIGRenderer.render(OWLMaxCardinality maxCardiRestriction,
Document doc,
Node parentNode)
|
boolean |
DefaultDIGRenderer.render(OWLCardinality cardiRestriction,
Document doc,
Node parentNode)
|
protected boolean |
DefaultDIGRenderer.render(OWLCardinalityBase cardinalityRestriction,
Document doc,
Node parentNode,
String digTypeName)
|
boolean |
DefaultDIGRenderer.render(OWLUnionClass unionCls,
Document doc,
Node parentNode)
|
boolean |
DefaultDIGRenderer.render(OWLComplementClass complementCls,
Document doc,
Node parentNode)
|
boolean |
DefaultDIGRenderer.render(OWLIntersectionClass intersectionCls,
Document doc,
Node parentNode)
|
protected boolean |
DefaultDIGRenderer.render(OWLLogicalClass logicalCls,
Document doc,
Node parentNode,
String digTypeName)
|
boolean |
DefaultDIGRenderer.render(OWLEnumeratedClass enumerationCls,
Document doc,
Node parentNode)
|
boolean |
DefaultDIGRenderer.render(OWLDatatypeProperty slot,
Document doc,
Node parentNode)
|
boolean |
DefaultDIGRenderer.render(RDFIndividual instance,
Document doc,
Node parentNode)
|
void |
DefaultDIGRenderer.renderAxioms(OWLNamedClass cls,
Document doc,
Node parentNode)
|
void |
DefaultDIGRenderer.renderAxioms(OWLProperty property,
Document doc,
Node parentNode)
|
protected void |
DefaultDIGRenderer.renderSuperSlots(OWLProperty property,
Document doc,
Node parentNode)
|
protected void |
DefaultDIGRenderer.renderEquivalentSlots(OWLProperty property,
Document doc,
Node parentNode)
|
protected void |
DefaultDIGRenderer.renderSlotDomain(OWLProperty property,
Document doc,
Node parentNode)
|
protected void |
DefaultDIGRenderer.renderSlotRange(OWLProperty property,
Document doc,
Node parentNode)
|
protected void |
DefaultDIGRenderer.renderInverseSlot(OWLProperty property,
Document doc,
Node parentNode)
|
protected void |
DefaultDIGRenderer.renderInverseFunctionalSlot(OWLProperty property,
Document doc,
Node parentNode)
|
protected void |
DefaultDIGRenderer.renderTransitiveSlot(OWLProperty property,
Document doc,
Node parentNode)
|
protected void |
DefaultDIGRenderer.renderSymmetricSlot(OWLProperty property,
Document doc,
Node parentNode)
|
protected void |
DefaultDIGRenderer.renderFunctionalSlot(OWLProperty property,
Document doc,
Node parentNode)
|
private void |
DefaultDIGRenderer.renderFakeSameAs(Collection sameAsInstances,
Document doc,
Node parentNode)
|
void |
DefaultDIGRenderer.renderAxioms(RDFIndividual instance,
Document doc,
Node parentNode)
|
protected void |
DefaultDIGRenderer.renderTypes(RDFIndividual instance,
Document doc,
Node parentNode)
|
protected void |
DefaultDIGRenderer.logErrorOrWarning(RDFResource cause,
String message,
String recoveryMessage)
|
Document |
DIGTranslator.createDIGDocument(String rootTagName,
String kbURI)
Creates an XML DIG Document, whose root contains the appropriate namespaces etc. |
void |
DIGTranslator.translateToDIG(OWLModel kb,
Document doc,
Node node)
Translates an OWLModel to DIG |
void |
DIGTranslator.translateToDIG(RDFResource i,
Document doc,
Node node)
Translates an element of an OWLModel to DIG |
void |
DIGTranslator.createAllConceptNamesQuery(Document doc,
String queryID)
Creates a DIG Query that will return a list of the primitive concepts in the knowledge base. |
void |
DIGTranslator.createAllPropertyNamesQuery(Document doc,
String queryID)
Creates a DIG Query that will return a list of properties in the knowledge base. |
void |
DIGTranslator.createAllIndividualsQuery(Document doc,
String queryID)
Create a DIG Query that will return a list of the individuals in the knowledge base. |
void |
DIGTranslator.createSatisfiableQuery(Document doc,
String queryID,
RDFSClass aClass)
Creates a query that asks if a given class is satisfiable. |
void |
DIGTranslator.createSatisfiableQuery(Document doc,
String queryID,
RDFSClass[] clses)
Creates a query that asks if the intersection of a list of classes is satisfiable/consistent. |
void |
DIGTranslator.createSubsumesQuery(Document doc,
String queryID,
RDFSClass cls1,
RDFSClass cls2)
Creates a query that asks if one concept subsumes another concept. |
void |
DIGTranslator.createDisjointQuery(Document doc,
String queryID,
RDFSClass cls1,
RDFSClass cls2)
Creates a query that asks if one concept is disjoint with another concept. |
void |
DIGTranslator.createDirectSuperConceptsQuery(Document doc,
String queryID,
RDFSClass aClass)
Creates a query that asks for the direct super concepts of a given concept. |
void |
DIGTranslator.createDirectSuperConceptsQuery(Document doc,
String queryID,
RDFSClass[] clses)
Creates a query that asks for the direct super concepts of an intersection of classes. |
void |
DIGTranslator.createDirectSubConceptsQuery(Document doc,
String queryID,
RDFSClass aClass)
Creates a query that asks for the direct sub concepts of a given concept. |
void |
DIGTranslator.createAncestorConceptsQuery(Document doc,
String queryID,
RDFSClass aClass)
Creates a query that asks for the ancestor concepts of a given concept, this includes all super concepts (not just direct ones). |
void |
DIGTranslator.createDescendantConceptsQuery(Document doc,
String queryID,
RDFSClass aClass)
Creates a query that asks for the descendant concepts of a given concept. |
void |
DIGTranslator.createEquivalentConceptsQuery(Document doc,
String queryID,
RDFSClass aClass)
Creates a query that asks for the concepts that are equivalent (i.e. |
void |
DIGTranslator.createDirectSuperPropertiesQuery(Document doc,
String queryID,
OWLProperty property)
Creates a query that asks for the direct super properties of a given property. |
void |
DIGTranslator.createDirectSubPropertiesQuery(Document doc,
String queryID,
OWLProperty property)
Creates a query that asks for the direct sub properties of a given property. |
void |
DIGTranslator.createAncestorPropertiesQuery(Document doc,
String queryID,
OWLProperty property)
Creates a query that asks for the ancestor properties (i.e. all super properties and not just direct super properties) of a given property. |
void |
DIGTranslator.createDescendantPropertiesQuery(Document doc,
String queryID,
OWLProperty property)
Creates a query that asks for the descendant properties (i.e. all sub properties and not just the direct sub properties) of a given property. |
void |
DIGTranslator.createInstancesOfConceptQuery(Document doc,
String queryID,
RDFSClass aClass)
Creates a query that asks for the instances (individuals belonging to) a given concept. |
void |
DIGTranslator.createIndividualTypesQuery(Document doc,
String queryID,
RDFIndividual ins)
Creates a query that asks for the types (concepts) that an individual belongs to. |
void |
DIGTranslator.createIndividualInstanceOfConceptQuery(Document doc,
String queryID,
RDFIndividual ins,
RDFSClass aClass)
Creates a query that asks if an individual is an instance (member of) a given class. |
void |
DIGTranslator.createPropertyFillersQuery(Document doc,
String queryID,
RDFIndividual ins,
OWLProperty property)
Creates a query that asks for the fillers for a qiven individual/property pair. |
void |
DIGTranslator.createRelatedIndividualsQuery(Document doc,
String queryID,
OWLProperty property)
Creates a query that asks for the individuals that are related to each other via a given property. |
Iterator |
DIGTranslator.getDIGQueryResponseIterator(OWLModel kb,
Document doc)
Returns an iterator that can be used to traverse the responses to multiple queries. |
void |
DIGRenderer.render(OWLModel kb,
Document doc,
Node parentNode)
|
boolean |
DIGRenderer.render(OWLSomeValuesFrom someRestriction,
Document doc,
Node parentNode)
|
boolean |
DIGRenderer.render(OWLAllValuesFrom allRestriction,
Document doc,
Node parentNode)
|
boolean |
DIGRenderer.render(OWLHasValue hasRestriction,
Document doc,
Node parentNode)
|
boolean |
DIGRenderer.render(OWLMinCardinality minCardiRestriction,
Document doc,
Node parentNode)
|
boolean |
DIGRenderer.render(OWLMaxCardinality maxCardiRestriction,
Document doc,
Node parentNode)
|
boolean |
DIGRenderer.render(OWLCardinality cardiRestriction,
Document doc,
Node parentNode)
|
boolean |
DIGRenderer.render(OWLUnionClass unionCls,
Document doc,
Node parentNode)
|
boolean |
DIGRenderer.render(OWLComplementClass complementCls,
Document doc,
Node parentNode)
|
boolean |
DIGRenderer.render(OWLIntersectionClass intersectionCls,
Document doc,
Node parentNode)
|
boolean |
DIGRenderer.render(OWLEnumeratedClass enumerationCls,
Document doc,
Node parentNode)
|
boolean |
DIGRenderer.render(OWLObjectProperty slot,
Document doc,
Node parentNode)
|
boolean |
DIGRenderer.render(OWLDatatypeProperty slot,
Document doc,
Node parentNode)
|
boolean |
DIGRenderer.render(RDFIndividual instance,
Document doc,
Node parentNode)
|
void |
DIGRenderer.renderAxioms(OWLNamedClass cls,
Document doc,
Node parentNode)
|
void |
DIGRenderer.renderAxioms(OWLProperty property,
Document doc,
Node parentNode)
|
void |
DIGRenderer.renderAxioms(RDFIndividual instance,
Document doc,
Node parentNode)
|
void |
DefaultDIGTranslator.translateToDIG(OWLModel kb,
Document doc,
Node node)
|
void |
DefaultDIGTranslator.translateToDIG(RDFResource i,
Document doc,
Node node)
Translates an element of an OWLModel to DIG |
Iterator |
DefaultDIGTranslator.getDIGQueryResponseIterator(OWLModel kb,
Document doc)
|
void |
DefaultDIGTranslator.createSatisfiableQuery(Document doc,
String queryID,
RDFSClass aClass)
|
void |
DefaultDIGTranslator.createSatisfiableQuery(Document doc,
String queryID,
RDFSClass[] clses)
|
void |
DefaultDIGTranslator.createSubsumesQuery(Document doc,
String queryID,
RDFSClass cls1,
RDFSClass cls2)
|
void |
DefaultDIGTranslator.createDisjointQuery(Document doc,
String queryID,
RDFSClass cls1,
RDFSClass cls2)
|
void |
DefaultDIGTranslator.createDirectSuperConceptsQuery(Document doc,
String queryID,
RDFSClass aClass)
|
void |
DefaultDIGTranslator.createDirectSuperConceptsQuery(Document doc,
String queryID,
RDFSClass[] clses)
|
void |
DefaultDIGTranslator.createDirectSubConceptsQuery(Document doc,
String queryID,
RDFSClass aClass)
|
void |
DefaultDIGTranslator.createAncestorConceptsQuery(Document doc,
String queryID,
RDFSClass aClass)
|
void |
DefaultDIGTranslator.createDescendantConceptsQuery(Document doc,
String queryID,
RDFSClass aClass)
|
void |
DefaultDIGTranslator.createEquivalentConceptsQuery(Document doc,
String queryID,
RDFSClass aClass)
|
void |
DefaultDIGTranslator.createDirectSuperPropertiesQuery(Document doc,
String queryID,
OWLProperty property)
|
void |
DefaultDIGTranslator.createDirectSubPropertiesQuery(Document doc,
String queryID,
OWLProperty property)
|
void |
DefaultDIGTranslator.createAncestorPropertiesQuery(Document doc,
String queryID,
OWLProperty property)
|
void |
DefaultDIGTranslator.createDescendantPropertiesQuery(Document doc,
String queryID,
OWLProperty property)
|
void |
DefaultDIGTranslator.createInstancesOfConceptQuery(Document doc,
String queryID,
RDFSClass aClass)
|
void |
DefaultDIGTranslator.createIndividualTypesQuery(Document doc,
String queryID,
RDFIndividual ins)
|
void |
DefaultDIGTranslator.createIndividualInstanceOfConceptQuery(Document doc,
String queryID,
RDFIndividual ins,
RDFSClass aClass)
|
void |
DefaultDIGTranslator.createPropertyFillersQuery(Document doc,
String queryID,
RDFIndividual ins,
OWLProperty property)
|
void |
DefaultDIGTranslator.createRelatedIndividualsQuery(Document doc,
String queryID,
OWLProperty property)
|
| Uses of DIGReasonerException in edu.stanford.smi.protegex.owl.inference.protegeowl |
| Methods in edu.stanford.smi.protegex.owl.inference.protegeowl that throw DIGReasonerException | |
protected void |
DefaultProtegeOWLReasoner.synchronizeReasoner(ReasonerTaskListener taskListener)
|
void |
DefaultProtegeOWLReasoner.classifyTaxonomy(ReasonerTaskListener taskListener)
|
void |
DefaultProtegeOWLReasoner.computeInferredHierarchy(ReasonerTaskListener taskListener)
|
void |
DefaultProtegeOWLReasoner.computeEquivalentConcepts(ReasonerTaskListener taskListener)
|
void |
DefaultProtegeOWLReasoner.computeInconsistentConcepts(ReasonerTaskListener taskListener)
|
void |
DefaultProtegeOWLReasoner.computeInferredIndividualTypes(ReasonerTaskListener taskListener)
|
boolean |
DefaultProtegeOWLReasoner.isSatisfiable(OWLClass aClass,
ReasonerTaskListener taskListener)
|
boolean |
DefaultProtegeOWLReasoner.isIntersectionSatisfiable(OWLClass[] clses,
ReasonerTaskListener taskListener)
|
boolean |
DefaultProtegeOWLReasoner.isSubsumedBy(OWLClass cls1,
OWLClass cls2,
ReasonerTaskListener taskListener)
|
boolean |
DefaultProtegeOWLReasoner.isDisjointTo(OWLClass cls1,
OWLClass cls2,
ReasonerTaskListener taskListener)
|
int |
DefaultProtegeOWLReasoner.getSubsumptionRelationship(OWLClass cls1,
OWLClass cls2,
ReasonerTaskListener taskListener)
|
Collection |
DefaultProtegeOWLReasoner.getSuperclasses(OWLClass aClass,
ReasonerTaskListener taskListener)
|
Collection |
DefaultProtegeOWLReasoner.getSuperclassesOfIntersection(OWLClass[] clses,
ReasonerTaskListener taskListener)
|
Collection |
DefaultProtegeOWLReasoner.getSubclasses(OWLClass aClass,
ReasonerTaskListener taskListener)
|
Collection |
DefaultProtegeOWLReasoner.getAncestorClasses(OWLClass aClass,
ReasonerTaskListener taskListener)
|
Collection |
DefaultProtegeOWLReasoner.getDescendantClasses(OWLClass aClass,
ReasonerTaskListener taskListener)
|
Collection |
DefaultProtegeOWLReasoner.getEquivalentClasses(OWLClass aClass,
ReasonerTaskListener taskListener)
|
Collection |
DefaultProtegeOWLReasoner.getIndividualsBelongingToClass(OWLClass aClass,
ReasonerTaskListener taskListener)
|
Collection |
DefaultProtegeOWLReasoner.getIndividualTypes(OWLIndividual individual,
ReasonerTaskListener taskListener)
|
void |
DefaultProtegeOWLReasoner.performTask(ReasonerTask task,
ReasonerTaskListener taskListener)
Executes the specified task after synchronizing the reasoner if necessary. |
void |
ProtegeOWLReasoner.computeInferredHierarchy(ReasonerTaskListener taskListener)
For each named class in the ontology, this method queries the reasoner to obtain its inferred superclasses. |
void |
ProtegeOWLReasoner.computeInconsistentConcepts(ReasonerTaskListener taskListener)
This method queries the reasoner for the consistency of all classes in the ontology, and updates protege-owl with the information. |
void |
ProtegeOWLReasoner.computeInferredIndividualTypes(ReasonerTaskListener taskListener)
|
void |
ProtegeOWLReasoner.computeEquivalentConcepts(ReasonerTaskListener taskListener)
|
void |
ProtegeOWLReasoner.classifyTaxonomy(ReasonerTaskListener taskListener)
For each named class in the ontology, this method queries the reasoner for the consistency of the class, its inferred super classes and its inferred equivalent classes. |
boolean |
ProtegeOWLReasoner.isSatisfiable(OWLClass aClass,
ReasonerTaskListener taskListener)
This method queries the reasoner to determine if the specified concept is satisfiable. |
boolean |
ProtegeOWLReasoner.isIntersectionSatisfiable(OWLClass[] clses,
ReasonerTaskListener taskListener)
Determines if the intersection of the list of specified classes is satisfiable. |
boolean |
ProtegeOWLReasoner.isSubsumedBy(OWLClass cls1,
OWLClass cls2,
ReasonerTaskListener taskListener)
Determines if one class (cls1) is subsumed by another class (cls2). |
boolean |
ProtegeOWLReasoner.isDisjointTo(OWLClass cls1,
OWLClass cls2,
ReasonerTaskListener taskListener)
Determines if the specified classes are disjoint from each other. |
int |
ProtegeOWLReasoner.getSubsumptionRelationship(OWLClass cls1,
OWLClass cls2,
ReasonerTaskListener taskListener)
Gets the subsumption relationship between two classes - the subsumption relationship of cls1 to cls2. |
Collection |
ProtegeOWLReasoner.getSuperclasses(OWLClass aClass,
ReasonerTaskListener taskListener)
Gets the (direct) inferred superclasses of the specified class. |
Collection |
ProtegeOWLReasoner.getSuperclassesOfIntersection(OWLClass[] clses,
ReasonerTaskListener taskListener)
Gets the inferred superclasses of the intersection of the list of specified classes. |
Collection |
ProtegeOWLReasoner.getSubclasses(OWLClass aClass,
ReasonerTaskListener taskListener)
Gets the (direct) inferred subclasses of the specified class. |
Collection |
ProtegeOWLReasoner.getAncestorClasses(OWLClass aClass,
ReasonerTaskListener taskListener)
Gets the inferred ancestor classes of the specified class. |
Collection |
ProtegeOWLReasoner.getDescendantClasses(OWLClass aClass,
ReasonerTaskListener taskListener)
Gets the inferred descendant classes of the specified class. |
Collection |
ProtegeOWLReasoner.getEquivalentClasses(OWLClass aClass,
ReasonerTaskListener taskListener)
Gets the equivalent classes of the specified class. |
Collection |
ProtegeOWLReasoner.getIndividualsBelongingToClass(OWLClass aClass,
ReasonerTaskListener taskListener)
Gets the individuals that are inferred to be members of the specified class. |
Collection |
ProtegeOWLReasoner.getIndividualTypes(OWLIndividual individual,
ReasonerTaskListener taskListener)
Get the inferred types for the specified individual. |
| Uses of DIGReasonerException in edu.stanford.smi.protegex.owl.inference.protegeowl.log |
| Methods in edu.stanford.smi.protegex.owl.inference.protegeowl.log with parameters of type DIGReasonerException | |
ReasonerLogRecord |
ReasonerLogRecordFactory.createDIGReasonerExceptionLogRecord(DIGReasonerException ex,
ReasonerLogRecord parent)
|
| Constructors in edu.stanford.smi.protegex.owl.inference.protegeowl.log with parameters of type DIGReasonerException | |
DIGErrorExceptionLogRecord(DIGReasonerException ex,
ReasonerLogRecord parent)
|
|
| Uses of DIGReasonerException in edu.stanford.smi.protegex.owl.inference.protegeowl.task |
| Methods in edu.stanford.smi.protegex.owl.inference.protegeowl.task that throw DIGReasonerException | |
void |
ClassifyTaxonomyTask.run()
|
void |
UpdateInferredHierarchyTask.run()
|
void |
UpdateInconsistentClassesTask.run()
|
void |
ReasonerTask.run()
Executes the task. |
void |
GetSubsumptionRelationshipTask.run()
|
void |
UpdateEquivalentClassesTask.run()
|
void |
ResetInferredHierarchyTask.run()
|
void |
GetConceptIntersectionSuperclassesTask.run()
|
protected void |
AbstractReasonerTask.doAbortCheck()
|
void |
GetSuperConceptsTask.createQuery(Document doc)
|
void |
GetConceptSatisfiableTask.run()
|
void |
UpdateInferredTypesTask.run()
Executes the task. |
void |
IsConceptIntersectionSatisfiableTask.run()
|
void |
IsSubsumedByTask.run()
Executes the task. |
void |
GetAncestorConceptsTask.createQuery(Document doc)
|
void |
GetDescendantConceptsTask.createQuery(Document doc)
|
void |
AbstractSingleConceptWithConceptCollectionResultTask.run()
|
abstract void |
AbstractSingleConceptWithConceptCollectionResultTask.createQuery(Document doc)
This method must be implemented by concrete subclasses. |
void |
SynchronizeReasonerTask.run()
|
protected void |
SynchronizeReasonerTask.clearKnowledgeBase(ReasonerLogRecord parentRecord)
|
protected void |
SynchronizeReasonerTask.transmitToReasoner(ReasonerLogRecord parentRecord)
|
void |
GetIndividualInferredTypesTask.run()
|
void |
GetIndividualsBelongingToConceptTask.run()
|
void |
GetEquivalentConceptsTask.createQuery(Document doc)
|
void |
GetSubConceptsTask.createQuery(Document doc)
|
void |
IsDisjointToTask.run()
Executes the task. |
| Uses of DIGReasonerException in edu.stanford.smi.protegex.owl.inference.ui |
| Methods in edu.stanford.smi.protegex.owl.inference.ui that throw DIGReasonerException | |
void |
RunnableReasonerAction.executeReasonerActions(ReasonerTaskListener taskListener)
Will be called by the runner to execute some reasoner actions. |
| Uses of DIGReasonerException in edu.stanford.smi.protegex.owl.inference.ui.action |
| Methods in edu.stanford.smi.protegex.owl.inference.ui.action that throw DIGReasonerException | |
void |
ComputeSingleIndividualTypesAction.executeReasonerActions(ReasonerTaskListener taskListener)
|
void |
CheckSingleConceptConsistencyAction.executeReasonerActions(ReasonerTaskListener taskListener)
|
void |
ClassifyTaxonomyAction.executeReasonerActions(ReasonerTaskListener taskListener)
|
void |
ComputeIndividualsBelongingToClassAction.executeReasonerActions(ReasonerTaskListener taskListener)
|
|
|||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||