org.dllearner.utilities.owl
Class RoleComparator

java.lang.Object
  org.dllearner.utilities.owl.RoleComparator

All Implemented Interfaces:

Comparator<PropertyExpression>

public class RoleComparator
extends Object
implements Comparator<PropertyExpression>

Compares two property expressions. The order is: datatype properties first, then inverse object properties, then object properties. For equal types, the URI or toString (inverses) is used to fix an order.

Author:

Jens Lehmann

Constructor Summary

RoleComparator()

Method Summary

int	compare(PropertyExpression r1, PropertyExpression r2)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Comparator

equals

Constructor Detail

RoleComparator

public RoleComparator()

Method Detail

compare

public int compare(PropertyExpression r1,
                   PropertyExpression r2)

Specified by:

compare in interface Comparator<PropertyExpression>