com.clarkparsia.pellet.expressivity

Class DLExpressivityChecker

java.lang.Object

com.clarkparsia.pellet.expressivity.ProfileBasedExpressivityChecker

com.clarkparsia.pellet.expressivity.DLExpressivityChecker

public class DLExpressivityChecker
extends ProfileBasedExpressivityChecker

Title:

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Harris Lin, Evren Sirin

Field Summary

Fields inherited from class com.clarkparsia.pellet.expressivity.ProfileBasedExpressivityChecker

m_KB

Constructor Summary

Constructors

Constructor and Description
DLExpressivityChecker(KnowledgeBase kb)

Method Summary

Methods

Modifier and Type	Method and Description
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

clone, equals, finalize, 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,
                 aterm.ATermAppl term)

Description copied from class: ProfileBasedExpressivityChecker

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

Specified by:

updateWith in class ProfileBasedExpressivityChecker

Returns:

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