| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.kernel | |
| uk.ac.manchester.cs.jfact.kernel.actors |
| Modifier and Type | Method and Description |
|---|---|
void |
ReasoningKernel.getDirectInstances(ConceptExpression C,
Actor actor)
apply actor__apply() to all direct instances of given [complex] C
|
void |
ReasoningKernel.getDisjointConcepts(ConceptExpression C,
Actor actor)
apply actor::apply() to all named concepts disjoint with [complex] C
|
void |
ReasoningKernel.getEquivalentConcepts(ConceptExpression C,
Actor actor)
apply actor__apply() to all synonyms of [complex] C
|
void |
ReasoningKernel.getEquivalentRoles(RoleExpression r,
Actor actor)
apply actor__apply() to all synonyms of [complex] R
|
void |
ReasoningKernel.getInstances(ConceptExpression C,
Actor actor)
apply actor__apply() to all instances of given [complex] C
|
void |
ReasoningKernel.getInstances(ConceptExpression C,
Actor actor,
boolean direct) |
void |
ReasoningKernel.getORoleDomain(ObjectRoleExpression r,
boolean direct,
Actor actor)
apply actor__apply() to all DIRECT NC that are in the domain of [complex]
R
|
void |
Taxonomy.getRelativesInfo(TaxonomyVertex node,
Actor actor,
boolean needCurrent,
boolean onlyDirect,
boolean upDirection)
apply ACTOR to subgraph starting from NODE as defined by flags;
|
void |
ReasoningKernel.getRoleRange(ObjectRoleExpression r,
boolean direct,
Actor actor)
apply actor__apply() to all DIRECT NC that are in the range of [complex]
R
|
void |
ReasoningKernel.getSameAs(IndividualExpression I,
Actor actor)
apply actor__apply() to all synonyms of an individual I
|
void |
ReasoningKernel.getSubConcepts(ConceptExpression C,
boolean direct,
Actor actor)
apply actor__apply() to all DIRECT sub-concepts of [complex] C
|
void |
ReasoningKernel.getSubRoles(RoleExpression r,
boolean direct,
Actor actor)
apply actor__apply() to all DIRECT sub-roles of [complex] R
|
void |
ReasoningKernel.getSupConcepts(ConceptExpression C,
boolean direct,
Actor actor)
apply actor__apply() to all DIRECT super-concepts of [complex] C
|
void |
ReasoningKernel.getSupRoles(RoleExpression r,
boolean direct,
Actor actor)
apply actor__apply() to all DIRECT super-roles of [complex] R
|
void |
ReasoningKernel.getTypes(IndividualExpression I,
boolean direct,
Actor actor)
apply actor__apply() to all DIRECT concepts that are types of an
individual I
|
| Modifier and Type | Class and Description |
|---|---|
class |
AddRoleActor
actor that accumulates primers
|
class |
RIActor |
class |
SupConceptActor
class for exploring concept taxonomy to find super classes
|
class |
TaxonomyActor |
Copyright © 2013 The University of Manchester. All Rights Reserved.