Package openllet.core.taxonomy

Class SubsumptionComparator

java.lang.Object

openllet.core.taxonomy.SubsumptionComparator

All Implemented Interfaces:

PartialOrderComparator<openllet.aterm.ATermAppl>

public class SubsumptionComparator
extends java.lang.Object
implements PartialOrderComparator<openllet.aterm.ATermAppl>

Title: SubsumptionComparator

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Markus Stocker

Constructor Summary

Constructors

Constructor	Description
SubsumptionComparator(KnowledgeBase kb)

Method Summary

Modifier and Type	Method	Description
PartialOrderRelation	compare(openllet.aterm.ATermAppl a, openllet.aterm.ATermAppl b)
void	setKB(KnowledgeBase kb)

Methods inherited from class java.lang.Object

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

Constructor Detail

SubsumptionComparator

public SubsumptionComparator(KnowledgeBase kb)

Method Detail

compare

public PartialOrderRelation compare(openllet.aterm.ATermAppl a,
                                    openllet.aterm.ATermAppl b)

Specified by:

compare in interface PartialOrderComparator<openllet.aterm.ATermAppl>

setKB

public void setKB(KnowledgeBase kb)