Package openllet.core.expressivity

Class ExpressivityChecker

java.lang.Object

openllet.core.expressivity.ExpressivityChecker

public class ExpressivityChecker
extends java.lang.Object

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Harris Lin

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
Expressivity	getExpressivity()
Expressivity	getExpressivityWith(openllet.aterm.ATermAppl c)
void	prepare()
void	updateWithIndividual(openllet.aterm.ATermAppl i, openllet.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(openllet.aterm.ATermAppl c)

updateWithIndividual

public void updateWithIndividual(openllet.aterm.ATermAppl i,
                                 openllet.aterm.ATermAppl concept)

Added for incremental reasoning. Given an openllet.aterm corresponding to an _individual and concept, the expressivity is updated accordingly.

Parameters:

i -

concept -