org.dllearner.refinementoperators

Class ELDown

java.lang.Object

org.dllearner.core.AbstractComponent

org.dllearner.refinementoperators.AbstractRefinementOperator

org.dllearner.refinementoperators.RefinementOperatorAdapter

org.dllearner.refinementoperators.ELDown

All Implemented Interfaces:

Component, LengthLimitedRefinementOperator, RefinementOperator

public class ELDown
extends RefinementOperatorAdapter

EL downward refinement operator constructed by Jens Lehmann and Christoph Haase. It takes an EL description tree as input and outputs a set of EL description trees.

Properties:

• weakly complete (can be extended to guarantee completeness if desired)
• proper
• finite
• uses class/property hierarchy
• takes domain/range into account
• uses disjoint classes/classes without common instances
• all refinements are minimal (i.e. cannot be shortened without changing semantics)

Author:

Jens Lehmann

Constructor Summary

Constructors

Constructor and Description
ELDown(AbstractReasonerComponent rs)
ELDown(AbstractReasonerComponent rs, boolean instanceBasedDisjoints)
ELDown(AbstractReasonerComponent rs, boolean instanceBasedDisjoints, ClassHierarchy classHierarchy, ObjectPropertyHierarchy opHierarchy, DatatypePropertyHierarchy dpHierarchy)

Method Summary

Modifier and Type	Method and Description
boolean	asCheck(ELDescriptionNode v)
void	init() Method to be called after the component has been configured.
List<ELDescriptionTree>	refine(ELDescriptionTree tree) Performs downward refinement for the given tree.
Set<org.semanticweb.owlapi.model.OWLClassExpression>	refine(org.semanticweb.owlapi.model.OWLClassExpression concept) Standard refinement operation.
void	setMaxClassExpressionDepth(int maxClassExpressionDepth)

Methods inherited from class org.dllearner.refinementoperators.RefinementOperatorAdapter

getLengthMetric, refine, refine, setLengthMetric

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

ELDown

public ELDown(AbstractReasonerComponent rs)

ELDown

public ELDown(AbstractReasonerComponent rs,
              boolean instanceBasedDisjoints)

ELDown

public ELDown(AbstractReasonerComponent rs,
              boolean instanceBasedDisjoints,
              ClassHierarchy classHierarchy,
              ObjectPropertyHierarchy opHierarchy,
              DatatypePropertyHierarchy dpHierarchy)

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.

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 List<ELDescriptionTree> refine(ELDescriptionTree tree)

Performs downward refinement for the given tree. The operator works directly on EL description trees (which differ from the the tree structures build by descriptions).

Parameters:

tree - Input EL description tree.

Returns:

Set of refined EL description trees.

asCheck

public boolean asCheck(ELDescriptionNode v)

setMaxClassExpressionDepth

public void setMaxClassExpressionDepth(int maxClassExpressionDepth)

Parameters:

maxClassExpressionDepth - the max. depth of generated class expressions