com.clarkparsia.pellet.el
Class ELExpressivityChecker

java.lang.Object
  extended by com.clarkparsia.pellet.expressivity.ProfileBasedExpressivityChecker
      extended by com.clarkparsia.pellet.el.ELExpressivityChecker

public class ELExpressivityChecker
extends ProfileBasedExpressivityChecker

Title:

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:
Harris Lin

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

Constructor Detail

ELExpressivityChecker

public ELExpressivityChecker(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.


Copyright © 2004 Evren Sirin. All Rights Reserved.