|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectcom.clarkparsia.pellet.expressivity.ProfileBasedExpressivityChecker
com.clarkparsia.pellet.expressivity.DLExpressivityChecker
public class DLExpressivityChecker
Title:
Description:
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
| Constructor Summary | |
|---|---|
DLExpressivityChecker(KnowledgeBase kb)
|
|
| Method Summary | |
|---|---|
boolean |
compute(Expressivity expressivity)
Compute the expressivity from the KnowledgeBase
and update it to the given Expressivity. |
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 DLExpressivityChecker(KnowledgeBase kb)
| Method Detail |
|---|
public boolean compute(Expressivity expressivity)
ProfileBasedExpressivityCheckerKnowledgeBase
and update it to the given Expressivity.
compute in class ProfileBasedExpressivityCheckertrue if the expressivity is within the profile defined by the implementation,
false otherwise.
public boolean updateWith(Expressivity expressivity,
aterm.ATermAppl term)
ProfileBasedExpressivityCheckerExpressivity by adding
the new @{link aterm.ATermAppl}.
updateWith in class ProfileBasedExpressivityCheckertrue 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 | |||||||||