| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.kernel.dl | |
| uk.ac.manchester.cs.jfact.kernel.dl.interfaces |
| Modifier and Type | Class and Description |
|---|---|
class |
ConceptNot |
class |
ConceptObjectExactCardinality |
class |
ConceptObjectExists |
class |
ConceptObjectForall |
class |
ConceptObjectMaxCardinality |
class |
ConceptObjectMinCardinality |
class |
ObjectRoleProjectionFrom |
class |
ObjectRoleProjectionInto |
| Modifier and Type | Interface and Description |
|---|---|
interface |
ConceptObjectCardinalityExpression |
interface |
ConceptObjectRCExpression |
Copyright © 2013 The University of Manchester. All Rights Reserved.