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>

Field Summary

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

beta, GIVEN_PROPERTY_OVERLAP_QUERY, PROPERTY_OVERLAP_QUERY, PROPERTY_OVERLAP_WITH_RANGE_QUERY, strictMode

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

COUNT_QUERY, DISTINCT_OBJECTS_COUNT_QUERY, DISTINCT_SUBJECTS_COUNT_QUERY, GET_SAMPLE_QUERY, strictOWLMode, TRIPLES_COUNT_QUERY

Fields inherited from class org.dllearner.core.AbstractAxiomLearningAlgorithm

allowedNamespaces, axiomType, chunkCount, chunkSize, currentlyBestAxioms, df, entityToDescribe, existingAxioms, existingAxiomsTemplate, forceSPARQL_1_0_Mode, format, fullDataLoaded, iterativeQueryTemplate, ks, lastRowCount, learningProblem, logger, maxExecutionTimeInSeconds, maxFetchedRows, negExamplesQueryTemplate, offset, popularity, posExamplesQueryTemplate, progressMonitor, qef, reasoner, returnOnlyNewAxioms, sample, startTime, timeout, useSampling

Fields inherited from class org.dllearner.core.AbstractComponent

initialized

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)
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.
protected void	getExistingAxioms() Compute the defined axioms in the knowledge base.

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

getCandidates, getNegativeExamples, getPositiveExamples, getSampleQuery, run, runBatched, setBeta, setEntityToDescribe, setStrictMode

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

getCountValue, getCountValue, getDistinctObjectsFrequency, getDistinctSubjectsFrequency, getPropertyPopularity, getPropertyPopularity, learnAxioms, setStrictOWLMode

Methods inherited from class org.dllearner.core.AbstractAxiomLearningAlgorithm

addFilterNamespace, addToMap, addToMap, computeScore, computeScore, convertLiteral, executeAskQuery, executeConstructQuery, executeSelectQuery, executeSelectQuery, explainScore, getAllClasses, getAxiomType, getBestEvaluatedAxiom, getCurrentlyBestAxioms, getCurrentlyBestAxioms, getCurrentlyBestAxioms, getCurrentlyBestAxioms, getCurrentlyBestEvaluatedAxiom, getCurrentlyBestEvaluatedAxioms, getCurrentlyBestEvaluatedAxioms, getCurrentlyBestEvaluatedAxioms, getCurrentlyBestEvaluatedAxioms, getEntityToDescribe, getEvaluatedFramentSize, getLearningProblem, getMaxExecutionTimeInSeconds, getMaxFetchedRows, getReasoner, getRemainingRuntimeInMilliSeconds, init, isReturnOnlyNewAxioms, isTimeout, isUseSampling, printSubset, setForceSPARQL_1_0_Mode, setKs, setLearningProblem, setMaxExecutionTimeInSeconds, setMaxFetchedRows, setProgressMonitor, setQueryExecutionFactory, setReasoner, setReturnOnlyNewAxioms, setUseSampling, sortByValues, sortByValues, start, terminationCriteriaSatisfied, wasTimeout

Methods inherited from class org.dllearner.core.AbstractComponent

isInitialized

Methods inherited from class java.lang.Object

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

Constructor Detail

DisjointDataPropertyAxiomLearner

public DisjointDataPropertyAxiomLearner(SparqlEndpointKS ks)

Method Detail

getExistingAxioms

protected void getExistingAxioms()

Description copied from class: AbstractAxiomLearningAlgorithm

Compute the defined axioms in the knowledge base.

Specified by:

getExistingAxioms in class AbstractAxiomLearningAlgorithm<org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom,org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom,org.semanticweb.owlapi.model.OWLDataProperty>

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)

Overrides:

computeScore in class PropertyAxiomLearner<org.semanticweb.owlapi.model.OWLDataProperty,org.semanticweb.owlapi.model.OWLDisjointDataPropertiesAxiom,org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom>