public class ExpressivityChecker extends Object
Title:
Description:
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
| Constructor and Description |
|---|
ExpressivityChecker(KnowledgeBase kb) |
ExpressivityChecker(KnowledgeBase kb,
Expressivity expr) |
| 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.
|
public ExpressivityChecker(KnowledgeBase kb)
public ExpressivityChecker(KnowledgeBase kb, Expressivity expr)
public void prepare()
public Expressivity getExpressivity()
public Expressivity getExpressivityWith(aterm.ATermAppl c)
public void updateWithIndividual(aterm.ATermAppl i,
aterm.ATermAppl concept)
Copyright © 2019. All rights reserved.