com.clarkparsia.pellet.expressivity
Class ProfileBasedExpressivityChecker

java.lang.Object
  extended by com.clarkparsia.pellet.expressivity.ProfileBasedExpressivityChecker
Direct Known Subclasses:
DLExpressivityChecker, ELExpressivityChecker

public abstract class ProfileBasedExpressivityChecker
extends java.lang.Object

Title:

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:
Harris Lin

Constructor Summary
ProfileBasedExpressivityChecker(KnowledgeBase kb)
           
 
Method Summary
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
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

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.


Copyright © 2004 Evren Sirin. All Rights Reserved.