| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.kernel |
| Modifier and Type | Method and Description |
|---|---|
<T extends Expression> |
ReasoningKernel.getConcepts(ConceptExpression c,
boolean direct,
TaxonomyActor<T> actor,
boolean supDirection)
apply actor__apply() to all super/sub-concepts of [complex] C
|
<T extends Expression> |
ReasoningKernel.getDisjointConcepts(ConceptExpression c,
TaxonomyActor<T> actor)
apply actor::apply() to all named concepts disjoint with [complex] C
|
<T extends ConceptExpression> |
ReasoningKernel.getDRoleDomain(DataRoleExpression r,
boolean direct,
TaxonomyActor<T> actor)
apply actor::apply() to all DIRECT NC that are in the domain of data role
R
|
<T extends Expression> |
ReasoningKernel.getEquivalentConcepts(ConceptExpression c,
TaxonomyActor<T> actor)
apply actor__apply() to all synonyms of [complex] C
|
<T extends RoleExpression> |
ReasoningKernel.getEquivalentRoles(RoleExpression r,
TaxonomyActor<T> actor)
apply actor__apply() to all synonyms of [complex] R
|
TaxonomyActor<IndividualExpression> |
ReasoningKernel.getInstances(ConceptExpression c,
TaxonomyActor<IndividualExpression> actor,
boolean direct) |
<T extends ConceptExpression> |
ReasoningKernel.getORoleDomain(ObjectRoleExpression r,
boolean direct,
TaxonomyActor<T> actor)
apply actor__apply() to all DIRECT NC that are in the domain of [complex]
R
|
<T extends RoleExpression> |
ReasoningKernel.getRoles(RoleExpression r,
boolean direct,
TaxonomyActor<T> actor,
boolean supDirection)
apply actor__apply() to all DIRECT super-roles of [complex] R
|
<T extends Expression> |
ReasoningKernel.getSameAs(IndividualName i,
TaxonomyActor<T> actor)
apply actor__apply() to all synonyms of an individual I
|
<T extends Expression> |
ReasoningKernel.getTypes(IndividualName i,
boolean direct,
TaxonomyActor<T> actor)
apply actor__apply() to all DIRECT concepts that are types of an
individual I
|
| Modifier and Type | Method and Description |
|---|---|
<T extends Expression> |
ReasoningKernel.getConcepts(ConceptExpression c,
boolean direct,
TaxonomyActor<T> actor,
boolean supDirection)
apply actor__apply() to all super/sub-concepts of [complex] C
|
<T extends Expression> |
ReasoningKernel.getDisjointConcepts(ConceptExpression c,
TaxonomyActor<T> actor)
apply actor::apply() to all named concepts disjoint with [complex] C
|
<T extends ConceptExpression> |
ReasoningKernel.getDRoleDomain(DataRoleExpression r,
boolean direct,
TaxonomyActor<T> actor)
apply actor::apply() to all DIRECT NC that are in the domain of data role
R
|
<T extends Expression> |
ReasoningKernel.getEquivalentConcepts(ConceptExpression c,
TaxonomyActor<T> actor)
apply actor__apply() to all synonyms of [complex] C
|
<T extends RoleExpression> |
ReasoningKernel.getEquivalentRoles(RoleExpression r,
TaxonomyActor<T> actor)
apply actor__apply() to all synonyms of [complex] R
|
TaxonomyActor<IndividualExpression> |
ReasoningKernel.getInstances(ConceptExpression c,
TaxonomyActor<IndividualExpression> actor,
boolean direct) |
<T extends ConceptExpression> |
ReasoningKernel.getORoleDomain(ObjectRoleExpression r,
boolean direct,
TaxonomyActor<T> actor)
apply actor__apply() to all DIRECT NC that are in the domain of [complex]
R
|
<T extends RoleExpression> |
ReasoningKernel.getRoles(RoleExpression r,
boolean direct,
TaxonomyActor<T> actor,
boolean supDirection)
apply actor__apply() to all DIRECT super-roles of [complex] R
|
<T extends Expression> |
ReasoningKernel.getSameAs(IndividualName i,
TaxonomyActor<T> actor)
apply actor__apply() to all synonyms of an individual I
|
<T extends Expression> |
ReasoningKernel.getTypes(IndividualName i,
boolean direct,
TaxonomyActor<T> actor)
apply actor__apply() to all DIRECT concepts that are types of an
individual I
|
Copyright © 2016 The University of Manchester. All rights reserved.