public class SubsumptionComparator extends Object implements PartialOrderComparator<aterm.ATermAppl>
Title: SubsumptionComparator
Description:
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
| Modifier and Type | Field and Description |
|---|---|
protected KnowledgeBase |
kb |
| Constructor and Description |
|---|
SubsumptionComparator(KnowledgeBase kb) |
| 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) |
protected KnowledgeBase kb
public SubsumptionComparator(KnowledgeBase kb)
protected boolean isSubsumedBy(aterm.ATermAppl a,
aterm.ATermAppl b)
public PartialOrderRelation compare(aterm.ATermAppl a, aterm.ATermAppl b)
compare in interface PartialOrderComparator<aterm.ATermAppl>public void setKB(KnowledgeBase kb)
Copyright © 2019. All rights reserved.