|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.mindswap.pellet.owlapi.Reasoner
public class Reasoner
Title:
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Field Summary | |
|---|---|
static java.util.logging.Logger |
log
|
| Constructor Summary | |
|---|---|
Reasoner(org.semanticweb.owl.model.OWLOntologyManager manager)
Create an empty reasoner. |
|
Reasoner(org.semanticweb.owl.model.OWLOntologyManager manager,
KnowledgeBase kb)
Create a reasoner instance with the given KB. |
|
| Method Summary | |
|---|---|
void |
classify()
|
void |
clearOntologies()
|
org.semanticweb.owl.model.OWLAxiom |
convertAxiom(aterm.ATermAppl term)
Convert an axiom represented in ATermAppl format to OWLAxiom |
java.util.Set<org.semanticweb.owl.model.OWLAxiom> |
convertAxioms(java.util.Set<aterm.ATermAppl> terms)
Convert a set of axioms represented in ATermAppl format to
a set of OWLAxioms |
void |
dispose()
|
java.util.Set<org.semanticweb.owl.model.OWLClass> |
getAllEquivalentClasses(org.semanticweb.owl.model.OWLDescription c)
|
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> |
getAncestorClasses(org.semanticweb.owl.model.OWLDescription c)
|
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLDataProperty>> |
getAncestorProperties(org.semanticweb.owl.model.OWLDataProperty p)
|
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLObjectProperty>> |
getAncestorProperties(org.semanticweb.owl.model.OWLObjectProperty p)
|
java.util.Set<org.semanticweb.owl.model.OWLClass> |
getClasses()
Return the set of all named classes defined in any of the ontologies loaded in the reasoner. |
java.util.Set<org.semanticweb.owl.model.OWLClass> |
getComplementClasses(org.semanticweb.owl.model.OWLDescription c)
|
java.util.Set<org.semanticweb.owl.model.OWLDataProperty> |
getDataProperties()
|
java.util.Map<org.semanticweb.owl.model.OWLIndividual,java.util.Set<org.semanticweb.owl.model.OWLConstant>> |
getDataPropertyAssertions(org.semanticweb.owl.model.OWLDataProperty prop)
|
java.util.Map<org.semanticweb.owl.model.OWLDataProperty,java.util.Set<org.semanticweb.owl.model.OWLConstant>> |
getDataPropertyRelationships(org.semanticweb.owl.model.OWLIndividual individual)
|
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> |
getDescendantClasses(org.semanticweb.owl.model.OWLDescription c)
|
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLDataProperty>> |
getDescendantProperties(org.semanticweb.owl.model.OWLDataProperty p)
|
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLObjectProperty>> |
getDescendantProperties(org.semanticweb.owl.model.OWLObjectProperty p)
|
java.util.Set<org.semanticweb.owl.model.OWLIndividual> |
getDifferentFromIndividuals(org.semanticweb.owl.model.OWLIndividual ind)
|
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> |
getDisjointClasses(org.semanticweb.owl.model.OWLDescription c)
|
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLDescription>> |
getDomains(org.semanticweb.owl.model.OWLDataProperty p)
|
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLDescription>> |
getDomains(org.semanticweb.owl.model.OWLObjectProperty p)
|
java.util.Set<org.semanticweb.owl.model.OWLClass> |
getEquivalentClasses(org.semanticweb.owl.model.OWLDescription c)
|
java.util.Set<org.semanticweb.owl.model.OWLDataProperty> |
getEquivalentProperties(org.semanticweb.owl.model.OWLDataProperty p)
|
java.util.Set<org.semanticweb.owl.model.OWLObjectProperty> |
getEquivalentProperties(org.semanticweb.owl.model.OWLObjectProperty p)
|
java.util.Set<org.semanticweb.owl.model.OWLAxiom> |
getExplanation()
Returns the explanation for the last performed reasoning operation. |
java.util.Set<org.semanticweb.owl.model.OWLClass> |
getInconsistentClasses()
|
java.util.Set<org.semanticweb.owl.model.OWLIndividual> |
getIndividuals()
Return the set of all individuals defined in any of the ontologies loaded in the reasoner. |
java.util.Set<org.semanticweb.owl.model.OWLIndividual> |
getIndividuals(org.semanticweb.owl.model.OWLDescription clsC,
boolean direct)
Returns all or only direct instances of a concept expression |
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLObjectProperty>> |
getInverseProperties(org.semanticweb.owl.model.OWLObjectProperty prop)
|
KnowledgeBase |
getKB()
|
java.util.Set<org.semanticweb.owl.model.OWLOntology> |
getLoadedOntologies()
|
PelletLoader |
getLoader()
|
org.semanticweb.owl.model.OWLOntologyManager |
getManager()
|
java.util.Set<org.semanticweb.owl.model.OWLObjectProperty> |
getObjectProperties()
|
java.util.Map<org.semanticweb.owl.model.OWLIndividual,java.util.Set<org.semanticweb.owl.model.OWLIndividual>> |
getObjectPropertyAssertions(org.semanticweb.owl.model.OWLObjectProperty prop)
|
java.util.Map<org.semanticweb.owl.model.OWLObjectProperty,java.util.Set<org.semanticweb.owl.model.OWLIndividual>> |
getObjectPropertyRelationships(org.semanticweb.owl.model.OWLIndividual individual)
|
java.util.Set<org.semanticweb.owl.model.OWLProperty<?,?>> |
getProperties()
Return all the object and data properties defined in the loaded ontologies |
java.util.Set<org.semanticweb.owl.model.OWLDataRange> |
getRanges(org.semanticweb.owl.model.OWLDataProperty p)
|
java.util.Set<org.semanticweb.owl.model.OWLDescription> |
getRanges(org.semanticweb.owl.model.OWLObjectProperty p)
|
java.util.Set<? extends org.semanticweb.owl.model.OWLObject> |
getRelated(org.semanticweb.owl.model.OWLIndividual ind,
org.semanticweb.owl.model.OWLPropertyExpression<?,?> prop)
|
org.semanticweb.owl.model.OWLIndividual |
getRelatedIndividual(org.semanticweb.owl.model.OWLIndividual subject,
org.semanticweb.owl.model.OWLObjectPropertyExpression property)
|
java.util.Set<org.semanticweb.owl.model.OWLIndividual> |
getRelatedIndividuals(org.semanticweb.owl.model.OWLIndividual subject,
org.semanticweb.owl.model.OWLObjectPropertyExpression property)
|
org.semanticweb.owl.model.OWLConstant |
getRelatedValue(org.semanticweb.owl.model.OWLIndividual subject,
org.semanticweb.owl.model.OWLDataPropertyExpression property)
|
java.util.Set<org.semanticweb.owl.model.OWLConstant> |
getRelatedValues(org.semanticweb.owl.model.OWLIndividual subject,
org.semanticweb.owl.model.OWLDataPropertyExpression property)
|
java.util.Set<org.semanticweb.owl.model.OWLIndividual> |
getSameAsIndividuals(org.semanticweb.owl.model.OWLIndividual ind)
Return a set of sameAs individuals given a specific individual based on axioms in the ontology |
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> |
getSubClasses(org.semanticweb.owl.model.OWLDescription c)
|
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLDataProperty>> |
getSubProperties(org.semanticweb.owl.model.OWLDataProperty p)
|
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLObjectProperty>> |
getSubProperties(org.semanticweb.owl.model.OWLObjectProperty p)
|
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> |
getSuperClasses(org.semanticweb.owl.model.OWLDescription c)
|
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLDataProperty>> |
getSuperProperties(org.semanticweb.owl.model.OWLDataProperty p)
|
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLObjectProperty>> |
getSuperProperties(org.semanticweb.owl.model.OWLObjectProperty p)
|
org.semanticweb.owl.model.OWLClass |
getType(org.semanticweb.owl.model.OWLIndividual ind)
Return the named class that this individual is a direct type of. |
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> |
getTypes(org.semanticweb.owl.model.OWLIndividual individual)
|
java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> |
getTypes(org.semanticweb.owl.model.OWLIndividual ind,
boolean direct)
Returns all the named classes that this individual belongs. |
boolean |
hasDataPropertyRelationship(org.semanticweb.owl.model.OWLIndividual subject,
org.semanticweb.owl.model.OWLDataPropertyExpression property,
org.semanticweb.owl.model.OWLConstant object)
|
boolean |
hasDomain(org.semanticweb.owl.model.OWLDataProperty p,
org.semanticweb.owl.model.OWLDescription c)
|
boolean |
hasDomain(org.semanticweb.owl.model.OWLObjectProperty p,
org.semanticweb.owl.model.OWLDescription c)
|
boolean |
hasObjectPropertyRelationship(org.semanticweb.owl.model.OWLIndividual subject,
org.semanticweb.owl.model.OWLObjectPropertyExpression property,
org.semanticweb.owl.model.OWLIndividual object)
|
boolean |
hasRange(org.semanticweb.owl.model.OWLDataProperty p,
org.semanticweb.owl.model.OWLDataRange d)
|
boolean |
hasRange(org.semanticweb.owl.model.OWLObjectProperty p,
org.semanticweb.owl.model.OWLDescription c)
|
boolean |
hasType(org.semanticweb.owl.model.OWLIndividual individual,
org.semanticweb.owl.model.OWLDescription type)
Checks if the given individual is an instance of the given type |
boolean |
hasType(org.semanticweb.owl.model.OWLIndividual individual,
org.semanticweb.owl.model.OWLDescription type,
boolean direct)
Checks if the given individual is a direct or indirect instance of the given type |
boolean |
isAntiSymmetric(org.semanticweb.owl.model.OWLObjectProperty p)
|
boolean |
isClassified()
|
boolean |
isComplementOf(org.semanticweb.owl.model.OWLDescription c1,
org.semanticweb.owl.model.OWLDescription c2)
|
boolean |
isConsistent()
Returns true if the loaded ontology is consistent. |
boolean |
isConsistent(org.semanticweb.owl.model.OWLDescription d)
Deprecated. Use isSatisfiable(OWLDescription) instead |
boolean |
isConsistent(org.semanticweb.owl.model.OWLOntology ontology)
|
boolean |
isDefined(org.semanticweb.owl.model.OWLClass cls)
|
boolean |
isDefined(org.semanticweb.owl.model.OWLDataProperty prop)
|
boolean |
isDefined(org.semanticweb.owl.model.OWLIndividual ind)
|
boolean |
isDefined(org.semanticweb.owl.model.OWLObjectProperty prop)
|
boolean |
isDifferentFrom(org.semanticweb.owl.model.OWLIndividual ind1,
org.semanticweb.owl.model.OWLIndividual ind2)
Test if two individuals are owl:DifferentFrom each other. |
boolean |
isDisjointWith(org.semanticweb.owl.model.OWLDataProperty p1,
org.semanticweb.owl.model.OWLDataProperty p2)
|
boolean |
isDisjointWith(org.semanticweb.owl.model.OWLDescription c1,
org.semanticweb.owl.model.OWLDescription c2)
|
boolean |
isDisjointWith(org.semanticweb.owl.model.OWLObjectProperty p1,
org.semanticweb.owl.model.OWLObjectProperty p2)
|
boolean |
isEntailed(org.semanticweb.owl.model.OWLAxiom axiom)
|
boolean |
isEntailed(org.semanticweb.owl.model.OWLOntology ont)
|
boolean |
isEntailed(java.util.Set<? extends org.semanticweb.owl.model.OWLAxiom> axioms)
|
boolean |
isEquivalentClass(org.semanticweb.owl.model.OWLDescription c1,
org.semanticweb.owl.model.OWLDescription c2)
|
boolean |
isEquivalentProperty(org.semanticweb.owl.model.OWLDataProperty p1,
org.semanticweb.owl.model.OWLDataProperty p2)
|
boolean |
isEquivalentProperty(org.semanticweb.owl.model.OWLObjectProperty p1,
org.semanticweb.owl.model.OWLObjectProperty p2)
|
boolean |
isFunctional(org.semanticweb.owl.model.OWLDataProperty p)
|
boolean |
isFunctional(org.semanticweb.owl.model.OWLObjectProperty p)
|
boolean |
isInverseFunctional(org.semanticweb.owl.model.OWLObjectProperty p)
|
boolean |
isInverseOf(org.semanticweb.owl.model.OWLObjectProperty p1,
org.semanticweb.owl.model.OWLObjectProperty p2)
|
boolean |
isIrreflexive(org.semanticweb.owl.model.OWLObjectProperty p)
|
boolean |
isRealised()
|
boolean |
isReflexive(org.semanticweb.owl.model.OWLObjectProperty p)
|
boolean |
isSameAs(org.semanticweb.owl.model.OWLIndividual ind1,
org.semanticweb.owl.model.OWLIndividual ind2)
Test if two individuals are owl:DifferentFrom each other. |
boolean |
isSatisfiable(org.semanticweb.owl.model.OWLDescription d)
Returns true if the given class is satisfiable. |
boolean |
isSubClassOf(org.semanticweb.owl.model.OWLDescription c1,
org.semanticweb.owl.model.OWLDescription c2)
|
boolean |
isSubPropertyOf(org.semanticweb.owl.model.OWLDataProperty c1,
org.semanticweb.owl.model.OWLDataProperty c2)
|
boolean |
isSubPropertyOf(org.semanticweb.owl.model.OWLObjectProperty c1,
org.semanticweb.owl.model.OWLObjectProperty c2)
|
boolean |
isSubTypeOf(org.semanticweb.owl.model.OWLDataType d1,
org.semanticweb.owl.model.OWLDataType d2)
|
boolean |
isSymmetric(org.semanticweb.owl.model.OWLObjectProperty p)
|
boolean |
isTransitive(org.semanticweb.owl.model.OWLObjectProperty p)
|
void |
loadOntologies(java.util.Set<org.semanticweb.owl.model.OWLOntology> ontologies)
|
void |
loadOntology(org.semanticweb.owl.model.OWLOntology ontology)
|
void |
ontologiesChanged(java.util.List<? extends org.semanticweb.owl.model.OWLOntologyChange> changes)
Listens to ontology changes and refreshes the underlying KB. |
void |
realise()
|
void |
refresh()
|
void |
setOntology(org.semanticweb.owl.model.OWLOntology ontology)
This will first clear the ontologies and then load the give ontology with is imports |
void |
unloadOntologies(java.util.Set<org.semanticweb.owl.model.OWLOntology> ontologies)
|
void |
unloadOntology(org.semanticweb.owl.model.OWLOntology ontology)
|
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
public static java.util.logging.Logger log
| Constructor Detail |
|---|
public Reasoner(org.semanticweb.owl.model.OWLOntologyManager manager)
manager - ontology manager for this reasoner
public Reasoner(org.semanticweb.owl.model.OWLOntologyManager manager,
KnowledgeBase kb)
manager - ontology manager for this reasonerkb - underlying KB instance| Method Detail |
|---|
public void classify()
classify in interface org.semanticweb.owl.inference.OWLReasonerBasepublic void clearOntologies()
clearOntologies in interface org.semanticweb.owl.inference.OWLReasonerBasepublic org.semanticweb.owl.model.OWLAxiom convertAxiom(aterm.ATermAppl term)
term - -
axiom represented as an ATermAppl
null if conversion fails
public java.util.Set<org.semanticweb.owl.model.OWLAxiom> convertAxioms(java.util.Set<aterm.ATermAppl> terms)
throws org.semanticweb.owl.model.OWLRuntimeException
ATermAppl format to
a set of OWLAxioms
terms - -
axioms represented as an ATermAppl
OWLAxiom objects
org.semanticweb.owl.model.OWLRuntimeException - -
if conversion fails for one of the axiomspublic void dispose()
dispose in interface org.semanticweb.owl.inference.OWLReasonerBasepublic java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> getAncestorClasses(org.semanticweb.owl.model.OWLDescription c)
getAncestorClasses in interface org.semanticweb.owl.inference.OWLClassReasonerpublic java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLDataProperty>> getAncestorProperties(org.semanticweb.owl.model.OWLDataProperty p)
getAncestorProperties in interface org.semanticweb.owl.inference.OWLPropertyReasonerpublic java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLObjectProperty>> getAncestorProperties(org.semanticweb.owl.model.OWLObjectProperty p)
getAncestorProperties in interface org.semanticweb.owl.inference.OWLPropertyReasonerpublic java.util.Set<org.semanticweb.owl.model.OWLClass> getClasses()
public java.util.Set<org.semanticweb.owl.model.OWLClass> getComplementClasses(org.semanticweb.owl.model.OWLDescription c)
public java.util.Set<org.semanticweb.owl.model.OWLDataProperty> getDataProperties()
public java.util.Map<org.semanticweb.owl.model.OWLDataProperty,java.util.Set<org.semanticweb.owl.model.OWLConstant>> getDataPropertyRelationships(org.semanticweb.owl.model.OWLIndividual individual)
getDataPropertyRelationships in interface org.semanticweb.owl.inference.OWLIndividualReasonerpublic java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> getDescendantClasses(org.semanticweb.owl.model.OWLDescription c)
getDescendantClasses in interface org.semanticweb.owl.inference.OWLClassReasonerpublic java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLDataProperty>> getDescendantProperties(org.semanticweb.owl.model.OWLDataProperty p)
getDescendantProperties in interface org.semanticweb.owl.inference.OWLPropertyReasonerpublic java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLObjectProperty>> getDescendantProperties(org.semanticweb.owl.model.OWLObjectProperty p)
getDescendantProperties in interface org.semanticweb.owl.inference.OWLPropertyReasonerpublic java.util.Set<org.semanticweb.owl.model.OWLIndividual> getDifferentFromIndividuals(org.semanticweb.owl.model.OWLIndividual ind)
public java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> getDisjointClasses(org.semanticweb.owl.model.OWLDescription c)
public java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLDescription>> getDomains(org.semanticweb.owl.model.OWLDataProperty p)
getDomains in interface org.semanticweb.owl.inference.OWLPropertyReasonerpublic java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLDescription>> getDomains(org.semanticweb.owl.model.OWLObjectProperty p)
getDomains in interface org.semanticweb.owl.inference.OWLPropertyReasonerpublic java.util.Set<org.semanticweb.owl.model.OWLClass> getEquivalentClasses(org.semanticweb.owl.model.OWLDescription c)
getEquivalentClasses in interface org.semanticweb.owl.inference.OWLClassReasonerpublic java.util.Set<org.semanticweb.owl.model.OWLClass> getAllEquivalentClasses(org.semanticweb.owl.model.OWLDescription c)
public java.util.Set<org.semanticweb.owl.model.OWLDataProperty> getEquivalentProperties(org.semanticweb.owl.model.OWLDataProperty p)
getEquivalentProperties in interface org.semanticweb.owl.inference.OWLPropertyReasonerpublic java.util.Set<org.semanticweb.owl.model.OWLObjectProperty> getEquivalentProperties(org.semanticweb.owl.model.OWLObjectProperty p)
getEquivalentProperties in interface org.semanticweb.owl.inference.OWLPropertyReasoner
public java.util.Set<org.semanticweb.owl.model.OWLAxiom> getExplanation()
throws org.semanticweb.owl.model.OWLRuntimeException
org.semanticweb.owl.model.OWLRuntimeException - -
if no explanation was generated or axioms in the explanation
cannot be converted to OWLAxiomspublic java.util.Set<org.semanticweb.owl.model.OWLClass> getInconsistentClasses()
getInconsistentClasses in interface org.semanticweb.owl.inference.OWLClassReasonerpublic java.util.Set<org.semanticweb.owl.model.OWLIndividual> getIndividuals()
public java.util.Set<org.semanticweb.owl.model.OWLIndividual> getIndividuals(org.semanticweb.owl.model.OWLDescription clsC,
boolean direct)
getIndividuals in interface org.semanticweb.owl.inference.OWLIndividualReasonerpublic java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLObjectProperty>> getInverseProperties(org.semanticweb.owl.model.OWLObjectProperty prop)
getInverseProperties in interface org.semanticweb.owl.inference.OWLPropertyReasonerpublic KnowledgeBase getKB()
public java.util.Set<org.semanticweb.owl.model.OWLOntology> getLoadedOntologies()
getLoadedOntologies in interface org.semanticweb.owl.inference.OWLReasonerBasepublic PelletLoader getLoader()
public org.semanticweb.owl.model.OWLOntologyManager getManager()
public java.util.Set<org.semanticweb.owl.model.OWLObjectProperty> getObjectProperties()
public java.util.Map<org.semanticweb.owl.model.OWLObjectProperty,java.util.Set<org.semanticweb.owl.model.OWLIndividual>> getObjectPropertyRelationships(org.semanticweb.owl.model.OWLIndividual individual)
getObjectPropertyRelationships in interface org.semanticweb.owl.inference.OWLIndividualReasonerpublic java.util.Set<org.semanticweb.owl.model.OWLProperty<?,?>> getProperties()
public java.util.Map<org.semanticweb.owl.model.OWLIndividual,java.util.Set<org.semanticweb.owl.model.OWLConstant>> getDataPropertyAssertions(org.semanticweb.owl.model.OWLDataProperty prop)
public java.util.Set<? extends org.semanticweb.owl.model.OWLObject> getRelated(org.semanticweb.owl.model.OWLIndividual ind,
org.semanticweb.owl.model.OWLPropertyExpression<?,?> prop)
public java.util.Map<org.semanticweb.owl.model.OWLIndividual,java.util.Set<org.semanticweb.owl.model.OWLIndividual>> getObjectPropertyAssertions(org.semanticweb.owl.model.OWLObjectProperty prop)
public java.util.Set<org.semanticweb.owl.model.OWLDataRange> getRanges(org.semanticweb.owl.model.OWLDataProperty p)
getRanges in interface org.semanticweb.owl.inference.OWLPropertyReasonerpublic java.util.Set<org.semanticweb.owl.model.OWLDescription> getRanges(org.semanticweb.owl.model.OWLObjectProperty p)
getRanges in interface org.semanticweb.owl.inference.OWLPropertyReasoner
public org.semanticweb.owl.model.OWLIndividual getRelatedIndividual(org.semanticweb.owl.model.OWLIndividual subject,
org.semanticweb.owl.model.OWLObjectPropertyExpression property)
public java.util.Set<org.semanticweb.owl.model.OWLIndividual> getRelatedIndividuals(org.semanticweb.owl.model.OWLIndividual subject,
org.semanticweb.owl.model.OWLObjectPropertyExpression property)
getRelatedIndividuals in interface org.semanticweb.owl.inference.OWLIndividualReasoner
public org.semanticweb.owl.model.OWLConstant getRelatedValue(org.semanticweb.owl.model.OWLIndividual subject,
org.semanticweb.owl.model.OWLDataPropertyExpression property)
public java.util.Set<org.semanticweb.owl.model.OWLConstant> getRelatedValues(org.semanticweb.owl.model.OWLIndividual subject,
org.semanticweb.owl.model.OWLDataPropertyExpression property)
getRelatedValues in interface org.semanticweb.owl.inference.OWLIndividualReasonerpublic java.util.Set<org.semanticweb.owl.model.OWLIndividual> getSameAsIndividuals(org.semanticweb.owl.model.OWLIndividual ind)
ind - -
specific individual to test
org.semanticweb.owl.model.OWLExceptionpublic java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> getSubClasses(org.semanticweb.owl.model.OWLDescription c)
getSubClasses in interface org.semanticweb.owl.inference.OWLClassReasonerpublic java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLDataProperty>> getSubProperties(org.semanticweb.owl.model.OWLDataProperty p)
getSubProperties in interface org.semanticweb.owl.inference.OWLPropertyReasonerpublic java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLObjectProperty>> getSubProperties(org.semanticweb.owl.model.OWLObjectProperty p)
getSubProperties in interface org.semanticweb.owl.inference.OWLPropertyReasonerpublic java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> getSuperClasses(org.semanticweb.owl.model.OWLDescription c)
getSuperClasses in interface org.semanticweb.owl.inference.OWLClassReasonerpublic java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLDataProperty>> getSuperProperties(org.semanticweb.owl.model.OWLDataProperty p)
getSuperProperties in interface org.semanticweb.owl.inference.OWLPropertyReasonerpublic java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLObjectProperty>> getSuperProperties(org.semanticweb.owl.model.OWLObjectProperty p)
getSuperProperties in interface org.semanticweb.owl.inference.OWLPropertyReasonerpublic org.semanticweb.owl.model.OWLClass getType(org.semanticweb.owl.model.OWLIndividual ind)
ind -
org.semanticweb.owl.model.OWLExceptionpublic java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> getTypes(org.semanticweb.owl.model.OWLIndividual individual)
public java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> getTypes(org.semanticweb.owl.model.OWLIndividual ind,
boolean direct)
getTypes in interface org.semanticweb.owl.inference.OWLIndividualReasonerind -
org.semanticweb.owl.model.OWLException
public boolean hasDataPropertyRelationship(org.semanticweb.owl.model.OWLIndividual subject,
org.semanticweb.owl.model.OWLDataPropertyExpression property,
org.semanticweb.owl.model.OWLConstant object)
hasDataPropertyRelationship in interface org.semanticweb.owl.inference.OWLIndividualReasoner
public boolean hasDomain(org.semanticweb.owl.model.OWLDataProperty p,
org.semanticweb.owl.model.OWLDescription c)
public boolean hasDomain(org.semanticweb.owl.model.OWLObjectProperty p,
org.semanticweb.owl.model.OWLDescription c)
public boolean hasObjectPropertyRelationship(org.semanticweb.owl.model.OWLIndividual subject,
org.semanticweb.owl.model.OWLObjectPropertyExpression property,
org.semanticweb.owl.model.OWLIndividual object)
hasObjectPropertyRelationship in interface org.semanticweb.owl.inference.OWLIndividualReasoner
public boolean hasRange(org.semanticweb.owl.model.OWLDataProperty p,
org.semanticweb.owl.model.OWLDataRange d)
public boolean hasRange(org.semanticweb.owl.model.OWLObjectProperty p,
org.semanticweb.owl.model.OWLDescription c)
public boolean hasType(org.semanticweb.owl.model.OWLIndividual individual,
org.semanticweb.owl.model.OWLDescription type)
public boolean hasType(org.semanticweb.owl.model.OWLIndividual individual,
org.semanticweb.owl.model.OWLDescription type,
boolean direct)
throws org.semanticweb.owl.inference.OWLReasonerException
hasType in interface org.semanticweb.owl.inference.OWLIndividualReasonerorg.semanticweb.owl.inference.OWLReasonerExceptionpublic boolean isAntiSymmetric(org.semanticweb.owl.model.OWLObjectProperty p)
isAntiSymmetric in interface org.semanticweb.owl.inference.OWLPropertyReasonerpublic boolean isClassified()
isClassified in interface org.semanticweb.owl.inference.OWLReasonerBase
public boolean isComplementOf(org.semanticweb.owl.model.OWLDescription c1,
org.semanticweb.owl.model.OWLDescription c2)
public boolean isConsistent()
c -
org.semanticweb.owl.model.OWLExceptionpublic boolean isConsistent(org.semanticweb.owl.model.OWLDescription d)
isSatisfiable(OWLDescription) instead
public boolean isConsistent(org.semanticweb.owl.model.OWLOntology ontology)
isConsistent in interface org.semanticweb.owl.inference.OWLConsistencyCheckerpublic boolean isDefined(org.semanticweb.owl.model.OWLClass cls)
isDefined in interface org.semanticweb.owl.inference.OWLReasonerBasepublic boolean isDefined(org.semanticweb.owl.model.OWLDataProperty prop)
isDefined in interface org.semanticweb.owl.inference.OWLReasonerBasepublic boolean isDefined(org.semanticweb.owl.model.OWLIndividual ind)
isDefined in interface org.semanticweb.owl.inference.OWLReasonerBasepublic boolean isDefined(org.semanticweb.owl.model.OWLObjectProperty prop)
isDefined in interface org.semanticweb.owl.inference.OWLReasonerBase
public boolean isDifferentFrom(org.semanticweb.owl.model.OWLIndividual ind1,
org.semanticweb.owl.model.OWLIndividual ind2)
org.semanticweb.owl.model.OWLException
public boolean isDisjointWith(org.semanticweb.owl.model.OWLDataProperty p1,
org.semanticweb.owl.model.OWLDataProperty p2)
public boolean isDisjointWith(org.semanticweb.owl.model.OWLDescription c1,
org.semanticweb.owl.model.OWLDescription c2)
public boolean isDisjointWith(org.semanticweb.owl.model.OWLObjectProperty p1,
org.semanticweb.owl.model.OWLObjectProperty p2)
public boolean isEntailed(org.semanticweb.owl.model.OWLOntology ont)
public boolean isEntailed(java.util.Set<? extends org.semanticweb.owl.model.OWLAxiom> axioms)
public boolean isEntailed(org.semanticweb.owl.model.OWLAxiom axiom)
public boolean isEquivalentClass(org.semanticweb.owl.model.OWLDescription c1,
org.semanticweb.owl.model.OWLDescription c2)
isEquivalentClass in interface org.semanticweb.owl.inference.OWLClassReasoner
public boolean isEquivalentProperty(org.semanticweb.owl.model.OWLDataProperty p1,
org.semanticweb.owl.model.OWLDataProperty p2)
public boolean isEquivalentProperty(org.semanticweb.owl.model.OWLObjectProperty p1,
org.semanticweb.owl.model.OWLObjectProperty p2)
public boolean isFunctional(org.semanticweb.owl.model.OWLDataProperty p)
isFunctional in interface org.semanticweb.owl.inference.OWLPropertyReasonerpublic boolean isFunctional(org.semanticweb.owl.model.OWLObjectProperty p)
isFunctional in interface org.semanticweb.owl.inference.OWLPropertyReasonerpublic boolean isInverseFunctional(org.semanticweb.owl.model.OWLObjectProperty p)
isInverseFunctional in interface org.semanticweb.owl.inference.OWLPropertyReasoner
public boolean isInverseOf(org.semanticweb.owl.model.OWLObjectProperty p1,
org.semanticweb.owl.model.OWLObjectProperty p2)
public boolean isIrreflexive(org.semanticweb.owl.model.OWLObjectProperty p)
isIrreflexive in interface org.semanticweb.owl.inference.OWLPropertyReasoner
public boolean isRealised()
throws org.semanticweb.owl.inference.OWLReasonerException
isRealised in interface org.semanticweb.owl.inference.OWLReasonerBaseorg.semanticweb.owl.inference.OWLReasonerExceptionpublic boolean isReflexive(org.semanticweb.owl.model.OWLObjectProperty p)
isReflexive in interface org.semanticweb.owl.inference.OWLPropertyReasoner
public boolean isSameAs(org.semanticweb.owl.model.OWLIndividual ind1,
org.semanticweb.owl.model.OWLIndividual ind2)
org.semanticweb.owl.model.OWLExceptionpublic boolean isSatisfiable(org.semanticweb.owl.model.OWLDescription d)
isSatisfiable in interface org.semanticweb.owl.inference.OWLSatisfiabilityCheckerc -
org.semanticweb.owl.model.OWLException
public boolean isSubClassOf(org.semanticweb.owl.model.OWLDescription c1,
org.semanticweb.owl.model.OWLDescription c2)
isSubClassOf in interface org.semanticweb.owl.inference.OWLClassReasoner
public boolean isSubPropertyOf(org.semanticweb.owl.model.OWLDataProperty c1,
org.semanticweb.owl.model.OWLDataProperty c2)
public boolean isSubPropertyOf(org.semanticweb.owl.model.OWLObjectProperty c1,
org.semanticweb.owl.model.OWLObjectProperty c2)
public boolean isSubTypeOf(org.semanticweb.owl.model.OWLDataType d1,
org.semanticweb.owl.model.OWLDataType d2)
public boolean isSymmetric(org.semanticweb.owl.model.OWLObjectProperty p)
isSymmetric in interface org.semanticweb.owl.inference.OWLPropertyReasonerpublic boolean isTransitive(org.semanticweb.owl.model.OWLObjectProperty p)
isTransitive in interface org.semanticweb.owl.inference.OWLPropertyReasonerpublic void loadOntologies(java.util.Set<org.semanticweb.owl.model.OWLOntology> ontologies)
loadOntologies in interface org.semanticweb.owl.inference.OWLReasonerBasepublic void loadOntology(org.semanticweb.owl.model.OWLOntology ontology)
public void ontologiesChanged(java.util.List<? extends org.semanticweb.owl.model.OWLOntologyChange> changes)
ontologiesChanged in interface org.semanticweb.owl.model.OWLOntologyChangeListener
public void realise()
throws org.semanticweb.owl.inference.OWLReasonerException
realise in interface org.semanticweb.owl.inference.OWLReasonerBaseorg.semanticweb.owl.inference.OWLReasonerExceptionpublic void refresh()
public void setOntology(org.semanticweb.owl.model.OWLOntology ontology)
public void unloadOntologies(java.util.Set<org.semanticweb.owl.model.OWLOntology> ontologies)
unloadOntologies in interface org.semanticweb.owl.inference.OWLReasonerBasepublic void unloadOntology(org.semanticweb.owl.model.OWLOntology ontology)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||