org.dllearner.refinementoperators
Class Utility

java.lang.Object
  org.dllearner.refinementoperators.Utility

public final class Utility
extends Object

Utility methods for constructing refinement operators.

Author:

Jens Lehmann

Constructor Summary

Utility(AbstractReasonerComponent rs)

Utility(AbstractReasonerComponent rs, Map<ObjectProperty,Description> opDomains, boolean instanceBasedDisjoints)

Method Summary

SortedSet<ObjectProperty>	computeApplicableObjectProperties(Description index) Compute the set of applicable object properties for a given description.
SortedSet<ObjectProperty>	computeMgr(SortedSet<ObjectProperty> applicableObjectProperties) Given a set of applicable object properties, this method returns the most general ones, i.e. those where more general ones do not exist in the set of applicable properties.
Set<NamedClass>	getClassCandidates(Description index, Set<NamedClass> existingClasses)
boolean	isDisjoint(Description d1, Description d2)

Methods inherited from class java.lang.Object

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

Constructor Detail

Utility

public Utility(AbstractReasonerComponent rs)

Utility

public Utility(AbstractReasonerComponent rs,
               Map<ObjectProperty,Description> opDomains,
               boolean instanceBasedDisjoints)

Method Detail

computeApplicableObjectProperties

public SortedSet<ObjectProperty> computeApplicableObjectProperties(Description index)

Compute the set of applicable object properties for a given description.

Parameters:

index - The index is a description which determines which of the properties are applicable. Exactly those which where the index and property domain are not disjoint are applicable, where disjoint is defined by isDisjoint(Description, Description).

computeMgr

public SortedSet<ObjectProperty> computeMgr(SortedSet<ObjectProperty> applicableObjectProperties)

Given a set of applicable object properties, this method returns the most general ones, i.e. those where more general ones do not exist in the set of applicable properties. Due to the definition of "applicable", the returned set is just the intersection of the most general object properties and the applicable properties. (A non-applicable property cannot have applicable subproperties, because subproperties can only restrict, but not broaden their domain.)

Parameters:

applicableObjectProperties - The set of applicable properties.

Returns:

The most general applicable properties.

getClassCandidates

public Set<NamedClass> getClassCandidates(Description index,
                                          Set<NamedClass> existingClasses)

isDisjoint

public boolean isDisjoint(Description d1,
                          Description d2)