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

Modifier and Type	Method	Description
boolean	compute(Expressivity expressivity)	Compute the expressivity from the KnowledgeBase and update it to the given Expressivity.
boolean	updateWith(Expressivity expressivity, openllet.aterm.ATermAppl term)	Update the given Expressivity by adding the new @{link openllet.aterm.ATermAppl}.

Methods inherited from class java.lang.Object

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

Constructor Detail

DLExpressivityChecker

public DLExpressivityChecker(KnowledgeBase kb)

Method Detail

compute

public boolean compute(Expressivity expressivity)

Description copied from class: ProfileBasedExpressivityChecker

Compute the expressivity from the KnowledgeBase and update it to the given Expressivity.

Specified by:

compute in class ProfileBasedExpressivityChecker

Returns:

true if the expressivity is within the profile defined by the implementation, false otherwise.

updateWith

public boolean updateWith(Expressivity expressivity,
                          openllet.aterm.ATermAppl term)

Description copied from class: ProfileBasedExpressivityChecker

Update the given Expressivity by adding the new @{link openllet.aterm.ATermAppl}.

Specified by:

updateWith in class ProfileBasedExpressivityChecker

Returns:

true if the new expressivity is within the profile defined by the implementation, false otherwise.