| Package | Description |
|---|---|
| org.semanticweb.elk.owl.interfaces |
| Modifier and Type | Interface and Description |
|---|---|
interface |
ElkDisjointClassesAxiom
Corresponds to an Disjoint Classes
Axiom in the OWL 2 specification.
|
interface |
ElkDisjointUnionAxiom
Corresponds to an Disjoint Union of Class Expressions Axiom in the OWL 2 specification.
|
interface |
ElkEquivalentClassesAxiom
Corresponds to an Equivalent Class
Axiom in the OWL 2 specification.
|
interface |
ElkSubClassOfAxiom
Corresponds to a Subclass Axiom in the
OWL 2 specification.
|
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.