org.dllearner.refinementoperators
Class ELDown

java.lang.Object
  org.dllearner.refinementoperators.RefinementOperatorAdapter
      org.dllearner.refinementoperators.ELDown

All Implemented Interfaces:

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:

• complete? (still open)
• proper
• finite
• uses class/property hierarchy
• takes domain/range into account
• uses disjoint classes/classes without common instances

Author:

Jens Lehmann

Constructor Summary

ELDown(AbstractReasonerComponent rs)

Method Summary

Set<Description>	refine(Description concept) Standard refinement operation.
Set<ELDescriptionTree>	refine(ELDescriptionTree tree) Performs downward refinement for the given tree.

Methods inherited from class org.dllearner.refinementoperators.RefinementOperatorAdapter

refine, refine

Methods inherited from class java.lang.Object

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

Constructor Detail

ELDown

public ELDown(AbstractReasonerComponent rs)

Method Detail

refine

public Set<Description> refine(Description 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<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.