| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.kernel.dl.axioms |
| Modifier and Type | Class and Description |
|---|---|
class |
AxiomDRoleDomain
data role domain
|
class |
AxiomDRoleFunctional
functional data role
|
class |
AxiomDRoleRange
data role range
|
class |
AxiomDRoleSubsumption
data role subsumption
|
Copyright © 2016 The University of Manchester. All rights reserved.