org.mindswap.pellet.taxonomy

Class SubsumptionComparator

java.lang.Object

org.mindswap.pellet.taxonomy.SubsumptionComparator

All Implemented Interfaces:

PartialOrderComparator<aterm.ATermAppl>

Direct Known Subclasses:

CachedSubsumptionComparator

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

Title: SubsumptionComparator

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Markus Stocker

Field Summary

Fields

Modifier and Type	Field and Description
protected KnowledgeBase	kb

Constructor Summary

Constructors

Constructor and Description
SubsumptionComparator(KnowledgeBase kb)

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Field Detail

kb

protected KnowledgeBase kb

Constructor Detail

SubsumptionComparator

public SubsumptionComparator(KnowledgeBase kb)

Method Detail

isSubsumedBy

protected boolean isSubsumedBy(aterm.ATermAppl a,
                   aterm.ATermAppl b)

compare

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

Specified by:

compare in interface PartialOrderComparator<aterm.ATermAppl>

setKB

public void setKB(KnowledgeBase kb)