org.dllearner.refinementoperators
Class ELDown2

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

All Implemented Interfaces:

RefinementOperator

public class ELDown2
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

ELDown2(AbstractReasonerComponent rs)

ELDown2(AbstractReasonerComponent rs, boolean instanceBasedDisjoints)

Method Summary

boolean	asCheck(ELDescriptionNode v)
Set<Description>	refine(Description concept) Standard refinement operation.
List<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

ELDown2

public ELDown2(AbstractReasonerComponent rs)

ELDown2

public ELDown2(AbstractReasonerComponent rs,
               boolean instanceBasedDisjoints)

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