|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcom.clarkparsia.pellet.expressivity.ProfileBasedExpressivityChecker
public abstract class ProfileBasedExpressivityChecker
Title:
Description:
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
| Constructor Summary | |
|---|---|
ProfileBasedExpressivityChecker(KnowledgeBase kb)
|
|
| Method Summary | |
|---|---|
abstract boolean |
compute(Expressivity expressivity)
Compute the expressivity from the KnowledgeBase
and update it to the given Expressivity. |
abstract boolean |
updateWith(Expressivity expressivity,
aterm.ATermAppl term)
Update the given Expressivity by adding
the new @{link aterm.ATermAppl}. |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public ProfileBasedExpressivityChecker(KnowledgeBase kb)
| Method Detail |
|---|
public abstract boolean compute(Expressivity expressivity)
KnowledgeBase
and update it to the given Expressivity.
true if the expressivity is within the profile defined by the implementation,
false otherwise.
public abstract boolean updateWith(Expressivity expressivity,
aterm.ATermAppl term)
Expressivity by adding
the new @{link aterm.ATermAppl}.
true if the new expressivity is within the profile defined by the implementation,
false otherwise.
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||