| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.kernel.dl | |
| uk.ac.manchester.cs.jfact.kernel.dl.interfaces |
| Modifier and Type | Class and Description |
|---|---|
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
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
ConceptObjectCardinalityExpression
object cardinality expression
|
Copyright © 2018 The University of Manchester. All rights reserved.