com.clarkparsia.modularity

Class IncrementalReasoner.DisjointClassComparator

java.lang.Object

com.clarkparsia.modularity.IncrementalReasoner.DisjointClassComparator

All Implemented Interfaces:

org.mindswap.pellet.utils.PartialOrderComparator<org.semanticweb.owlapi.model.OWLClass>

Enclosing class:

IncrementalReasoner

public class IncrementalReasoner.DisjointClassComparator
extends Object
implements org.mindswap.pellet.utils.PartialOrderComparator<org.semanticweb.owlapi.model.OWLClass>

Constructor Summary

Constructors

Constructor and Description
DisjointClassComparator(org.mindswap.pellet.taxonomy.Taxonomy<org.semanticweb.owlapi.model.OWLClass> taxonomy, org.semanticweb.owlapi.model.OWLClassExpression originalClass)

Method Summary

Modifier and Type	Method and Description
org.mindswap.pellet.utils.PartialOrderRelation	compare(org.semanticweb.owlapi.model.OWLClass a, org.semanticweb.owlapi.model.OWLClass b)
org.semanticweb.owlapi.model.OWLClass	getComplementRepresentation()

Methods inherited from class java.lang.Object

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

Constructor Detail

DisjointClassComparator

public DisjointClassComparator(org.mindswap.pellet.taxonomy.Taxonomy<org.semanticweb.owlapi.model.OWLClass> taxonomy,
                               org.semanticweb.owlapi.model.OWLClassExpression originalClass)

Method Detail

getComplementRepresentation

public org.semanticweb.owlapi.model.OWLClass getComplementRepresentation()

compare

public org.mindswap.pellet.utils.PartialOrderRelation compare(org.semanticweb.owlapi.model.OWLClass a,
                                                              org.semanticweb.owlapi.model.OWLClass b)

Specified by:

compare in interface org.mindswap.pellet.utils.PartialOrderComparator<org.semanticweb.owlapi.model.OWLClass>