| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.helpers | |
| uk.ac.manchester.cs.jfact.kernel | |
| uk.ac.manchester.cs.jfact.kernel.actors |
| Modifier and Type | Field and Description |
|---|---|
Individual |
Pair.first
The first.
|
| Constructor and Description |
|---|
Pair(Individual d,
boolean c)
Instantiates a new pair.
|
| Modifier and Type | Method and Description |
|---|---|
Individual |
Related.getA() |
Individual |
Related.getB() |
Individual |
TBox.getBlockingInd(Concept c) |
Individual |
OntologyLoader.getIndividual(IndividualExpression i,
String reason) |
Individual |
TBox.getIndividual(org.semanticweb.owlapi.model.IRI name)
return registered individual by given NAME;
|
Individual |
TBox.getSPForConcept(Concept p) |
| Modifier and Type | Method and Description |
|---|---|
List<List<Individual>> |
TBox.getDifferent() |
uk.ac.manchester.cs.jfact.kernel.TBox.IterableVec<Individual> |
TBox.getIV() |
List<Individual> |
Individual.getRelatedCache(Role r) |
List<Individual> |
ReasoningKernel.getRoleFillers(IndividualExpression i,
ObjectRoleExpression r) |
java.util.stream.Stream<Individual> |
TBox.individuals() |
| Modifier and Type | Method and Description |
|---|---|
void |
Individual.addRelated(Individual p)
add all the related elements from the given P
|
void |
TBox.addSameIndividuals(Individual p,
Pair pair) |
boolean |
TBox.isSameIndividuals(Individual a,
Individual b) |
| Modifier and Type | Method and Description |
|---|---|
void |
Individual.setRelatedCache(Role r,
List<Individual> v)
set the cache of individuals related to THIS via R
|
| Constructor and Description |
|---|
Related(Individual a,
Individual b,
Role r) |
| Modifier and Type | Method and Description |
|---|---|
List<Individual> |
RIActor.getAcc() |
Copyright © 2016 The University of Manchester. All rights reserved.