com.clarkparsia.pellet.expressivity

Class ProfileBasedExpressivityChecker

java.lang.Object

com.clarkparsia.pellet.expressivity.ProfileBasedExpressivityChecker

Direct Known Subclasses:

DLExpressivityChecker, ELExpressivityChecker

public abstract class ProfileBasedExpressivityChecker
extends Object

Title:

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Harris Lin

Field Summary

Fields

Modifier and Type	Field and Description
protected KnowledgeBase	m_KB

Constructor Summary

Constructors

Constructor and Description
ProfileBasedExpressivityChecker(KnowledgeBase kb)

Method Summary

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

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

Field Detail

m_KB

protected KnowledgeBase m_KB

Constructor Detail

ProfileBasedExpressivityChecker

public ProfileBasedExpressivityChecker(KnowledgeBase kb)

Method Detail

compute

public abstract boolean compute(Expressivity expressivity)

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

Returns:

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

updateWith

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

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

Returns:

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