|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Expressivity | |
|---|---|
| com.clarkparsia.pellet.el | |
| com.clarkparsia.pellet.expressivity | |
| com.clarkparsia.pellet.rules | |
| org.mindswap.pellet | |
| org.mindswap.pellet.tableau.completion | |
| Uses of Expressivity in com.clarkparsia.pellet.el |
|---|
| Methods in com.clarkparsia.pellet.el with parameters of type Expressivity | |
|---|---|
boolean |
ELExpressivityChecker.compute(Expressivity expressivity)
|
boolean |
ELExpressivityChecker.updateWith(Expressivity expressivity,
aterm.ATermAppl term)
|
| Uses of Expressivity in com.clarkparsia.pellet.expressivity |
|---|
| Methods in com.clarkparsia.pellet.expressivity that return Expressivity | |
|---|---|
Expressivity |
ExpressivityChecker.getExpressivity()
|
Expressivity |
ExpressivityChecker.getExpressivityWith(aterm.ATermAppl c)
|
| Methods in com.clarkparsia.pellet.expressivity with parameters of type Expressivity | |
|---|---|
boolean |
DLExpressivityChecker.compute(Expressivity expressivity)
|
abstract boolean |
ProfileBasedExpressivityChecker.compute(Expressivity expressivity)
Compute the expressivity from the KnowledgeBase
and update it to the given Expressivity. |
boolean |
DLExpressivityChecker.updateWith(Expressivity expressivity,
aterm.ATermAppl term)
|
abstract boolean |
ProfileBasedExpressivityChecker.updateWith(Expressivity expressivity,
aterm.ATermAppl term)
Update the given Expressivity by adding
the new @{link aterm.ATermAppl}. |
| Constructors in com.clarkparsia.pellet.expressivity with parameters of type Expressivity | |
|---|---|
Expressivity(Expressivity other)
|
|
ExpressivityChecker(KnowledgeBase kb,
Expressivity expr)
|
|
| Uses of Expressivity in com.clarkparsia.pellet.rules |
|---|
| Methods in com.clarkparsia.pellet.rules with parameters of type Expressivity | |
|---|---|
void |
ContinuousRulesStrategy.complete(Expressivity expr)
|
void |
RuleStrategy.complete(Expressivity expr)
|
| Uses of Expressivity in org.mindswap.pellet |
|---|
| Methods in org.mindswap.pellet that return Expressivity | |
|---|---|
Expressivity |
KnowledgeBase.getExpressivity()
|
| Uses of Expressivity in org.mindswap.pellet.tableau.completion |
|---|
| Methods in org.mindswap.pellet.tableau.completion with parameters of type Expressivity | |
|---|---|
abstract void |
CompletionStrategy.complete(Expressivity expr)
apply all the tableau rules to the designated ABox |
void |
EmptySHNStrategy.complete(Expressivity expr)
|
void |
SROIQStrategy.complete(Expressivity expr)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||