| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.kernel.dl.axioms |
| Modifier and Type | Class and Description |
|---|---|
class |
AxiomORoleDomain |
class |
AxiomORoleFunctional |
class |
AxiomORoleRange |
class |
AxiomORoleSubsumption |
class |
AxiomRoleAsymmetric |
class |
AxiomRoleInverse |
class |
AxiomRoleInverseFunctional |
class |
AxiomRoleIrreflexive |
class |
AxiomRoleReflexive |
class |
AxiomRoleSymmetric |
class |
AxiomRoleTransitive |
Copyright © 2013 The University of Manchester. All Rights Reserved.