| Modifier and Type | Method and Description |
|---|---|
protected DataExpression |
TranslationMachinery.toDataTypeExpressionPointer(org.semanticweb.owlapi.model.OWLDataRange dataRange) |
| Modifier and Type | Interface and Description |
|---|---|
interface |
Datatype<Representation extends Comparable<Representation>> |
interface |
DatatypeExpression<Representation extends Comparable<Representation>>
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 |
DatatypeEnumeration<R extends Comparable<R>> |
class |
DatatypeNegation<R extends Comparable<R>> |
class |
DatatypeNumericEnumeration<R extends Comparable<R>> |
class |
NumericLiteralImpl<R extends Comparable<R>>
all literals whose datatype is numeric
|
| Modifier and Type | Method and Description |
|---|---|
DataExpression |
TDag2Interface.buildDExpr(DLVertex v)
build data expression by a vertex V
|
DataExpression |
ExpressionManager.dataAnd(List<Expression> l)
get an n-ary data conjunction expression
|
DataExpression |
ExpressionManager.dataBottom()
get BOTTOM data element
|
DataExpression |
ExpressionManager.dataNot(DataExpression E)
get negation of a data expression E
|
DataExpression |
ExpressionManager.dataOneOf(List<Expression> l)
get an n-ary data one-of expression
|
DataExpression |
ExpressionManager.dataOr(List<Expression> l)
get an n-ary data disjunction expression
|
DataExpression |
ExpressionManager.dataTop()
get TOP data element
|
DataExpression |
TDag2Interface.getDExpr(int p)
get data expression corresponding index of vertex
|
| Modifier and Type | Method and Description |
|---|---|
List<DataExpression> |
ReasoningKernel.getDataLabel(DlCompletionTree node,
boolean onlyDet) |
| Modifier and Type | Method and Description |
|---|---|
ConceptExpression |
ExpressionManager.cardinality(int n,
DataRoleExpression R,
DataExpression E)
get exact cardinality restriction wrt number N, a data role R and a data
expression E
|
DataExpression |
ExpressionManager.dataNot(DataExpression E)
get negation of a data expression E
|
ConceptExpression |
ExpressionManager.exists(DataRoleExpression R,
DataExpression E)
get existential restriction wrt a data role R and a data expression E
|
ConceptExpression |
ExpressionManager.forall(DataRoleExpression R,
DataExpression E)
get universal restriction wrt a data role R and a data expression E
|
ConceptExpression |
ExpressionManager.maxCardinality(int n,
DataRoleExpression R,
DataExpression E)
get max cardinality restriction wrt number N, a data role R and a data
expression E
|
ConceptExpression |
ExpressionManager.minCardinality(int n,
DataRoleExpression R,
DataExpression E)
get min cardinality restriction wrt number N, a data role R and a data
expression E
|
Axiom |
ReasoningKernel.setDRange(org.semanticweb.owlapi.model.OWLAxiom ax,
DataRoleExpression R,
DataExpression E)
Range (R E)
|
| Modifier and Type | Class and Description |
|---|---|
class |
DataAnd |
class |
DataBottom |
class |
DataNot |
class |
DataOneOf |
class |
DataOr |
class |
DataTop |
| Modifier and Type | Field and Description |
|---|---|
protected DataExpression |
DataNot.Expr
data expression argument
|
| Modifier and Type | Method and Description |
|---|---|
DataExpression |
DataNot.getExpr()
get access to the argument
|
DataExpression |
ConceptDataForall.getExpr() |
DataExpression |
ConceptDataExists.getExpr() |
DataExpression |
AbstractConceptDataCardinality.getExpr() |
| Constructor and Description |
|---|
AbstractConceptDataCardinality(int n,
DataRoleExpression R,
DataExpression E) |
ConceptDataExactCardinality(int n,
DataRoleExpression R,
DataExpression E) |
ConceptDataExists(DataRoleExpression R,
DataExpression E) |
ConceptDataForall(DataRoleExpression R,
DataExpression E) |
ConceptDataMaxCardinality(int n,
DataRoleExpression R,
DataExpression E) |
ConceptDataMinCardinality(int n,
DataRoleExpression R,
DataExpression E) |
DataNot(DataExpression E) |
| Modifier and Type | Method and Description |
|---|---|
DataExpression |
AxiomDRoleRange.getRange()
access
|
| Constructor and Description |
|---|
AxiomDRoleRange(org.semanticweb.owlapi.model.OWLAxiom ax,
DataRoleExpression role,
DataExpression range) |
| Modifier and Type | Method and Description |
|---|---|
List<DataExpression> |
KnowledgeExplorer.getDataLabel(DlCompletionTree node,
boolean onlyDet) |
Copyright © 2013 The University of Manchester. All Rights Reserved.