com.clarkparsia.pellet.expressivity

Class ExpressivityChecker

java.lang.Object

com.clarkparsia.pellet.expressivity.ExpressivityChecker

public class ExpressivityChecker
extends Object

Title:

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Harris Lin

Constructor Summary

Constructors

Constructor and Description
ExpressivityChecker(KnowledgeBase kb)
ExpressivityChecker(KnowledgeBase kb, Expressivity expr)

Method Summary

Methods

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

clone, equals, finalize, 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.