| 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 |
class |
ConceptObjectExists |
class |
ConceptObjectForall |
class |
ConceptObjectMaxCardinality |
class |
ConceptObjectMinCardinality |
class |
ConceptObjectSelf |
class |
ConceptObjectValue |
class |
ObjectRoleInverse |
class |
ObjectRoleProjectionFrom |
class |
ObjectRoleProjectionInto |
| Modifier and Type | Interface and Description |
|---|---|
interface |
ConceptObjectCardinalityExpression |
interface |
ConceptObjectRCExpression |
interface |
ConceptObjectRoleExpression
general concept expression that contains an object role
|
Copyright © 2013 The University of Manchester. All Rights Reserved.