| Package | Description |
|---|---|
| com.clarkparsia.pellet.rules | |
| com.clarkparsia.pellet.rules.model | |
| org.mindswap.pellet.tbox.impl |
| Modifier and Type | Method and Description |
|---|---|
Individual |
VariableBinding.get(AtomIObject key)
If the key is a variable, return the individual associated with it in
the map.
|
Individual |
VariableBinding.set(AtomIObject key,
Individual value)
If the key is an instance variable, set the value.
|
| Modifier and Type | Class and Description |
|---|---|
class |
AtomIConstant
Title: Atom Instance Constant
|
class |
AtomIVariable
Title: Atom Instance Variable
|
| Constructor and Description |
|---|
ClassAtom(aterm.ATermAppl predicate,
AtomIObject argument) |
DatavaluedPropertyAtom(aterm.ATermAppl predicate,
AtomIObject subject,
AtomDObject object) |
DifferentIndividualsAtom(AtomIObject argument1,
AtomIObject argument2) |
IndividualPropertyAtom(aterm.ATermAppl predicate,
AtomIObject subject,
AtomIObject object) |
SameIndividualAtom(AtomIObject argument1,
AtomIObject argument2) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
RuleAbsorber.processClass(AtomIObject var,
aterm.ATermAppl c,
List<RuleAtom> atoms,
int varCount) |
Copyright © 2019. All rights reserved.