org.dllearner.algorithms.el

Class ELDescriptionNodeComparator

java.lang.Object

org.dllearner.algorithms.el.ELDescriptionNodeComparator

All Implemented Interfaces:

Comparator<ELDescriptionNode>

public class ELDescriptionNodeComparator
extends Object
implements Comparator<ELDescriptionNode>

Compares two EL OWLClassExpression trees. It is a lexicographic order according to the following criteria: - number of children - size of label - string comparison for each class in the label - recursive call on each child (first compare edge label, then child node)

Author:

Jens Lehmann

Constructor Summary

Constructors

Constructor and Description
ELDescriptionNodeComparator()

Method Summary

Modifier and Type	Method and Description
int	compare(ELDescriptionNode node1, ELDescriptionNode node2)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Comparator

comparing, comparing, comparingDouble, comparingInt, comparingLong, equals, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Constructor Detail

ELDescriptionNodeComparator

public ELDescriptionNodeComparator()

Method Detail

compare

public int compare(ELDescriptionNode node1,
                   ELDescriptionNode node2)

Specified by:

compare in interface Comparator<ELDescriptionNode>