| Package | Description |
|---|---|
| org.semanticweb.elk.owl.implementation |
| Modifier and Type | Class and Description |
|---|---|
class |
ElkDisjointClassesAxiomImpl
Corresponds to an Disjoint Classes
Axiom in the OWL 2 specification.
|
class |
ElkDisjointUnionAxiomImpl
Corresponds to an Disjoint Union of Class Expressions Axiom in the OWL 2 specification.
|
class |
ElkEquivalentClassesAxiomImpl
Corresponds to an Equivalent Class
Axiom in the OWL 2 specification.
|
class |
ElkObjectIntersectionOfImpl
ELK implementation of ElkObjectIntersectionOf.
|
class |
ElkObjectUnionOfImpl
ELK implementation of ElkObjectUnionOf.
|
Copyright © 2011–2024 Live Ontologies Project. All rights reserved.