| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.kernel | |
| uk.ac.manchester.cs.jfact.kernel.actors |
| Modifier and Type | Class and Description |
|---|---|
class |
Concept |
class |
Individual |
class |
Role |
| Modifier and Type | Field and Description |
|---|---|
protected ClassifiableEntry |
Taxonomy.curEntry
pointer to currently classified entry
|
protected ClassifiableEntry |
ClassifiableEntry.pSynonym
pointer to synonym (entry which contains whole information the same as
current)
|
| Modifier and Type | Field and Description |
|---|---|
protected Set<ClassifiableEntry> |
ClassifiableEntry.toldSubsumers
links to 'told subsumers' (entries that are direct super-entries for
current)
|
| Modifier and Type | Method and Description |
|---|---|
static <T extends ClassifiableEntry> |
ClassifiableEntry.resolveSynonym(T p) |
| Modifier and Type | Method and Description |
|---|---|
ClassifiableEntry |
TaxonomyVertex.getPrimer() |
ClassifiableEntry |
ClassifiableEntry.getSynonym()
get synonym of current entry
|
| Modifier and Type | Method and Description |
|---|---|
Set<ClassifiableEntry> |
TaxonomyVertex.begin_syn() |
Collection<ClassifiableEntry> |
ClassifiableEntry.getToldSubsumers()
told subsumers
|
| Modifier and Type | Method and Description |
|---|---|
void |
ClassifiableEntry.addParent(ClassifiableEntry parent)
add told subsumer of entry (duplications possible)
|
void |
ClassifiableEntry.addParentIfNew(ClassifiableEntry parent) |
void |
TaxonomyVertex.addSynonym(ClassifiableEntry p)
add P as a synonym to curent vertex
|
void |
Taxonomy.classifyEntry(ClassifiableEntry p) |
protected void |
Taxonomy.setCurrentEntry(ClassifiableEntry p)
initialise aux entry with given concept p
|
void |
TaxonomyVertex.setHostVertex(ClassifiableEntry entry)
mark vertex as the one corresponding to a given ENTRY
|
void |
TaxonomyVertex.setSample(ClassifiableEntry entry,
boolean linkBack)
set sample to ENTRY
|
void |
ClassifiableEntry.setSynonym(ClassifiableEntry syn)
add entry's synonym
|
| Modifier and Type | Method and Description |
|---|---|
void |
ClassifiableEntry.addParents(Collection<ClassifiableEntry> entries)
add all parents (with duplicates) from the range to current node
|
| Constructor and Description |
|---|
Taxonomy(ClassifiableEntry pTop,
ClassifiableEntry pBottom,
JFactReasonerConfiguration c) |
TaxonomyVertex(ClassifiableEntry p)
init c'tor; use it only for Top/Bot initialisations
|
| Modifier and Type | Field and Description |
|---|---|
protected ClassifiableEntry |
SupConceptActor.pe |
| Modifier and Type | Method and Description |
|---|---|
boolean |
Policy.applicable(ClassifiableEntry p) |
boolean |
ObjectPropertyPolicy.applicable(ClassifiableEntry p) |
boolean |
IndividualPolicy.applicable(ClassifiableEntry p) |
boolean |
DataPropertyPolicy.applicable(ClassifiableEntry p) |
boolean |
ClassPolicy.applicable(ClassifiableEntry p) |
Expression |
Policy.buildTree(ExpressionManager EM,
ClassifiableEntry p) |
Expression |
ObjectPropertyPolicy.buildTree(ExpressionManager EM,
ClassifiableEntry p) |
Expression |
IndividualPolicy.buildTree(ExpressionManager EM,
ClassifiableEntry p) |
Expression |
DataPropertyPolicy.buildTree(ExpressionManager EM,
ClassifiableEntry p) |
Expression |
ClassPolicy.buildTree(ExpressionManager EM,
ClassifiableEntry p) |
List<Expression> |
TaxonomyActor.tryEntry(ClassifiableEntry p)
try current entry
|
| Constructor and Description |
|---|
SupConceptActor(ClassifiableEntry q) |
Copyright © 2013 The University of Manchester. All Rights Reserved.