| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.datatypes | |
| uk.ac.manchester.cs.jfact.kernel.dl | |
| uk.ac.manchester.cs.jfact.kernel.dl.interfaces |
| 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 | 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 | 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 |
Expression
expression
|
interface |
IndividualExpression
individual expression
|
interface |
ObjectRoleComplexExpression
object role complex expression
|
interface |
ObjectRoleExpression
object role expression
|
interface |
RoleExpression
role expression
|
Copyright © 2018 The University of Manchester. All rights reserved.