org.dllearner.algorithms.properties

Class DisjointDataPropertyAxiomLearner

java.lang.Object

org.dllearner.core.AbstractComponent

org.dllearner.core.AbstractAxiomLearningAlgorithm<T,V,S>

org.dllearner.algorithms.properties.PropertyAxiomLearner<org.semanticweb.owlapi.model.OWLDataProperty,T,org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom>

org.dllearner.algorithms.properties.DataPropertyAxiomLearner<T>

org.dllearner.algorithms.properties.DataPropertyHierarchyAxiomLearner<org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom>

org.dllearner.algorithms.properties.DisjointDataPropertyAxiomLearner

All Implemented Interfaces:

AxiomLearningAlgorithm<org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom>, Component, LearningAlgorithm

public class DisjointDataPropertyAxiomLearner
extends DataPropertyHierarchyAxiomLearner<org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom>

Constructor Summary

Constructors

Constructor and Description
DisjointDataPropertyAxiomLearner(SparqlEndpointKS ks)

Method Summary

Modifier and Type	Method and Description
AxiomScore	computeScore(int candidatePopularity, int popularity, int overlap) Compute the score of the axiom:
org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom	getAxiom(org.semanticweb.owlapi.model.OWLDataProperty property, org.semanticweb.owlapi.model.OWLDataProperty otherProperty) Returns the hierarchy axiom based on the axiom type of the current learning algorithm between both properties.

Methods inherited from class org.dllearner.algorithms.properties.DataPropertyHierarchyAxiomLearner

getBeta, isBatchMode, isStrictMode, setBatchMode, setBeta, setEntityToDescribe, setStrictMode

Methods inherited from class org.dllearner.algorithms.properties.PropertyAxiomLearner

setPropertyToDescribe, setStrictOWLMode, setUsePrecisionOnly

Methods inherited from class org.dllearner.core.AbstractAxiomLearningAlgorithm

addFilterNamespace, explainScore, getAxiomType, getBestEvaluatedAxiom, getCurrentlyBestAxioms, getCurrentlyBestAxioms, getCurrentlyBestAxioms, getCurrentlyBestAxioms, getCurrentlyBestEvaluatedAxiom, getCurrentlyBestEvaluatedAxioms, getCurrentlyBestEvaluatedAxioms, getCurrentlyBestEvaluatedAxioms, getCurrentlyBestEvaluatedAxioms, getEntityToDescribe, getEvaluatedFramentSize, getLearningProblem, getMaxExecutionTimeInSeconds, getMaxFetchedRows, getNegativeExamples, getPositiveExamples, getReasoner, init, isReturnOnlyNewAxioms, isTimeout, isUseSampling, printSubset, setForceSPARQL_1_0_Mode, setKs, setLearningProblem, setMaxExecutionTimeInSeconds, setMaxFetchedRows, setProgressMonitor, setQueryExecutionFactory, setReasoner, setReturnOnlyNewAxioms, setUseSampling, start, wasTimeout

Methods inherited from class org.dllearner.core.AbstractComponent

isInitialized

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DisjointDataPropertyAxiomLearner

public DisjointDataPropertyAxiomLearner(SparqlEndpointKS ks)

Method Detail

getAxiom

public org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom getAxiom(org.semanticweb.owlapi.model.OWLDataProperty property,
                                                                            org.semanticweb.owlapi.model.OWLDataProperty otherProperty)

Description copied from class: DataPropertyHierarchyAxiomLearner

Returns the hierarchy axiom based on the axiom type of the current learning algorithm between both properties. The relationship between both properties can be (1) subsumption, (2) equivalence or (3) disjointness.

Specified by:

getAxiom in class DataPropertyHierarchyAxiomLearner<org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom>

Parameters:

property - the first property

otherProperty - the second property

Returns:

the hierarchy axiom

computeScore

public AxiomScore computeScore(int candidatePopularity,
                               int popularity,
                               int overlap)

Description copied from class: PropertyAxiomLearner

Compute the score of the axiom:

Parameters:

candidatePopularity - |A|

popularity - |B|

overlap - |A AND B|

Returns: