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(ReasonerComponent rs)

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