com.clarkparsia.pellet.expressivity
Class ExpressivityChecker

java.lang.Object
  extended by com.clarkparsia.pellet.expressivity.ExpressivityChecker

public class ExpressivityChecker
extends java.lang.Object

Title:

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:
Harris Lin

Constructor Summary
ExpressivityChecker(KnowledgeBase kb)
           
ExpressivityChecker(KnowledgeBase kb, Expressivity expr)
           
 
Method Summary
 Expressivity getExpressivity()
           
 Expressivity getExpressivityWith(aterm.ATermAppl c)
           
 void prepare()
           
 void updateWithIndividual(aterm.ATermAppl i, aterm.ATermAppl concept)
          Added for incremental reasoning.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ExpressivityChecker

public ExpressivityChecker(KnowledgeBase kb)

ExpressivityChecker

public ExpressivityChecker(KnowledgeBase kb,
                           Expressivity expr)
Method Detail

prepare

public void prepare()

getExpressivity

public Expressivity getExpressivity()

getExpressivityWith

public Expressivity getExpressivityWith(aterm.ATermAppl c)

updateWithIndividual

public void updateWithIndividual(aterm.ATermAppl i,
                                 aterm.ATermAppl concept)
Added for incremental reasoning. Given an aterm corresponding to an individual and concept, the expressivity is updated accordingly.



Copyright © 2004 Evren Sirin. All Rights Reserved.