Package openllet.core.expressivity
Class DLExpressivityChecker
- java.lang.Object
-
- openllet.core.expressivity.ProfileBasedExpressivityChecker
-
- openllet.core.expressivity.DLExpressivityChecker
-
public class DLExpressivityChecker extends ProfileBasedExpressivityChecker
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
- Author:
- Harris Lin, Evren Sirin
-
-
Constructor Summary
Constructors Constructor Description DLExpressivityChecker(KnowledgeBase kb)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleancompute(Expressivity expressivity)Compute the expressivity from theKnowledgeBaseand update it to the givenExpressivity.booleanupdateWith(Expressivity expressivity, openllet.aterm.ATermAppl term)Update the givenExpressivityby adding the new @{link openllet.aterm.ATermAppl}.
-
-
-
Constructor Detail
-
DLExpressivityChecker
public DLExpressivityChecker(KnowledgeBase kb)
-
-
Method Detail
-
compute
public boolean compute(Expressivity expressivity)
Description copied from class:ProfileBasedExpressivityCheckerCompute the expressivity from theKnowledgeBaseand update it to the givenExpressivity.- Specified by:
computein classProfileBasedExpressivityChecker- Returns:
trueif the expressivity is within the profile defined by the implementation,falseotherwise.
-
updateWith
public boolean updateWith(Expressivity expressivity, openllet.aterm.ATermAppl term)
Description copied from class:ProfileBasedExpressivityCheckerUpdate the givenExpressivityby adding the new @{link openllet.aterm.ATermAppl}.- Specified by:
updateWithin classProfileBasedExpressivityChecker- Returns:
trueif the new expressivity is within the profile defined by the implementation,falseotherwise.
-
-