org.dllearner.refinementoperators

Class RhoDRDown

java.lang.Object

org.dllearner.core.AbstractComponent

org.dllearner.refinementoperators.AbstractRefinementOperator

org.dllearner.refinementoperators.RefinementOperatorAdapter

org.dllearner.refinementoperators.RhoDRDown

All Implemented Interfaces:

Component, CustomHierarchyRefinementOperator, CustomStartRefinementOperator, LengthLimitedRefinementOperator, ReasoningBasedRefinementOperator, RefinementOperator

public class RhoDRDown
extends RefinementOperatorAdapter
implements Component, CustomHierarchyRefinementOperator, CustomStartRefinementOperator, ReasoningBasedRefinementOperator

A downward refinement operator, which makes use of domains and ranges of properties. The operator is currently under development. Its aim is to span a much "cleaner" and smaller search tree compared to RhoDown by omitting many class descriptions, which are obviously too weak, because they violate domain/range restrictions. Furthermore, it makes use of disjoint classes in the knowledge base. Note: Some of the code has moved to Utility in a modified form to make it accessible for implementations of other refinement operators. These utility methods may be completed and carefully integrated back later.

Author:

Jens Lehmann

Field Summary

Fields

Modifier and Type	Field and Description
long	mComputationTimeNs
long	topComputationTimeNs

Constructor Summary

Constructors

Constructor and Description
RhoDRDown()
RhoDRDown(RhoDRDown op) Copy constructor

Method Summary

Modifier and Type	Method and Description
static boolean	checkIntersection(org.semanticweb.owlapi.model.OWLObjectIntersectionOf intersection)
int	getCardinalityLimit()
SortedSet<org.semanticweb.owlapi.model.OWLClassExpression>	getClassCandidates(org.semanticweb.owlapi.model.OWLClassExpression index)
DatatypePropertyHierarchy	getDataPropertyHierarchy()
int	getFrequencyThreshold()
OWLClassExpressionLengthMetric	getLengthMetric()
int	getMaxNrOfSplits()
SortedSet<org.semanticweb.owlapi.model.OWLClassExpression>	getNegClassCandidates(org.semanticweb.owlapi.model.OWLClassExpression index)
ObjectPropertyHierarchy	getObjectPropertyHierarchy()
AbstractReasonerComponent	getReasoner()
org.semanticweb.owlapi.model.OWLClassExpression	getStartClass()
ClassHierarchy	getSubHierarchy()
void	init() Method to be called after the component has been configured.
boolean	isApplyAllFilter()
boolean	isApplyExistsFilter()
boolean	isDisjointChecks()
boolean	isInstanceBasedDisjoints()
boolean	isUseAllConstructor()
boolean	isUseBooleanDatatypes()
boolean	isUseCardinalityRestrictions()
boolean	isUseDataHasValueConstructor()
boolean	isUseExistsConstructor()
boolean	isUseHasSelf()
boolean	isUseHasValueConstructor()
boolean	isUseNegation()
boolean	isUseNumericDatatypes()
boolean	isUseStringDatatypes()
Set<org.semanticweb.owlapi.model.OWLClassExpression>	refine(org.semanticweb.owlapi.model.OWLClassExpression concept) Standard refinement operation.
Set<org.semanticweb.owlapi.model.OWLClassExpression>	refine(org.semanticweb.owlapi.model.OWLClassExpression description, int maxLength) Optional refinement operation, where the learning algorithm can specify an additional bound on the length of descriptions.
Set<org.semanticweb.owlapi.model.OWLClassExpression>	refine(org.semanticweb.owlapi.model.OWLClassExpression description, int maxLength, List<org.semanticweb.owlapi.model.OWLClassExpression> knownRefinements) Optional refinement operation, where the learning algorithm can specify an additional bound on the length of descriptions and a list of known refinements, which do not need to be returned.
Set<org.semanticweb.owlapi.model.OWLClassExpression>	refine(org.semanticweb.owlapi.model.OWLClassExpression description, int maxLength, List<org.semanticweb.owlapi.model.OWLClassExpression> knownRefinements, org.semanticweb.owlapi.model.OWLClassExpression currDomain)
void	setApplyAllFilter(boolean applyAllFilter)
void	setApplyExistsFilter(boolean applyExistsFilter)
void	setCardinalityLimit(int cardinalityLimit)
void	setClassHierarchy(ClassHierarchy classHierarchy)
void	setDataPropertyHierarchy(DatatypePropertyHierarchy dataPropertyHierarchy)
void	setDisjointChecks(boolean disjointChecks)
void	setDropDisjuncts(boolean dropDisjuncts) By default, the operator does not specialize e.g.
void	setFrequencyThreshold(int frequencyThreshold)
void	setInstanceBasedDisjoints(boolean instanceBasedDisjoints)
void	setLengthMetric(OWLClassExpressionLengthMetric lengthMetric)
void	setMaxNrOfSplits(int maxNrOfSplits)
void	setNumericValuesSplitter(ValuesSplitter numericValuesSplitter) Set the splitter used to precompute possible splits for data properties with numeric ranges.
void	setObjectPropertyHierarchy(ObjectPropertyHierarchy objectPropertyHierarchy)
void	setReasoner(AbstractReasonerComponent reasoner)
void	setReasoner(Reasoner reasoner)
void	setStartClass(org.semanticweb.owlapi.model.OWLClassExpression startClass)
void	setSubHierarchy(ClassHierarchy subHierarchy)
void	setUseAllConstructor(boolean useAllConstructor)
void	setUseBooleanDatatypes(boolean useBooleanDatatypes)
void	setUseCardinalityRestrictions(boolean useCardinalityRestrictions)
void	setUseDataHasValueConstructor(boolean useDataHasValueConstructor)
void	setUseExistsConstructor(boolean useExistsConstructor)
void	setUseHasSelf(boolean useHasSelf)
void	setUseHasValueConstructor(boolean useHasValueConstructor)
void	setUseInverse(boolean useInverse)
void	setUseNegation(boolean useNegation)
void	setUseNumericDatatypes(boolean useNumericDatatypes)
void	setUseObjectValueNegation(boolean useObjectValueNegation)
void	setUseSomeOnly(boolean useSomeOnly)
void	setUseStringDatatypes(boolean useStringDatatypes)
void	setUseTimeDatatypes(boolean useTimeDatatypes)

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

Field Detail

mComputationTimeNs

public long mComputationTimeNs

topComputationTimeNs

public long topComputationTimeNs

Constructor Detail

RhoDRDown

public RhoDRDown()

RhoDRDown

public RhoDRDown(RhoDRDown op)

Copy constructor

Method Detail

init

public void init()
          throws ComponentInitException

Description copied from interface: Component

Method to be called after the component has been configured. Implementation of components can overwrite this method to perform setup and initialisation tasks for this component.

Specified by:

init in interface Component

Throws:

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).

refine

public Set<org.semanticweb.owlapi.model.OWLClassExpression> refine(org.semanticweb.owlapi.model.OWLClassExpression concept)

Description copied from interface: RefinementOperator

Standard refinement operation.

Specified by:

refine in interface RefinementOperator

Specified by:

refine in class RefinementOperatorAdapter

Parameters:

concept - The description, which will be refined.

Returns:

A set of refinements.

refine

public Set<org.semanticweb.owlapi.model.OWLClassExpression> refine(org.semanticweb.owlapi.model.OWLClassExpression description,
                                                                   int maxLength)

Description copied from interface: LengthLimitedRefinementOperator

Optional refinement operation, where the learning algorithm can specify an additional bound on the length of descriptions.

Specified by:

refine in interface LengthLimitedRefinementOperator

Overrides:

refine in class RefinementOperatorAdapter

Parameters:

description - The description, which will be refined.

maxLength - The maximum length of returned description, where length is defined by OWLClassExpressionUtils.getLength(OWLClassExpression) }.

Returns:

A set of refinements obeying the above restrictions.

refine

public Set<org.semanticweb.owlapi.model.OWLClassExpression> refine(org.semanticweb.owlapi.model.OWLClassExpression description,
                                                                   int maxLength,
                                                                   List<org.semanticweb.owlapi.model.OWLClassExpression> knownRefinements)

Description copied from interface: LengthLimitedRefinementOperator

Optional refinement operation, where the learning algorithm can specify an additional bound on the length of descriptions and a list of known refinements, which do not need to be returned.

Specified by:

refine in interface LengthLimitedRefinementOperator

Overrides:

refine in class RefinementOperatorAdapter

Parameters:

description - The description, which will be refined.

maxLength - The maximum length of returned description, where length is defined by OWLClassExpressionUtils.getLength(OWLClassExpression).

knownRefinements - A collection of known refinements, which do not need to be returned.

Returns:

A set of refinements obeying the above restrictions.

refine

public Set<org.semanticweb.owlapi.model.OWLClassExpression> refine(org.semanticweb.owlapi.model.OWLClassExpression description,
                                                                   int maxLength,
                                                                   List<org.semanticweb.owlapi.model.OWLClassExpression> knownRefinements,
                                                                   org.semanticweb.owlapi.model.OWLClassExpression currDomain)

checkIntersection

public static boolean checkIntersection(org.semanticweb.owlapi.model.OWLObjectIntersectionOf intersection)

setDropDisjuncts

public void setDropDisjuncts(boolean dropDisjuncts)

By default, the operator does not specialize e.g. (A or B) to A, because it only guarantees weak completeness. Under certain circumstances, e.g. refinement of a fixed given concept, it can be useful to allow such refinements, which can be done by passing the parameter true to this method.

Parameters:

dropDisjuncts - Whether to remove disjuncts in refinement process.

getClassCandidates

public SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> getClassCandidates(org.semanticweb.owlapi.model.OWLClassExpression index)

getNegClassCandidates

public SortedSet<org.semanticweb.owlapi.model.OWLClassExpression> getNegClassCandidates(org.semanticweb.owlapi.model.OWLClassExpression index)

getFrequencyThreshold

public int getFrequencyThreshold()

setFrequencyThreshold

public void setFrequencyThreshold(int frequencyThreshold)

isUseDataHasValueConstructor

public boolean isUseDataHasValueConstructor()

setUseDataHasValueConstructor

public void setUseDataHasValueConstructor(boolean useDataHasValueConstructor)

isApplyAllFilter

public boolean isApplyAllFilter()

setApplyAllFilter

public void setApplyAllFilter(boolean applyAllFilter)

isApplyExistsFilter

public boolean isApplyExistsFilter()

setApplyExistsFilter

public void setApplyExistsFilter(boolean applyExistsFilter)

isUseAllConstructor

public boolean isUseAllConstructor()

setUseAllConstructor

public void setUseAllConstructor(boolean useAllConstructor)

isUseExistsConstructor

public boolean isUseExistsConstructor()

setUseExistsConstructor

public void setUseExistsConstructor(boolean useExistsConstructor)

isUseHasValueConstructor

public boolean isUseHasValueConstructor()

setUseHasValueConstructor

public void setUseHasValueConstructor(boolean useHasValueConstructor)

isUseCardinalityRestrictions

public boolean isUseCardinalityRestrictions()

setUseCardinalityRestrictions

public void setUseCardinalityRestrictions(boolean useCardinalityRestrictions)

isUseHasSelf

public boolean isUseHasSelf()

setUseHasSelf

public void setUseHasSelf(boolean useHasSelf)

isUseNegation

public boolean isUseNegation()

setUseNegation

public void setUseNegation(boolean useNegation)

isUseBooleanDatatypes

public boolean isUseBooleanDatatypes()

setUseBooleanDatatypes

public void setUseBooleanDatatypes(boolean useBooleanDatatypes)

isUseStringDatatypes

public boolean isUseStringDatatypes()

setUseStringDatatypes

public void setUseStringDatatypes(boolean useStringDatatypes)

isInstanceBasedDisjoints

public boolean isInstanceBasedDisjoints()

setInstanceBasedDisjoints

public void setInstanceBasedDisjoints(boolean instanceBasedDisjoints)

getReasoner

public AbstractReasonerComponent getReasoner()

setReasoner

@Autowired
public void setReasoner(AbstractReasonerComponent reasoner)

getSubHierarchy

public ClassHierarchy getSubHierarchy()

setSubHierarchy

public void setSubHierarchy(ClassHierarchy subHierarchy)

getStartClass

public org.semanticweb.owlapi.model.OWLClassExpression getStartClass()

setStartClass

public void setStartClass(org.semanticweb.owlapi.model.OWLClassExpression startClass)

Specified by:

setStartClass in interface CustomStartRefinementOperator

getCardinalityLimit

public int getCardinalityLimit()

setCardinalityLimit

public void setCardinalityLimit(int cardinalityLimit)

getObjectPropertyHierarchy

public ObjectPropertyHierarchy getObjectPropertyHierarchy()

setObjectPropertyHierarchy

public void setObjectPropertyHierarchy(ObjectPropertyHierarchy objectPropertyHierarchy)

Specified by:

setObjectPropertyHierarchy in interface CustomHierarchyRefinementOperator

getDataPropertyHierarchy

public DatatypePropertyHierarchy getDataPropertyHierarchy()

setDataPropertyHierarchy

public void setDataPropertyHierarchy(DatatypePropertyHierarchy dataPropertyHierarchy)

Specified by:

setDataPropertyHierarchy in interface CustomHierarchyRefinementOperator

setReasoner

public void setReasoner(Reasoner reasoner)

Specified by:

setReasoner in interface ReasoningBasedRefinementOperator

setClassHierarchy

public void setClassHierarchy(ClassHierarchy classHierarchy)

Specified by:

setClassHierarchy in interface CustomHierarchyRefinementOperator

setUseObjectValueNegation

public void setUseObjectValueNegation(boolean useObjectValueNegation)

Parameters:

useObjectValueNegation - the useObjectValueNegation to set

isUseNumericDatatypes

public boolean isUseNumericDatatypes()

setUseNumericDatatypes

public void setUseNumericDatatypes(boolean useNumericDatatypes)

setUseInverse

public void setUseInverse(boolean useInverse)

Parameters:

useInverse - whether to use inverse properties in property restrictions

setUseSomeOnly

public void setUseSomeOnly(boolean useSomeOnly)

Parameters:

useSomeOnly - whether to allow universal restrictions on a property r only if there exists already a existential restriction on the same property in an intersection

setUseTimeDatatypes

public void setUseTimeDatatypes(boolean useTimeDatatypes)

Parameters:

useTimeDatatypes - whether to use data/time literal restrictions

getMaxNrOfSplits

public int getMaxNrOfSplits()

setMaxNrOfSplits

public void setMaxNrOfSplits(int maxNrOfSplits)

isDisjointChecks

public boolean isDisjointChecks()

setDisjointChecks

public void setDisjointChecks(boolean disjointChecks)

getLengthMetric

public OWLClassExpressionLengthMetric getLengthMetric()

Specified by:

getLengthMetric in interface LengthLimitedRefinementOperator

Overrides:

getLengthMetric in class RefinementOperatorAdapter

setLengthMetric

public void setLengthMetric(OWLClassExpressionLengthMetric lengthMetric)

Specified by:

setLengthMetric in interface LengthLimitedRefinementOperator

Overrides:

setLengthMetric in class RefinementOperatorAdapter

setNumericValuesSplitter

public void setNumericValuesSplitter(ValuesSplitter numericValuesSplitter)

Set the splitter used to precompute possible splits for data properties with numeric ranges. Those splits will then be used to create facet restrictions during refinement.

Parameters:

numericValuesSplitter -