| Package | Description |
|---|---|
| uk.ac.manchester.cs.jfact.kernel.dl.axioms |
| Modifier and Type | Class and Description |
|---|---|
class |
AxiomORoleDomain
object role domain
|
class |
AxiomORoleFunctional
functional object role
|
class |
AxiomORoleRange
object role range
|
class |
AxiomORoleSubsumption
object role subsumption
|
class |
AxiomRoleAsymmetric
asymmetric object role
|
class |
AxiomRoleInverse
inverse object property
|
class |
AxiomRoleInverseFunctional
inverse functional object role
|
class |
AxiomRoleIrreflexive
irreflexive object role
|
class |
AxiomRoleReflexive
reflexive object role
|
class |
AxiomRoleSymmetric
symmetric object role
|
class |
AxiomRoleTransitive
transitive object role
|
Copyright © 2016 The University of Manchester. All rights reserved.