| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.kernel.dl | |
| uk.ac.manchester.cs.jfact.kernel.dl.interfaces |
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractConceptDataCardinality
base class for data cardinality
|
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
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
ConceptDataCardinalityExpression
general data role cardinality expression
|
Copyright © 2016 The University of Manchester. All rights reserved.