| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.kernel.dl |
| Modifier and Type | Class and Description |
|---|---|
class |
ConceptAnd
concept intersection
|
class |
ConceptOneOf<I extends IndividualExpression>
object nominal
|
class |
ConceptOr
concept union
|
class |
DataAnd
data intersection
|
class |
DataOneOf
data one of
|
class |
DataOr
data union
|
class |
ObjectRoleChain
object role chain
|
Copyright © 2016 The University of Manchester. All rights reserved.