| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.kernel | |
| uk.ac.manchester.cs.jfact.kernel.actors |
| Modifier and Type | Method and Description |
|---|---|
Actor |
ReasoningKernel.getConcepts(ConceptExpression c,
boolean direct,
Actor actor,
boolean supDirection)
apply actor__apply() to all DIRECT sub-concepts of [complex] C
|
| Modifier and Type | Method and Description |
|---|---|
Actor |
ReasoningKernel.getConcepts(ConceptExpression c,
boolean direct,
Actor actor,
boolean supDirection)
apply actor__apply() to all DIRECT sub-concepts of [complex] C
|
void |
ReasoningKernel.getDirectInstances(ConceptExpression c,
Actor actor)
apply actor__apply() to all direct instances of given [complex] C
|
void |
ReasoningKernel.getInstances(ConceptExpression c,
Actor actor)
apply actor__apply() to all instances of given [complex] C
|
void |
Taxonomy.getRelativesInfo(TaxonomyVertex node,
Actor actor,
boolean needCurrent,
boolean onlyDirect,
boolean upDirection)
apply ACTOR to subgraph starting from NODE as defined by flags;
|
| Modifier and Type | Class and Description |
|---|---|
class |
ActorImpl |
class |
AddRoleActor
actor that accumulates primers
|
class |
RIActor
RI actor
|
class |
SupConceptActor
class for exploring concept taxonomy to find super classes
|
class |
TaxonomyActor<T extends Expression>
class for acting with concept taxonomy
|
Copyright © 2018 The University of Manchester. All rights reserved.