public abstract class AbstractReasonerComponent extends AbstractComponent implements Reasoner, ReasonerComponent
ReasoningMethodUnsupportedException
is thrown for all other methods.
In addition to calling the actual implementations of reasoning operations,
the class also collects statistical information, which can be queried.
Guidelines for extending the class:
BaseReasoner
, SchemaReasoner
, IndividualReasoner
exist)ReasoningMethodUnsupportedException
Modifier and Type | Field and Description |
---|---|
static org.slf4j.Logger |
logger |
Constructor and Description |
---|
AbstractReasonerComponent() |
AbstractReasonerComponent(KnowledgeSource source) |
AbstractReasonerComponent(Set<KnowledgeSource> sources)
Constructs a new reasoner component.
|
Modifier and Type | Method and Description |
---|---|
void |
changeSources(Set<KnowledgeSource> sources)
Method to exchange the reasoner underlying the learning problem.
|
SortedSetTuple<org.semanticweb.owlapi.model.OWLIndividual> |
doubleRetrieval(org.semanticweb.owlapi.model.OWLClassExpression concept)
Performs a query for all instances of the given class expression and
its negation.
|
Set<org.semanticweb.owlapi.model.OWLClassExpression> |
getAssertedDefinitions(org.semanticweb.owlapi.model.OWLClass namedClass)
Returns all asserted owl:equivalence class axioms for the given class.
|
List<org.semanticweb.owlapi.model.OWLClass> |
getAtomicConceptsList() |
List<org.semanticweb.owlapi.model.OWLClass> |
getAtomicConceptsList(boolean removeOWLThing) |
List<org.semanticweb.owlapi.model.OWLObjectProperty> |
getAtomicRolesList() |
Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Boolean>> |
getBooleanDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
Convenience method, which can be used if it is known that the property has
values which can be parsed as boolean value.
|
Set<org.semanticweb.owlapi.model.OWLDataProperty> |
getBooleanDatatypeProperties()
Gets all data properties with range xsd:boolean.
|
ClassHierarchy |
getClassHierarchy()
Computes and returns the class hierarchy of the knowledge base.
|
Map<org.semanticweb.owlapi.model.OWLDataProperty,org.semanticweb.owlapi.model.OWLClassExpression> |
getDataPropertyDomains() |
Map<org.semanticweb.owlapi.model.OWLDataProperty,Set<org.semanticweb.owlapi.model.OWLLiteral>> |
getDataPropertyRelationships(org.semanticweb.owlapi.model.OWLIndividual individual)
A map of data properties related to values, e.g.
|
abstract org.semanticweb.owlapi.model.OWLDatatype |
getDatatype(org.semanticweb.owlapi.model.OWLDataProperty dp)
Returns the datatype of the data property, i.e.
|
Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLLiteral>> |
getDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
Computes and returns all connections between individuals and values through the
specified property, e.g.
|
Set<org.semanticweb.owlapi.model.OWLDataProperty> |
getDatatypeProperties()
Gets all data properties in the knowledge base, e.g.
|
DatatypePropertyHierarchy |
getDatatypePropertyHierarchy()
Computes and returns the data property hierarchy of the knowledge base.
|
org.semanticweb.owlapi.model.OWLClassExpression |
getDomain(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
Returns the domain of this data property.
|
org.semanticweb.owlapi.model.OWLClassExpression |
getDomain(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
Returns the domain of this object property.
|
Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Double>> |
getDoubleDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
Convenience method, which can be used if it is known that the property has
values which can be parsed as double.
|
Set<org.semanticweb.owlapi.model.OWLDataProperty> |
getDoubleDatatypeProperties()
Gets all data properties with a range that describes floating point values, i.e.
|
SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> |
getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression concept) |
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> |
getFalseDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
Convenience method, which can be used to get all individuals, which have value
"false" for the given property.
|
SortedSet<FuzzyIndividual> |
getFuzzyIndividuals(org.semanticweb.owlapi.model.OWLClassExpression concept) |
Set<org.semanticweb.owlapi.model.OWLClass> |
getInconsistentClasses()
Returns all named classes, which are not satisfiable, i.e.
|
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> |
getIndividuals(org.semanticweb.owlapi.model.OWLClassExpression concept)
Gets all instances of a given class expression in the knowledge base.
|
long |
getInstanceCheckReasoningTimeNs() |
Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Integer>> |
getIntDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
Convenience method, which can be used if it is known that the property has
values which can be parsed as integer.
|
Set<org.semanticweb.owlapi.model.OWLDataProperty> |
getIntDatatypeProperties()
Gets all integer type data properties, i.e.
|
Set<org.semanticweb.owlapi.model.OWLLiteral> |
getLabel(org.semanticweb.owlapi.model.OWLEntity entity)
Returns the RDFS labels of an entity.
|
SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> |
getMostGeneralDatatypeProperties() |
SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> |
getMostGeneralProperties()
TODO Outdated in OWL 2, because the universal role is the most general.
|
SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> |
getMostSpecialDatatypeProperties() |
SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> |
getMostSpecialProperties()
TODO Outdated in OWL, because the bottom role is the most specific.
|
int |
getNrOfInstanceChecks() |
int |
getNrOfMultiInstanceChecks() |
int |
getNrOfMultiSubsumptionChecks() |
int |
getNrOfRetrievals() |
int |
getNrOfSubsumptionChecks() |
int |
getNrOfSubsumptionHierarchyQueries() |
Set<org.semanticweb.owlapi.model.OWLDataProperty> |
getNumericDataProperties()
Gets all data properties with a numeric range
|
<T extends Number & Comparable<T>> |
getNumericDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
Computes and returns all connections between individuals and numeric values through the
specified property, e.g.
|
<T extends Number> |
getNumericDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty,
Class<T> clazz)
Convenience method, which can be used if it is known that the property has
values which can be parsed as given Number class.
|
Set<org.semanticweb.owlapi.model.OWLObjectProperty> |
getObjectProperties()
Gets all object properties in the knowledge base, e.g.
|
Map<org.semanticweb.owlapi.model.OWLObjectProperty,org.semanticweb.owlapi.model.OWLClassExpression> |
getObjectPropertyDomains() |
ObjectPropertyHierarchy |
getObjectPropertyHierarchy()
Computes and returns the object property hierarchy of the knowledge base.
|
Map<org.semanticweb.owlapi.model.OWLObjectProperty,org.semanticweb.owlapi.model.OWLClassExpression> |
getObjectPropertyRanges() |
Map<org.semanticweb.owlapi.model.OWLObjectProperty,Set<org.semanticweb.owlapi.model.OWLIndividual>> |
getObjectPropertyRelationships(org.semanticweb.owlapi.model.OWLIndividual individual)
A map of properties related to an individual, e.g.
|
long |
getOverallReasoningTimeNs() |
Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLIndividual>> |
getPropertyMembers(org.semanticweb.owlapi.model.OWLObjectProperty atomicRole)
Computes and returns all connections between individuals through the specified
property, e.g.
|
org.semanticweb.owlapi.model.OWLDataRange |
getRange(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
Returns the range of this data property.
|
org.semanticweb.owlapi.model.OWLClassExpression |
getRange(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
Returns the range of this object property.
|
abstract ReasonerType |
getReasonerType()
Gets the type of the underlying reasoner.
|
Set<org.semanticweb.owlapi.model.OWLIndividual> |
getRelatedIndividuals(org.semanticweb.owlapi.model.OWLIndividual individual,
org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
Returns the set of individuals, which are connect to the given individual
with the specified object property.
|
Set<org.semanticweb.owlapi.model.OWLLiteral> |
getRelatedValues(org.semanticweb.owlapi.model.OWLIndividual individual,
org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
Returns the set of individuals, which are connect to the given individual
with the specified data property.
|
long |
getRetrievalReasoningTimeNs() |
Set<KnowledgeSource> |
getSources()
Gets the knowledge sources used by this reasoner.
|
Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<String>> |
getStringDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
Convenience method, which can be used which returns the property values as
strings (note that any literal can be represented as string, even numbers).
|
Set<org.semanticweb.owlapi.model.OWLDataProperty> |
getStringDatatypeProperties()
Gets all data properties with range xsd:string.
|
SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> |
getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression concept)
Returns direct sub classes in the class hierarchy.
|
SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> |
getSubProperties(org.semanticweb.owlapi.model.OWLDataProperty role)
Returns more special concepts in the subsumption hierarchy.
|
SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> |
getSubProperties(org.semanticweb.owlapi.model.OWLObjectProperty role)
Returns more special concepts in the subsumption hierarchy.
|
<T extends org.semanticweb.owlapi.model.OWLProperty> |
getSubProperties(T role)
Computes all sub properties for the given property.
|
long |
getSubsumptionReasoningTimeNs() |
SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> |
getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression concept)
Returns direct super classes in the class hierarchy.
|
SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> |
getSuperProperties(org.semanticweb.owlapi.model.OWLDataProperty role)
Returns more general concepts in the subsumption hierarchy.
|
SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> |
getSuperProperties(org.semanticweb.owlapi.model.OWLObjectProperty role)
Returns more general concepts in the subsumption hierarchy.
|
<T extends org.semanticweb.owlapi.model.OWLProperty> |
getSuperProperties(T role)
Computes all super properties for the given property.
|
long |
getTimePerInstanceCheckNs() |
long |
getTimePerRetrievalNs() |
long |
getTimePerSubsumptionCheckNs() |
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> |
getTrueDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
Convenience method, which can be used to get all individuals, which have value
"true" for the given property.
|
Set<org.semanticweb.owlapi.model.OWLClass> |
getTypes(org.semanticweb.owlapi.model.OWLIndividual individual)
Returns types of an individual, i.e.
|
boolean |
hasType(org.semanticweb.owlapi.model.OWLClassExpression concept,
org.semanticweb.owlapi.model.OWLIndividual s)
Checks whether
individual is instance of description . |
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> |
hasType(org.semanticweb.owlapi.model.OWLClassExpression concept,
Set<org.semanticweb.owlapi.model.OWLIndividual> s)
Performs instance checks on a set of instances (reasoners might be more
efficient than handling each check separately).
|
double |
hasTypeFuzzyMembership(org.semanticweb.owlapi.model.OWLClassExpression description,
FuzzyIndividual individual)
FUZZY EXTENSIONS
|
boolean |
isDisjoint(org.semanticweb.owlapi.model.OWLClass class1,
org.semanticweb.owlapi.model.OWLClass class2)
Checks whether
class1 is disjoint with class2 . |
boolean |
isEquivalentClass(org.semanticweb.owlapi.model.OWLClassExpression class1,
org.semanticweb.owlapi.model.OWLClassExpression class2)
Checks whether
class1 is equivalent to class2 . |
boolean |
isSatisfiable()
Checks consistency of the knowledge.
|
boolean |
isSubPropertyOf(org.semanticweb.owlapi.model.OWLProperty subProperty,
org.semanticweb.owlapi.model.OWLProperty superProperty) |
boolean |
isSuperClassOf(org.semanticweb.owlapi.model.OWLClassExpression superClass,
org.semanticweb.owlapi.model.OWLClassExpression subClass)
Checks whether
superClass is a super class of subClass . |
Set<org.semanticweb.owlapi.model.OWLClassExpression> |
isSuperClassOf(Set<org.semanticweb.owlapi.model.OWLClassExpression> superConcepts,
org.semanticweb.owlapi.model.OWLClassExpression subConcept)
Checks which of
superClasses are super classes of subClass |
boolean |
isUseInstanceChecks() |
DatatypePropertyHierarchy |
prepareDatatypePropertyHierarchy()
Creates the data property hierarchy.
|
ObjectPropertyHierarchy |
prepareObjectPropertyHierarchy()
Creates the object property hierarchy.
|
ClassHierarchy |
prepareSubsumptionHierarchy()
Creates the class hierarchy.
|
abstract void |
releaseKB()
Call this method to release the knowledge base.
|
boolean |
remainsSatisfiable(org.semanticweb.owlapi.model.OWLAxiom axiom)
Checks whether adding the specified axiom leads to an inconsistency.
|
void |
resetStatistics()
Reset all statistics.
|
void |
setPrecomputeClassHierarchy(boolean precomputeClassHierarchy) |
void |
setPrecomputeDataPropertyHierarchy(boolean precomputeDataPropertyHierarchy) |
void |
setPrecomputeObjectPropertyHierarchy(boolean precomputeObjectPropertyHierarchy) |
void |
setSources(KnowledgeSource... sources) |
void |
setSources(Set<KnowledgeSource> sources) |
void |
setSubsumptionHierarchy(ClassHierarchy subsumptionHierarchy) |
abstract void |
setSynchronized()
Enabled a synchronized mode such that all reasoner methods are supposed
to be thread safe.
|
void |
setUpdated()
Notify the reasoner component that the underlying knowledge base has
changed and all caches (for named classes, subsumption hierarchies, etc.)
should be invalidaded.
|
void |
setUseInstanceChecks(boolean useInstanceChecks) |
String |
toString() |
isInitialized
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
getBaseURI, getClasses, getIndividuals, getPrefixes
public static org.slf4j.Logger logger
public AbstractReasonerComponent()
public AbstractReasonerComponent(Set<KnowledgeSource> sources)
sources
- The underlying knowledge sources.public AbstractReasonerComponent(KnowledgeSource source)
public Set<KnowledgeSource> getSources()
@Autowired public void setSources(Set<KnowledgeSource> sources)
@Autowired public void setSources(KnowledgeSource... sources)
public void changeSources(Set<KnowledgeSource> sources)
sources
- The new knowledge sources.public abstract ReasonerType getReasonerType()
public void resetStatistics()
public void setUpdated()
public abstract void releaseKB()
public final Set<org.semanticweb.owlapi.model.OWLClass> getTypes(org.semanticweb.owlapi.model.OWLIndividual individual)
IndividualReasoner
getTypes
in interface IndividualReasoner
individual
- An individual in the knowledge base.public final boolean isSuperClassOf(org.semanticweb.owlapi.model.OWLClassExpression superClass, org.semanticweb.owlapi.model.OWLClassExpression subClass)
SchemaReasoner
superClass
is a super class of subClass
.isSuperClassOf
in interface SchemaReasoner
superClass
- The (supposed) super class.subClass
- The (supposed) sub class.superClass
is a super class of subClass
.public final boolean isEquivalentClass(org.semanticweb.owlapi.model.OWLClassExpression class1, org.semanticweb.owlapi.model.OWLClassExpression class2)
SchemaReasoner
class1
is equivalent to class2
.isEquivalentClass
in interface SchemaReasoner
class1
- The first class.class2
- The second class2.class1
is equivalent to class2
.public final boolean isDisjoint(org.semanticweb.owlapi.model.OWLClass class1, org.semanticweb.owlapi.model.OWLClass class2)
SchemaReasoner
class1
is disjoint with class2
.isDisjoint
in interface SchemaReasoner
class1
- The first class.class2
- The second class2.class1
is disjoint with class2
.public Set<org.semanticweb.owlapi.model.OWLClassExpression> getAssertedDefinitions(org.semanticweb.owlapi.model.OWLClass namedClass)
SchemaReasoner
getAssertedDefinitions
in interface SchemaReasoner
namedClass
- A named class in the background knowledge.public final Set<org.semanticweb.owlapi.model.OWLClassExpression> isSuperClassOf(Set<org.semanticweb.owlapi.model.OWLClassExpression> superConcepts, org.semanticweb.owlapi.model.OWLClassExpression subConcept)
SchemaReasoner
superClasses
are super classes of subClass
isSuperClassOf
in interface SchemaReasoner
superConcepts
- A set of (supposed) super classes.subConcept
- The (supposed) sub class.superClasses
, which satisfy the superclass-subclass relationship.public final SortedSetTuple<org.semanticweb.owlapi.model.OWLIndividual> doubleRetrieval(org.semanticweb.owlapi.model.OWLClassExpression concept)
IndividualReasoner
doubleRetrieval
in interface IndividualReasoner
concept
- An OWL class description.public final SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getIndividuals(org.semanticweb.owlapi.model.OWLClassExpression concept)
IndividualReasoner
getIndividuals
in interface IndividualReasoner
concept
- An OWL class description.public final SortedSet<FuzzyIndividual> getFuzzyIndividuals(org.semanticweb.owlapi.model.OWLClassExpression concept)
getFuzzyIndividuals
in interface FuzzyIndividualReasoner
public final boolean hasType(org.semanticweb.owlapi.model.OWLClassExpression concept, org.semanticweb.owlapi.model.OWLIndividual s)
IndividualReasoner
individual
is instance of description
.
For instance, "Leipzig" may be an instance of "City".hasType
in interface IndividualReasoner
concept
- An OWL class description.s
- An individual.public final SortedSet<org.semanticweb.owlapi.model.OWLIndividual> hasType(org.semanticweb.owlapi.model.OWLClassExpression concept, Set<org.semanticweb.owlapi.model.OWLIndividual> s)
IndividualReasoner
hasType
in interface IndividualReasoner
concept
- An OWL class description.s
- An individual.public final Set<org.semanticweb.owlapi.model.OWLClass> getInconsistentClasses()
SchemaReasoner
getInconsistentClasses
in interface SchemaReasoner
public final boolean isSatisfiable()
BaseReasoner
isSatisfiable
in interface BaseReasoner
public final boolean remainsSatisfiable(org.semanticweb.owlapi.model.OWLAxiom axiom)
BaseReasoner
remainsSatisfiable
in interface BaseReasoner
axiom
- The axiom to be added to the knowledge base.public final Map<org.semanticweb.owlapi.model.OWLObjectProperty,Set<org.semanticweb.owlapi.model.OWLIndividual>> getObjectPropertyRelationships(org.semanticweb.owlapi.model.OWLIndividual individual)
IndividualReasoner
getObjectPropertyRelationships
in interface IndividualReasoner
individual
- An individual.public final Map<org.semanticweb.owlapi.model.OWLDataProperty,Set<org.semanticweb.owlapi.model.OWLLiteral>> getDataPropertyRelationships(org.semanticweb.owlapi.model.OWLIndividual individual)
IndividualReasoner
getDataPropertyRelationships
in interface IndividualReasoner
individual
- An individual.public final Set<org.semanticweb.owlapi.model.OWLIndividual> getRelatedIndividuals(org.semanticweb.owlapi.model.OWLIndividual individual, org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
IndividualReasoner
getRelatedIndividuals
in interface IndividualReasoner
individual
- An individual, e.g. eric.objectProperty
- An object property, e.g. hasChild.public final Set<org.semanticweb.owlapi.model.OWLLiteral> getRelatedValues(org.semanticweb.owlapi.model.OWLIndividual individual, org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
IndividualReasoner
getRelatedValues
in interface IndividualReasoner
individual
- An individual, e.g. eric.datatypeProperty
- A data property, e.g. hasIncome.public final Set<org.semanticweb.owlapi.model.OWLLiteral> getLabel(org.semanticweb.owlapi.model.OWLEntity entity)
BaseReasoner
getLabel
in interface BaseReasoner
entity
- An entity, e.g. Machine.public final Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLIndividual>> getPropertyMembers(org.semanticweb.owlapi.model.OWLObjectProperty atomicRole)
IndividualReasoner
getPropertyMembers
in interface IndividualReasoner
atomicRole
- An object property.public final Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLLiteral>> getDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
IndividualReasoner
getDatatypeMembers
in interface IndividualReasoner
datatypeProperty
- A data property.public final Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Double>> getDoubleDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
IndividualReasoner
getDoubleDatatypeMembers
in interface IndividualReasoner
datatypeProperty
- A data property.IndividualReasoner.getDatatypeMembers(OWLDataProperty)
,
Double.valueOf(String)
public final <T extends Number> Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<T>> getNumericDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty, Class<T> clazz)
IndividualReasoner
getNumericDatatypeMembers
in interface IndividualReasoner
datatypeProperty
- A data property.clazz
- a Java Number subtype.IndividualReasoner.getDatatypeMembers(OWLDataProperty)
public final <T extends Number & Comparable<T>> Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<T>> getNumericDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
IndividualReasoner
getNumericDatatypeMembers
in interface IndividualReasoner
datatypeProperty
- A data property.public final Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Integer>> getIntDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
IndividualReasoner
getIntDatatypeMembers
in interface IndividualReasoner
datatypeProperty
- A data property.IndividualReasoner.getDatatypeMembers(OWLDataProperty)
,
Integer.valueOf(String)
public final Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Boolean>> getBooleanDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
IndividualReasoner
getBooleanDatatypeMembers
in interface IndividualReasoner
datatypeProperty
- A data property.IndividualReasoner.getDatatypeMembers(OWLDataProperty)
public final SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getTrueDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
IndividualReasoner
getTrueDatatypeMembers
in interface IndividualReasoner
datatypeProperty
- A data property.IndividualReasoner.getDatatypeMembers(OWLDataProperty)
public final SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getFalseDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
IndividualReasoner
getFalseDatatypeMembers
in interface IndividualReasoner
datatypeProperty
- A data property.IndividualReasoner.getDatatypeMembers(OWLDataProperty)
public final Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<String>> getStringDatatypeMembers(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
IndividualReasoner
getStringDatatypeMembers
in interface IndividualReasoner
datatypeProperty
- A data property.IndividualReasoner.getDatatypeMembers(OWLDataProperty)
public final Set<org.semanticweb.owlapi.model.OWLObjectProperty> getObjectProperties()
BaseReasoner
getObjectProperties
in interface BaseReasoner
public final Set<org.semanticweb.owlapi.model.OWLDataProperty> getDatatypeProperties()
BaseReasoner
getDatatypeProperties
in interface BaseReasoner
public final Set<org.semanticweb.owlapi.model.OWLDataProperty> getBooleanDatatypeProperties()
BaseReasoner
getBooleanDatatypeProperties
in interface BaseReasoner
public final Set<org.semanticweb.owlapi.model.OWLDataProperty> getNumericDataProperties()
BaseReasoner
getNumericDataProperties
in interface BaseReasoner
public final Set<org.semanticweb.owlapi.model.OWLDataProperty> getIntDatatypeProperties()
BaseReasoner
getIntDatatypeProperties
in interface BaseReasoner
OWLAPIUtils.intDatatypes
public final Set<org.semanticweb.owlapi.model.OWLDataProperty> getDoubleDatatypeProperties()
BaseReasoner
getDoubleDatatypeProperties
in interface BaseReasoner
public final Set<org.semanticweb.owlapi.model.OWLDataProperty> getStringDatatypeProperties()
BaseReasoner
getStringDatatypeProperties
in interface BaseReasoner
OWLDataProperty
public final org.semanticweb.owlapi.model.OWLClassExpression getDomain(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
SchemaReasoner
getDomain
in interface SchemaReasoner
objectProperty
- An object property in the knowledge base.objectProperty
public final org.semanticweb.owlapi.model.OWLClassExpression getDomain(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
SchemaReasoner
getDomain
in interface SchemaReasoner
datatypeProperty
- An data property in the knowledge base.datatypeProperty
public final org.semanticweb.owlapi.model.OWLClassExpression getRange(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
SchemaReasoner
getRange
in interface SchemaReasoner
objectProperty
- An object property in the knowledge base.objectProperty
public final org.semanticweb.owlapi.model.OWLDataRange getRange(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
SchemaReasoner
getRange
in interface SchemaReasoner
datatypeProperty
- An data property in the knowledge base.datatypeProperty
public final SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> getSuperClasses(org.semanticweb.owlapi.model.OWLClassExpression concept)
SchemaReasoner
getSuperClasses
in interface SchemaReasoner
concept
- Atomic concept, top, or bottom.public final SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> getSubClasses(org.semanticweb.owlapi.model.OWLClassExpression concept)
SchemaReasoner
getSubClasses
in interface SchemaReasoner
concept
- Atomic concept, top, or bottom.public final SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> getEquivalentClasses(org.semanticweb.owlapi.model.OWLClassExpression concept)
public final <T extends org.semanticweb.owlapi.model.OWLProperty> SortedSet<T> getSuperProperties(T role)
SchemaReasoner
getSuperProperties
in interface SchemaReasoner
role
- the propertypublic final <T extends org.semanticweb.owlapi.model.OWLProperty> SortedSet<T> getSubProperties(T role)
SchemaReasoner
getSubProperties
in interface SchemaReasoner
role
- the propertypublic final SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> getSuperProperties(org.semanticweb.owlapi.model.OWLObjectProperty role)
SchemaReasoner
getSuperProperties
in interface SchemaReasoner
role
- Atomic concept, top, or bottom.ObjectPropertyHierarchy.getMoreGeneralRoles(OWLObjectProperty)
public final SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> getSubProperties(org.semanticweb.owlapi.model.OWLObjectProperty role)
SchemaReasoner
getSubProperties
in interface SchemaReasoner
role
- Atomic concept, top, or bottom.ObjectPropertyHierarchy.getMoreSpecialRoles(OWLObjectProperty)
public final SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> getMostGeneralProperties()
SchemaReasoner
getMostGeneralProperties
in interface SchemaReasoner
ObjectPropertyHierarchy.getMostGeneralRoles()
public final SortedSet<org.semanticweb.owlapi.model.OWLObjectProperty> getMostSpecialProperties()
SchemaReasoner
getMostSpecialProperties
in interface SchemaReasoner
ObjectPropertyHierarchy.getMostSpecialRoles()
public final SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> getSuperProperties(org.semanticweb.owlapi.model.OWLDataProperty role)
SchemaReasoner
getSuperProperties
in interface SchemaReasoner
role
- Atomic concept, top, or bottom.DatatypePropertyHierarchy.getMoreGeneralRoles(OWLDataProperty)
public final SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> getSubProperties(org.semanticweb.owlapi.model.OWLDataProperty role)
SchemaReasoner
getSubProperties
in interface SchemaReasoner
role
- Atomic concept, top, or bottom.DatatypePropertyHierarchy.getMoreSpecialRoles(OWLDataProperty)
public final SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> getMostGeneralDatatypeProperties()
getMostGeneralDatatypeProperties
in interface SchemaReasoner
DatatypePropertyHierarchy.getMostGeneralRoles()
public final SortedSet<org.semanticweb.owlapi.model.OWLDataProperty> getMostSpecialDatatypeProperties()
getMostSpecialDatatypeProperties
in interface SchemaReasoner
DatatypePropertyHierarchy.getMostSpecialRoles()
public ClassHierarchy prepareSubsumptionHierarchy() throws ReasoningMethodUnsupportedException
ReasoningMethodUnsupportedException
- If any method needed to
create the hierarchy is not supported by the underlying reasoner.public final ClassHierarchy getClassHierarchy()
SchemaReasoner
getClassHierarchy
in interface SchemaReasoner
public ObjectPropertyHierarchy prepareObjectPropertyHierarchy() throws ReasoningMethodUnsupportedException
ReasoningMethodUnsupportedException
- Thrown if a reasoning method for object property
hierarchy creation is not supported by the reasoner.public final ObjectPropertyHierarchy getObjectPropertyHierarchy()
SchemaReasoner
getObjectPropertyHierarchy
in interface SchemaReasoner
public boolean isSubPropertyOf(org.semanticweb.owlapi.model.OWLProperty subProperty, org.semanticweb.owlapi.model.OWLProperty superProperty)
public DatatypePropertyHierarchy prepareDatatypePropertyHierarchy() throws ReasoningMethodUnsupportedException
ReasoningMethodUnsupportedException
- Thrown if data property hierarchy creation is not supported
by the reasoner.public final DatatypePropertyHierarchy getDatatypePropertyHierarchy()
SchemaReasoner
getDatatypePropertyHierarchy
in interface SchemaReasoner
public List<org.semanticweb.owlapi.model.OWLClass> getAtomicConceptsList()
public List<org.semanticweb.owlapi.model.OWLClass> getAtomicConceptsList(boolean removeOWLThing)
public void setSubsumptionHierarchy(ClassHierarchy subsumptionHierarchy)
public List<org.semanticweb.owlapi.model.OWLObjectProperty> getAtomicRolesList()
public long getInstanceCheckReasoningTimeNs()
public long getRetrievalReasoningTimeNs()
public int getNrOfInstanceChecks()
public int getNrOfRetrievals()
public int getNrOfSubsumptionChecks()
public long getSubsumptionReasoningTimeNs()
public int getNrOfSubsumptionHierarchyQueries()
public long getOverallReasoningTimeNs()
public long getTimePerRetrievalNs()
public long getTimePerInstanceCheckNs()
public long getTimePerSubsumptionCheckNs()
public int getNrOfMultiSubsumptionChecks()
public int getNrOfMultiInstanceChecks()
public void setPrecomputeClassHierarchy(boolean precomputeClassHierarchy)
precomputeClassHierarchy
- the precomputeClassHierarchy to setpublic void setPrecomputeObjectPropertyHierarchy(boolean precomputeObjectPropertyHierarchy)
precomputeObjectPropertyHierarchy
- the precomputeObjectPropertyHierarchy to setpublic void setPrecomputeDataPropertyHierarchy(boolean precomputeDataPropertyHierarchy)
precomputeDataPropertyHierarchy
- the precomputeDataPropertyHierarchy to setpublic Map<org.semanticweb.owlapi.model.OWLObjectProperty,org.semanticweb.owlapi.model.OWLClassExpression> getObjectPropertyDomains()
public Map<org.semanticweb.owlapi.model.OWLObjectProperty,org.semanticweb.owlapi.model.OWLClassExpression> getObjectPropertyRanges()
public Map<org.semanticweb.owlapi.model.OWLDataProperty,org.semanticweb.owlapi.model.OWLClassExpression> getDataPropertyDomains()
public double hasTypeFuzzyMembership(org.semanticweb.owlapi.model.OWLClassExpression description, FuzzyIndividual individual)
hasTypeFuzzyMembership
in interface FuzzyIndividualReasoner
description
- An OWL class description.individual
- An individual.individual
satisfying description
[0-1].public abstract org.semanticweb.owlapi.model.OWLDatatype getDatatype(org.semanticweb.owlapi.model.OWLDataProperty dp)
dp
- the data propertypublic abstract void setSynchronized()
public boolean isUseInstanceChecks()
public void setUseInstanceChecks(boolean useInstanceChecks)
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann