public class ClosedWorldReasoner extends AbstractReasonerComponent
Modifier and Type | Class and Description |
---|---|
static class |
ClosedWorldReasoner.DisjointnessSemantics
There are different ways on how disjointness between classes can be
assumed.
|
static class |
ClosedWorldReasoner.ForallSemantics |
Constructor and Description |
---|
ClosedWorldReasoner() |
ClosedWorldReasoner(KnowledgeSource... sources) |
ClosedWorldReasoner(OWLAPIReasoner baseReasoner) |
ClosedWorldReasoner(Set<KnowledgeSource> sources) |
ClosedWorldReasoner(TreeSet<org.semanticweb.owlapi.model.OWLIndividual> individuals,
Map<org.semanticweb.owlapi.model.OWLClass,TreeSet<org.semanticweb.owlapi.model.OWLIndividual>> classInstancesPos,
Map<org.semanticweb.owlapi.model.OWLObjectProperty,Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLIndividual>>> opPos,
Map<org.semanticweb.owlapi.model.OWLDataProperty,Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Integer>>> id,
Map<org.semanticweb.owlapi.model.OWLDataProperty,TreeSet<org.semanticweb.owlapi.model.OWLIndividual>> bdPos,
Map<org.semanticweb.owlapi.model.OWLDataProperty,TreeSet<org.semanticweb.owlapi.model.OWLIndividual>> bdNeg,
KnowledgeSource... sources) |
Modifier and Type | Method and Description |
---|---|
String |
getBaseURI()
Returns the base URI of the knowledge base.
|
Set<org.semanticweb.owlapi.model.OWLDataProperty> |
getBooleanDatatypePropertiesImpl() |
Set<org.semanticweb.owlapi.model.OWLClass> |
getClasses()
Gets all named classes in the knowledge base, e.g.
|
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>> |
getDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty) |
Set<org.semanticweb.owlapi.model.OWLDataProperty> |
getDatatypePropertiesImpl() |
org.semanticweb.owlapi.model.OWLClassExpression |
getDomainImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty) |
org.semanticweb.owlapi.model.OWLClassExpression |
getDomainImpl(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty) |
Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Double>> |
getDoubleDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty) |
Set<org.semanticweb.owlapi.model.OWLDataProperty> |
getDoubleDatatypePropertiesImpl() |
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> |
getFalseDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty) |
ClosedWorldReasoner.ForallSemantics |
getForAllSemantics() |
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> |
getIndividuals()
Gets all individuals in the knowledge base, e.g.
|
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> |
getIndividualsImpl(org.semanticweb.owlapi.model.OWLClassExpression concept) |
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> |
getIndividualsImplFast(org.semanticweb.owlapi.model.OWLClassExpression description) |
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> |
getIndividualsImplStandard(org.semanticweb.owlapi.model.OWLClassExpression concept) |
Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Integer>> |
getIntDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty) |
Set<org.semanticweb.owlapi.model.OWLDataProperty> |
getIntDatatypePropertiesImpl() |
Set<org.semanticweb.owlapi.model.OWLLiteral> |
getLabelImpl(org.semanticweb.owlapi.model.OWLEntity entity) |
Set<org.semanticweb.owlapi.model.OWLObjectProperty> |
getObjectPropertiesImpl() |
Map<String,String> |
getPrefixes()
Returns the prefixes used in the knowledge base, e.g.
|
Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLIndividual>> |
getPropertyMembersImpl(org.semanticweb.owlapi.model.OWLObjectProperty atomicRole) |
org.semanticweb.owlapi.model.OWLDataRange |
getRangeImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty) |
org.semanticweb.owlapi.model.OWLClassExpression |
getRangeImpl(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty) |
OWLAPIReasoner |
getReasonerComponent() |
ReasonerType |
getReasonerType()
Gets the type of the underlying reasoner.
|
Set<org.semanticweb.owlapi.model.OWLIndividual> |
getRelatedIndividualsImpl(org.semanticweb.owlapi.model.OWLIndividual individual,
org.semanticweb.owlapi.model.OWLObjectProperty objectProperty) |
Set<org.semanticweb.owlapi.model.OWLLiteral> |
getRelatedValuesImpl(org.semanticweb.owlapi.model.OWLIndividual individual,
org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty) |
Set<org.semanticweb.owlapi.model.OWLDataProperty> |
getStringDatatypePropertiesImpl() |
SortedSet<org.semanticweb.owlapi.model.OWLIndividual> |
getTrueDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty) |
boolean |
hasTypeImpl(org.semanticweb.owlapi.model.OWLClassExpression description,
org.semanticweb.owlapi.model.OWLIndividual individual) |
void |
init()
Method to be called after the component has been configured.
|
boolean |
isDefaultNegation() |
boolean |
isDisjointImpl(org.semanticweb.owlapi.model.OWLClass clsA,
org.semanticweb.owlapi.model.OWLClass clsB) |
boolean |
isSatisfiableImpl() |
boolean |
isSuperClassOfImpl(org.semanticweb.owlapi.model.OWLClassExpression superConcept,
org.semanticweb.owlapi.model.OWLClassExpression subConcept) |
static void |
main(String[] args) |
void |
releaseKB()
Call this method to release the knowledge base.
|
boolean |
remainsSatisfiableImpl(org.semanticweb.owlapi.model.OWLAxiom axiom) |
void |
setBaseURI(String baseURI) |
void |
setDefaultNegation(boolean defaultNegation) |
void |
setForAllSemantics(ClosedWorldReasoner.ForallSemantics forAllSemantics) |
void |
setHandlePunning(boolean handlePunning) |
void |
setMaterializeExistentialRestrictions(boolean materializeExistentialRestrictions) |
void |
setPrefixes(Map<String,String> prefixes) |
void |
setReasonerComponent(OWLAPIReasoner rc) |
void |
setSynchronized()
Enabled a synchronized mode such that all reasoner methods are supposed
to be thread safe.
|
void |
setUseMaterializationCaching(boolean useMaterializationCaching) |
changeSources, doubleRetrieval, getAssertedDefinitions, getAtomicConceptsList, getAtomicConceptsList, getAtomicRolesList, getBooleanDatatypeMembers, getBooleanDatatypeProperties, getClassHierarchy, getDataPropertyDomains, getDataPropertyRelationships, getDatatypeMembers, getDatatypeProperties, getDatatypePropertyHierarchy, getDomain, getDomain, getDoubleDatatypeMembers, getDoubleDatatypeProperties, getEquivalentClasses, getFalseDatatypeMembers, getFuzzyIndividuals, getInconsistentClasses, getIndividuals, getInstanceCheckReasoningTimeNs, getIntDatatypeMembers, getIntDatatypeProperties, getLabel, getMostGeneralDatatypeProperties, getMostGeneralProperties, getMostSpecialDatatypeProperties, getMostSpecialProperties, getNrOfInstanceChecks, getNrOfMultiInstanceChecks, getNrOfMultiSubsumptionChecks, getNrOfRetrievals, getNrOfSubsumptionChecks, getNrOfSubsumptionHierarchyQueries, getNumericDataProperties, getNumericDatatypeMembers, getNumericDatatypeMembers, getObjectProperties, getObjectPropertyDomains, getObjectPropertyHierarchy, getObjectPropertyRanges, getObjectPropertyRelationships, getOverallReasoningTimeNs, getPropertyMembers, getRange, getRange, getRelatedIndividuals, getRelatedValues, getRetrievalReasoningTimeNs, getSources, getStringDatatypeMembers, getStringDatatypeProperties, getSubClasses, getSubProperties, getSubProperties, getSubProperties, getSubsumptionReasoningTimeNs, getSuperClasses, getSuperProperties, getSuperProperties, getSuperProperties, getTimePerInstanceCheckNs, getTimePerRetrievalNs, getTimePerSubsumptionCheckNs, getTrueDatatypeMembers, getTypes, hasType, hasType, hasTypeFuzzyMembership, isDisjoint, isEquivalentClass, isSatisfiable, isSubPropertyOf, isSuperClassOf, isSuperClassOf, isUseInstanceChecks, prepareDatatypePropertyHierarchy, prepareObjectPropertyHierarchy, prepareSubsumptionHierarchy, remainsSatisfiable, resetStatistics, setPrecomputeClassHierarchy, setPrecomputeDataPropertyHierarchy, setPrecomputeObjectPropertyHierarchy, setSources, setSources, setSubsumptionHierarchy, setUpdated, setUseInstanceChecks, toString
isInitialized
public ClosedWorldReasoner()
public ClosedWorldReasoner(TreeSet<org.semanticweb.owlapi.model.OWLIndividual> individuals, Map<org.semanticweb.owlapi.model.OWLClass,TreeSet<org.semanticweb.owlapi.model.OWLIndividual>> classInstancesPos, Map<org.semanticweb.owlapi.model.OWLObjectProperty,Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLIndividual>>> opPos, Map<org.semanticweb.owlapi.model.OWLDataProperty,Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Integer>>> id, Map<org.semanticweb.owlapi.model.OWLDataProperty,TreeSet<org.semanticweb.owlapi.model.OWLIndividual>> bdPos, Map<org.semanticweb.owlapi.model.OWLDataProperty,TreeSet<org.semanticweb.owlapi.model.OWLIndividual>> bdNeg, KnowledgeSource... sources)
public ClosedWorldReasoner(Set<KnowledgeSource> sources)
public ClosedWorldReasoner(KnowledgeSource... sources)
public ClosedWorldReasoner(OWLAPIReasoner baseReasoner)
public void init() throws ComponentInitException
Component
ComponentInitException
- This exception is thrown if any
exceptions occur within the initialisation process of this
component. As component developer, you are encouraged to
re-throw occurring exception as ComponentInitException and
giving an error message as well as the actually exception by
using the constructor ComponentInitException(String, Throwable)
.public boolean hasTypeImpl(org.semanticweb.owlapi.model.OWLClassExpression description, org.semanticweb.owlapi.model.OWLIndividual individual) throws ReasoningMethodUnsupportedException
public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getIndividualsImpl(org.semanticweb.owlapi.model.OWLClassExpression concept) throws ReasoningMethodUnsupportedException
public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getIndividualsImplStandard(org.semanticweb.owlapi.model.OWLClassExpression concept)
public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getIndividualsImplFast(org.semanticweb.owlapi.model.OWLClassExpression description) throws ReasoningMethodUnsupportedException
public Set<org.semanticweb.owlapi.model.OWLClass> getClasses()
BaseReasoner
public Set<org.semanticweb.owlapi.model.OWLObjectProperty> getObjectPropertiesImpl()
public Set<org.semanticweb.owlapi.model.OWLDataProperty> getDatatypePropertiesImpl()
public Set<org.semanticweb.owlapi.model.OWLDataProperty> getBooleanDatatypePropertiesImpl()
public Set<org.semanticweb.owlapi.model.OWLDataProperty> getDoubleDatatypePropertiesImpl()
public Set<org.semanticweb.owlapi.model.OWLDataProperty> getIntDatatypePropertiesImpl()
public Set<org.semanticweb.owlapi.model.OWLDataProperty> getStringDatatypePropertiesImpl()
public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getIndividuals()
BaseReasoner
public ReasonerType getReasonerType()
AbstractReasonerComponent
getReasonerType
in class AbstractReasonerComponent
public boolean isSuperClassOfImpl(org.semanticweb.owlapi.model.OWLClassExpression superConcept, org.semanticweb.owlapi.model.OWLClassExpression subConcept)
public boolean isDisjointImpl(org.semanticweb.owlapi.model.OWLClass clsA, org.semanticweb.owlapi.model.OWLClass clsB)
public String getBaseURI()
BaseReasoner
public Map<String,String> getPrefixes()
BaseReasoner
public void setPrefixes(Map<String,String> prefixes)
public void setBaseURI(String baseURI)
baseURI
- the baseURI to setpublic org.semanticweb.owlapi.model.OWLClassExpression getDomainImpl(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
public org.semanticweb.owlapi.model.OWLClassExpression getDomainImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
public org.semanticweb.owlapi.model.OWLClassExpression getRangeImpl(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
public org.semanticweb.owlapi.model.OWLDataRange getRangeImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
public Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLIndividual>> getPropertyMembersImpl(org.semanticweb.owlapi.model.OWLObjectProperty atomicRole)
public final SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getTrueDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
public final SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getFalseDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
public Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Integer>> getIntDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
public Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<Double>> getDoubleDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
public Map<org.semanticweb.owlapi.model.OWLIndividual,SortedSet<org.semanticweb.owlapi.model.OWLLiteral>> getDatatypeMembersImpl(org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
public Set<org.semanticweb.owlapi.model.OWLIndividual> getRelatedIndividualsImpl(org.semanticweb.owlapi.model.OWLIndividual individual, org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
public Set<org.semanticweb.owlapi.model.OWLLiteral> getRelatedValuesImpl(org.semanticweb.owlapi.model.OWLIndividual individual, org.semanticweb.owlapi.model.OWLDataProperty datatypeProperty)
public boolean isSatisfiableImpl()
public Set<org.semanticweb.owlapi.model.OWLLiteral> getLabelImpl(org.semanticweb.owlapi.model.OWLEntity entity)
public void releaseKB()
AbstractReasonerComponent
releaseKB
in class AbstractReasonerComponent
public boolean remainsSatisfiableImpl(org.semanticweb.owlapi.model.OWLAxiom axiom)
public OWLAPIReasoner getReasonerComponent()
@Autowired(required=false) public void setReasonerComponent(OWLAPIReasoner rc)
public boolean isDefaultNegation()
public void setDefaultNegation(boolean defaultNegation)
public ClosedWorldReasoner.ForallSemantics getForAllSemantics()
public void setForAllSemantics(ClosedWorldReasoner.ForallSemantics forAllSemantics)
public void setUseMaterializationCaching(boolean useMaterializationCaching)
useMaterializationCaching
- the useMaterializationCaching to setpublic void setHandlePunning(boolean handlePunning)
handlePunning
- the handlePunning to setpublic void setMaterializeExistentialRestrictions(boolean materializeExistentialRestrictions)
materializeExistentialRestrictions
- the
materializeExistentialRestrictions to setpublic org.semanticweb.owlapi.model.OWLDatatype getDatatype(org.semanticweb.owlapi.model.OWLDataProperty dp)
AbstractReasonerComponent
getDatatype
in class AbstractReasonerComponent
dp
- the data propertypublic void setSynchronized()
AbstractReasonerComponent
setSynchronized
in class AbstractReasonerComponent
DL-Learner is licenced under the terms of the GNU General Public License.
Copyright © 2007-2019 Jens Lehmann