org.semanticweb.owl.util
Class OWLDescriptionComparator

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

All Implemented Interfaces:

java.util.Comparator<OWLDescription>

public class OWLDescriptionComparator
extends java.lang.Object
implements java.util.Comparator<OWLDescription>

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 15-Jun-2007

It's sometimes useful (for pretty printing etc.) to be able to order class descriptions. This comparator provides an implementation that can be used to order class descriptions.

Nested Class Summary

static class	OWLDescriptionComparator.CoarseGrainedDescriptionComparator Compares two descriptions using the coarse grained categories of OWLClass, OWLObjectRestriction, OWLDataRestriction, OWLBooleanDescription, OWLObjectOneOf
static class	OWLDescriptionComparator.OWLPropertyExpressionComparator Compares two property expressions.

Constructor Summary

OWLDescriptionComparator(ShortFormProvider shortFormProvider)

Method Summary

int	compare(OWLDescription o1, OWLDescription o2)

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

OWLDescriptionComparator

public OWLDescriptionComparator(ShortFormProvider shortFormProvider)

Method Detail

compare

public int compare(OWLDescription o1,
                   OWLDescription o2)

Specified by:

compare in interface java.util.Comparator<OWLDescription>