| Package | Description |
|---|---|
| org.mindswap.pellet |
| Modifier and Type | Method and Description |
|---|---|
CandidateSet<aterm.ATermAppl> |
ABox.getObviousInstances(aterm.ATermAppl c) |
CandidateSet<aterm.ATermAppl> |
ABox.getObviousInstances(aterm.ATermAppl c,
Collection<aterm.ATermAppl> individuals) |
CandidateSet<aterm.ATermAppl> |
ABox.getObviousSubjects(aterm.ATermAppl p,
aterm.ATermAppl o) |
| Modifier and Type | Method and Description |
|---|---|
void |
ABox.getObviousObjects(aterm.ATermAppl p,
CandidateSet<aterm.ATermAppl> candidates) |
void |
ABox.getObviousSubjects(aterm.ATermAppl p,
aterm.ATermAppl o,
CandidateSet<aterm.ATermAppl> candidates) |
void |
ABox.getSubjects(aterm.ATermAppl p,
aterm.ATermAppl o,
CandidateSet<aterm.ATermAppl> candidates) |
Copyright © 2019. All rights reserved.