|
Protégé-OWL 3.4 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ProtegeReasoner
Method Summary | |
---|---|
void |
classifyTaxonomy()
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. |
void |
computeEquivalentConcepts()
This method queries the reasoner the equivalent classes for each class in the ontology, and updates protege-owl with the information. |
void |
computeInconsistentConcepts()
This method queries the reasoner for the consistency of all classes in the ontology, and updates protege-owl with the information. |
void |
computeInferredHierarchy()
For each named class in the ontology, this method queries the reasoner to obtain its inferred superclasses. |
void |
computeInferredIndividualTypes()
This method queries the reasoner for the types of all individuals in the ontology, and updates protege-owl with the information. |
void |
forceReasonerReSynchronization()
Depending on the implementation of the ProtegeGenericReasoner, some kind of caching may be used. |
Collection<OWLClass> |
getAncestorClasses(OWLClass aClass)
Gets the inferred ancestor classes of the specified class. |
Collection<OWLProperty> |
getAncestorProperties(OWLProperty property)
|
Collection<OWLClass> |
getDescendantClasses(OWLClass aClass)
Gets the inferred descendant classes of the specified class. |
Collection<OWLProperty> |
getDescendantProperties(OWLProperty property)
|
Collection<OWLClass> |
getEquivalentClasses(OWLClass aClass)
Gets the equivalent classes of the specified class. |
Collection<OWLClass> |
getIndividualDirectTypes(OWLIndividual individual)
Get the direct inferred types for the specified individual. |
Collection<OWLIndividual> |
getIndividualsBelongingToClass(OWLClass aClass)
Gets the individuals that are inferred to be members of the specified class. |
Collection<OWLClass> |
getIndividualTypes(OWLIndividual individual)
Get the inferred types (direct and indirect) for the specified individual. |
OWLModel |
getOWLModel()
Returns the OWL model to which this reasoner is attached to. |
ReasonerTaskListener |
getReasonerTaskListener()
|
Collection<OWLIndividual> |
getRelatedIndividuals(OWLIndividual subject,
OWLObjectProperty objectProperty)
Get the individuals that are related to the subject individual
through the object property objectProperty . |
Collection |
getRelatedValues(OWLIndividual subject,
OWLDatatypeProperty datatypeProperty)
Get the values that are related to the subject individual
through the datatype property datatypeProperty . |
Collection<OWLClass> |
getSubclasses(OWLClass aClass)
Gets the (direct) inferred subclasses of the specified class. |
Collection<OWLProperty> |
getSubProperties(OWLProperty property)
|
Collection<OWLClass> |
getSuperclasses(OWLClass aClass)
Gets the (direct) inferred superclasses of the specified class. |
Collection<OWLProperty> |
getSuperProperties(OWLProperty property)
|
void |
initialize()
This is an optional method that can be called by applications and that gives the reasoner a chance to do some pre-computations. |
boolean |
isAutoSynchronizationEnabled()
|
boolean |
isDisjointTo(OWLClass cls1,
OWLClass cls2)
Determines if the specified classes are disjoint from each other. |
boolean |
isIntersectionSatisfiable(OWLClass[] clses)
Determines if the intersection of the list of specified classes is satisfiable. |
boolean |
isSatisfiable(OWLClass aClass)
This method queries the reasoner to determine if the specified concept is satisfiable. |
boolean |
isSubsumedBy(OWLClass cls1,
OWLClass cls2)
Determines if one class (cls1) is subsumed by another class (cls2). |
void |
rebind()
Resynchronizes the reasoner with the OWL model. |
void |
reset()
Detaches the OWL model from this reasoner, clears internal caches, and releases the resources allocated by this reasoner for the previously attached OWL model. |
void |
setAutoSynchronizationEnabled(boolean b)
Depending on the implementation of the ProtegeOWLReasoner, the DIG reasoner may automatically be sunchronized with changes in the Protege-OWL knowledgebase. |
void |
setOWLModel(OWLModel owlModel)
Sets the OWL model that will be attached to this reasoner. |
void |
setReasonerTaskListener(ReasonerTaskListener reasonerTaskListener)
Set the listener which will be informed of the progress of the reasoning task. |
Methods inherited from interface edu.stanford.smi.protege.util.Disposable |
---|
dispose |
Method Detail |
---|
OWLModel getOWLModel()
void setOWLModel(OWLModel owlModel)
owlModel
- void initialize()
void reset()
void rebind()
void computeInferredHierarchy() throws ProtegeReasonerException
getInferredSuperClasses
on RDFSClass
will
return meaningful results.
ProtegeReasonerException
void computeInconsistentConcepts() throws ProtegeReasonerException
ProtegeReasonerException
void computeInferredIndividualTypes() throws ProtegeReasonerException
ProtegeReasonerException
void computeEquivalentConcepts() throws ProtegeReasonerException
ProtegeReasonerException
void classifyTaxonomy() throws ProtegeReasonerException
RDFSClass
such as getInferredSuperClasses
will return meaningful results.
ProtegeReasonerException
boolean isSatisfiable(OWLClass aClass) throws ProtegeReasonerException
aClass
- The OWLClass
whose satisfiablity is to be determined.
true
if the specified class is satisfiable (consistent)
, or false
if the specified class is not satisfiable (not consistent).
ProtegeReasonerException
boolean isIntersectionSatisfiable(OWLClass[] clses) throws ProtegeReasonerException
clses
- An array of OWLClass
es, of which the satisfiablity of the
intersection will be determined.
true
if the intersection of the list of classes is satisfiable (consistent)
or false
if the intersection of the list of classes is not satisfiable (not consistent)
ProtegeReasonerException
boolean isSubsumedBy(OWLClass cls1, OWLClass cls2) throws ProtegeReasonerException
cls1
- The subsumee (the expected subclass)cls2
- The subsumer (the expected superclass)
true
if cls1 is subsumed by cls2, or false
if cls1
is not subsumed by cls2.
ProtegeReasonerException
boolean isDisjointTo(OWLClass cls1, OWLClass cls2) throws ProtegeReasonerException
cls1
- An OWLClass
cls2
- An OWLClass
true
if cls1 is disjoint with cls2.
ProtegeReasonerException
Collection<OWLClass> getSuperclasses(OWLClass aClass) throws ProtegeReasonerException
aClass
- The class whose inferred superclasses are to be retrieved.
Collection
containing the classes that are the
inferred superclasses of the specified class.
ProtegeReasonerException
Collection<OWLClass> getSubclasses(OWLClass aClass) throws ProtegeReasonerException
aClass
- The class whose inferred subclasses are to be retrieved.
Collection
containing the inferred subclasses of the
specified class.
ProtegeReasonerException
Collection<OWLClass> getAncestorClasses(OWLClass aClass) throws ProtegeReasonerException
aClass
- The class whose inferred ancestor classes are to be retrieved.
Collection
containing the inferred ancestor classes
of the specified class.
ProtegeReasonerException
Collection<OWLClass> getDescendantClasses(OWLClass aClass) throws ProtegeReasonerException
aClass
- The class whose descendent classes are to be retrieved.
Collection
containing the inferred descendent classes.
ProtegeReasonerException
Collection<OWLClass> getEquivalentClasses(OWLClass aClass) throws ProtegeReasonerException
aClass
- The class whose equivalent classes are to be retrieved.
Collection
containing the inferred equivalent classes
of the specified class.
ProtegeReasonerException
Collection<OWLProperty> getSuperProperties(OWLProperty property) throws ProtegeReasonerException
ProtegeReasonerException
Collection<OWLProperty> getAncestorProperties(OWLProperty property) throws ProtegeReasonerException
ProtegeReasonerException
Collection<OWLProperty> getSubProperties(OWLProperty property) throws ProtegeReasonerException
ProtegeReasonerException
Collection<OWLProperty> getDescendantProperties(OWLProperty property) throws ProtegeReasonerException
ProtegeReasonerException
Collection<OWLIndividual> getIndividualsBelongingToClass(OWLClass aClass) throws ProtegeReasonerException
aClass
- The class whose members are to be retrieved.
Collection
containing the OWLIndividuals
that are members of the specified class.
ProtegeReasonerException
Collection<OWLClass> getIndividualTypes(OWLIndividual individual) throws ProtegeReasonerException
individual
- The individual whose inferred types are to be retrieved.
Collection
of OWLClasses
that represent the
inferred types for the specified individual.
ProtegeReasonerException
Collection<OWLClass> getIndividualDirectTypes(OWLIndividual individual) throws ProtegeReasonerException
individual
- The individual whose inferred direct types are to be retrieved.
Collection
of OWLClasses
that represent the
inferred direct types for the specified individual.
ProtegeReasonerException
Collection<OWLIndividual> getRelatedIndividuals(OWLIndividual subject, OWLObjectProperty objectProperty) throws ProtegeReasonerException
subject
individual
through the object property objectProperty
.
subject
- - An OWLIndividual
objectProperty
- - A OWLObjectProperty
Collection
of OWLIndividuals
that are related
to the subject
individual through objectProperty
ProtegeReasonerException
Collection getRelatedValues(OWLIndividual subject, OWLDatatypeProperty datatypeProperty) throws ProtegeReasonerException
subject
individual
through the datatype property datatypeProperty
.
subject
- - An OWLIndividual
objectProperty
- - A OWLDatatypeProperty
Collection
of values that are related
to the subject
individual through datatypeProperty
ProtegeReasonerException
void forceReasonerReSynchronization()
void setAutoSynchronizationEnabled(boolean b)
forceReasonerReSynchronization
method should
be used.
b
- true
to enable autosync, or false
to disable autosync.boolean isAutoSynchronizationEnabled()
void setReasonerTaskListener(ReasonerTaskListener reasonerTaskListener)
null
if the progress of the task does not
need to be monitored.
reasonerTaskListener
- ReasonerTaskListener getReasonerTaskListener()
|
Protégé-OWL 3.4 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |