org.semanticweb.owl.util
Class OWLDescriptionComparator.OWLPropertyExpressionComparator

java.lang.Object
  org.semanticweb.owl.util.OWLDescriptionComparator.OWLPropertyExpressionComparator

All Implemented Interfaces:

java.util.Comparator<OWLPropertyExpression>, OWLPropertyExpressionVisitor

Enclosing class:

OWLDescriptionComparator

public static class OWLDescriptionComparator.OWLPropertyExpressionComparator
extends java.lang.Object
implements OWLPropertyExpressionVisitor

Compares two property expressions. Object property expression have a higher precedence than data properties.

Constructor Summary

OWLDescriptionComparator.OWLPropertyExpressionComparator(ShortFormProvider shortFormProvider)

Method Summary

int	compareObjects(OWLPropertyExpression o1, OWLPropertyExpression o2)
void	visit(OWLDataProperty property)
void	visit(OWLObjectProperty property)
void	visit(OWLObjectPropertyInverse property)

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Comparator

equals

Constructor Detail

OWLDescriptionComparator.OWLPropertyExpressionComparator

public OWLDescriptionComparator.OWLPropertyExpressionComparator(ShortFormProvider shortFormProvider)

Method Detail

compareObjects

public int compareObjects(OWLPropertyExpression o1,
                          OWLPropertyExpression o2)

visit

public void visit(OWLDataProperty property)

Specified by:

visit in interface OWLPropertyExpressionVisitor

visit

public void visit(OWLObjectProperty property)

Specified by:

visit in interface OWLPropertyExpressionVisitor

visit

public void visit(OWLObjectPropertyInverse property)

Specified by:

visit in interface OWLPropertyExpressionVisitor