| Modifier and Type | Method and Description |
|---|---|
List<Expression> |
TranslationMachinery.translateExpressions(Stream<org.semanticweb.owlapi.model.OWLEntity> signature) |
| Modifier and Type | Interface and Description |
|---|---|
interface |
Datatype<R extends Comparable<R>> |
interface |
DatatypeExpression<R extends Comparable<R>>
Represents an extended datatype - intersection, union or further
restrictions.
|
interface |
Literal<T extends Comparable<T>> |
interface |
NumericDatatype<R extends Comparable<R>>
all Datatypes whose getNumeric() method returns true implement this interface
|
interface |
NumericLiteral<R extends Comparable<R>>
all literals whose datatype is numeric
|
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractDatatype<R extends Comparable<R>> |
class |
DatatypeEnumeration<R extends Comparable<R>> |
class |
DatatypeNegation<R extends Comparable<R>>
datatype negation
|
class |
DatatypeNumericEnumeration<R extends Comparable<R>>
numeric enumeration
|
class |
NumericLiteralImpl<R extends Comparable<R>>
all literals whose datatype is numeric
|
| 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 Expression> |
ReasoningKernel.getEquivalentConcepts(ConceptExpression c,
TaxonomyActor<T> actor)
apply actor__apply() to all synonyms of [complex] C
|
<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 |
|---|---|
Expression |
OntologyLoader.ensureNames(Expression expr)
ensure that the expression EXPR has its named entities linked to the KB
ones
|
Expression |
TDag2Interface.getExpr(int p,
boolean data) |
| Modifier and Type | Method and Description |
|---|---|
Stream<Expression> |
Ontology.signature() |
| Modifier and Type | Method and Description |
|---|---|
DLTree |
ReasoningKernel.e(Expression expr) |
Expression |
OntologyLoader.ensureNames(Expression expr)
ensure that the expression EXPR has its named entities linked to the KB
ones
|
| Modifier and Type | Method and Description |
|---|---|
Collection<org.semanticweb.owlapitools.decomposition.AxiomWrapper> |
ReasoningKernel.getModule(List<Expression> signature,
boolean useSemantic,
uk.ac.manchester.cs.owlapi.modularity.ModuleType type,
org.semanticweb.owlapi.reasoner.OWLReasoner r) |
Set<org.semanticweb.owlapitools.decomposition.AxiomWrapper> |
ReasoningKernel.getNonLocal(List<Expression> signature,
boolean useSemantic,
uk.ac.manchester.cs.owlapi.modularity.ModuleType type,
org.semanticweb.owlapi.reasoner.OWLReasoner r) |
| Modifier and Type | Class and Description |
|---|---|
class |
TaxonomyActor<T extends Expression>
class for acting with concept taxonomy
|
| Modifier and Type | Method and Description |
|---|---|
Expression |
Policy.buildTree(ExpressionCache em,
ClassifiableEntry p) |
Expression |
IndividualPolicy.buildTree(ExpressionCache em,
ClassifiableEntry p) |
Expression |
DataPropertyPolicy.buildTree(ExpressionCache em,
ClassifiableEntry p) |
Expression |
ObjectPropertyPolicy.buildTree(ExpressionCache em,
ClassifiableEntry p) |
Expression |
ClassPolicy.buildTree(ExpressionCache em,
ClassifiableEntry p) |
| Modifier and Type | Class and Description |
|---|---|
class |
NAryExpressionImpl<A extends Expression>
nary expression base
|
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractConceptDataCardinality
base class for data cardinality
|
class |
ConceptAnd
concept intersection
|
class |
ConceptBottom
bottom
|
class |
ConceptDataExactCardinality
data exact cardinality
|
class |
ConceptDataExists
exist data restriction
|
class |
ConceptDataForall
forall data restriction
|
class |
ConceptDataMaxCardinality
data max cardinality
|
class |
ConceptDataMinCardinality
data min cardinality
|
class |
ConceptDataValue
concept data value
|
class |
ConceptName
named concept
|
class |
ConceptNot
concept negation
|
class |
ConceptObjectExactCardinality
object exact cardinality
|
class |
ConceptObjectExists
object exist restriction
|
class |
ConceptObjectForall
forall object restriction
|
class |
ConceptObjectMaxCardinality
object max cardinality
|
class |
ConceptObjectMinCardinality
object min cardinality
|
class |
ConceptObjectSelf
self object restriction
|
class |
ConceptObjectValue
object value restriction
|
class |
ConceptOneOf<I extends IndividualExpression>
object nominal
|
class |
ConceptOr
concept union
|
class |
ConceptTop
top
|
class |
DataAnd
data intersection
|
class |
DataBottom
data bottom concept
|
class |
DataNot
data negation
|
class |
DataOneOf
data one of
|
class |
DataOr
data union
|
class |
DataRoleBottom
data bottom property
|
class |
DataRoleName
data role name
|
class |
DataRoleTop
data role top
|
class |
DataTop
data top
|
class |
IndividualName
individual name
|
class |
ObjectRoleBottom
bottom object role
|
class |
ObjectRoleChain
object role chain
|
class |
ObjectRoleInverse
object role inverse
|
class |
ObjectRoleName
object role
|
class |
ObjectRoleProjectionFrom
object role projection from
|
class |
ObjectRoleProjectionInto
object role projection into
|
class |
ObjectRoleTop
object role top
|
| Modifier and Type | Method and Description |
|---|---|
void |
NAryExpressionImpl.add(Expression p) |
A |
NAryExpressionImpl.transform(Expression arg)
transform general expression into the argument one
|
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractNaryAxiom<I extends Expression>
n-ary axiom base class
|
| Modifier and Type | Method and Description |
|---|---|
static Expression |
Axioms.dummyExpression() |
Expression |
AxiomDeclaration.getDeclaration() |
| Modifier and Type | Method and Description |
|---|---|
void |
AbstractNaryAxiom.add(Expression p) |
I |
AbstractNaryAxiom.transform(Expression arg) |
| Constructor and Description |
|---|
AxiomDeclaration(org.semanticweb.owlapi.model.OWLAxiom ax,
Expression d) |
| Modifier and Type | Interface and Description |
|---|---|
interface |
NAryExpression<A extends Expression>
nary expression
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
ConceptDataCardinalityExpression
general data role cardinality expression
|
interface |
ConceptDataRoleExpression
data role expression
|
interface |
ConceptDataRVExpression
data restriction
|
interface |
ConceptExpression
concept expression
|
interface |
ConceptObjectCardinalityExpression
object cardinality expression
|
interface |
ConceptObjectRCExpression
object restriction expression
|
interface |
ConceptObjectRoleExpression
general concept expression that contains an object role
|
interface |
DataExpression
data expression
|
interface |
DataRoleExpression
data role expression
|
interface |
IndividualExpression
individual expression
|
interface |
ObjectRoleComplexExpression
object role complex expression
|
interface |
ObjectRoleExpression
object role expression
|
interface |
RoleExpression
role expression
|
| Modifier and Type | Method and Description |
|---|---|
A |
NAryExpression.transform(Expression arg) |
Copyright © 2018 The University of Manchester. All rights reserved.