| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.kernel | |
| uk.ac.manchester.cs.jfact.kernel.actors |
| Modifier and Type | Field and Description |
|---|---|
protected List<Individual> |
NominalReasoner.nominals
all nominals defined in TBox
|
| Modifier and Type | Method and Description |
|---|---|
Individual |
Related.getA() |
Individual |
Related.getB() |
Individual |
TBox.getBlockingInd(Concept C)
get individual that blocks C; works only for blocked individuals C
|
Individual |
OntologyLoader.getIndividual(IndividualExpression I,
String reason)
get an individual be the DLTree; throw exception if unable
|
Individual |
TBox.getIndividual(String name)
return registered individual by given NAME; @return null if can't
register
|
Individual |
TBox.getSPForConcept(Concept p) |
| Modifier and Type | Method and Description |
|---|---|
List<List<Individual>> |
TBox.getDifferent() |
List<Individual> |
Individual.getRelatedCache(Role R)
get set of individuals related to THIS via R
|
List<Individual> |
ReasoningKernel.getRoleFillers(IndividualExpression I,
ObjectRoleExpression R) |
List<Individual> |
TBox.i_begin()
RW begin() for individuals
|
| Modifier and Type | Method and Description |
|---|---|
void |
Individual.addRelated(Individual p)
add all the related elements from the given P
|
protected boolean |
NominalReasoner.initNominalNode(Individual nom)
init single nominal node
|
boolean |
TBox.isSameIndividuals(Individual _a,
Individual _b) |
protected void |
NominalReasoner.registerNominalCache(Individual p)
create cache entry for given singleton
|
protected void |
NominalReasoner.updateClassifiedSingleton(Individual p)
use classification information for the nominal P
|
| 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 © 2013 The University of Manchester. All Rights Reserved.