com.clarkparsia.pellet.el

Class CachedSubsumptionComparator

java.lang.Object

org.mindswap.pellet.taxonomy.SubsumptionComparator

com.clarkparsia.pellet.el.CachedSubsumptionComparator

All Implemented Interfaces:

PartialOrderComparator<aterm.ATermAppl>

public class CachedSubsumptionComparator
extends SubsumptionComparator

Title:

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

Fields inherited from class org.mindswap.pellet.taxonomy.SubsumptionComparator

kb

Constructor Summary

Constructors

Constructor and Description
CachedSubsumptionComparator(MultiValueMap<aterm.ATermAppl,aterm.ATermAppl> subsumers)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isSubsumedBy(aterm.ATermAppl a, aterm.ATermAppl b)

Methods inherited from class org.mindswap.pellet.taxonomy.SubsumptionComparator

compare, setKB

Methods inherited from class java.lang.Object

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

Constructor Detail

CachedSubsumptionComparator

public CachedSubsumptionComparator(MultiValueMap<aterm.ATermAppl,aterm.ATermAppl> subsumers)

Method Detail

isSubsumedBy

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

Overrides:

isSubsumedBy in class SubsumptionComparator