| Package | Description |
|---|---|
| org.semanticweb.elk.owl.implementation |
| Modifier and Type | Class and Description |
|---|---|
class |
ElkClassExpressionListObject
Implementation for ElkObjects that maintain a list of class expressions.
|
class |
ElkDataIntersectionOfImpl
ELK implementation of ElkDataIntersectionOf.
|
class |
ElkDataOneOfImpl
ELK implementation of ElkDataOneOf.
|
class |
ElkDataPropertyExpressionListObject
Implementation for ElkObjects that maintain a list of object property
expressions.
|
class |
ElkDataRangeListObject
Implementation for ElkObjects that maintain a list of object ranges.
|
class |
ElkDataUnionOfImpl
ELK implementation of ElkDataUnionOf.
|
class |
ElkDifferentIndividualsAxiomImpl
Implementation of
ElkDifferentIndividualsAxiom. |
class |
ElkDisjointClassesAxiomImpl
Corresponds to an Disjoint Classes
Axiom in the OWL 2 specification.
|
class |
ElkDisjointDataPropertiesAxiomImpl
Corresponds to an Disjoint Data
Properties Axiom in the OWL 2 specification.
|
class |
ElkDisjointObjectPropertiesAxiomImpl
Corresponds to an Disjoint
Object Properties 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 |
ElkEquivalentDataPropertiesAxiomImpl
Corresponds to an Equivalent
Data Properties Axiom in the OWL 2 specification.
|
class |
ElkEquivalentObjectPropertiesAxiomImpl
Corresponds to an Equivalent
Object Properties Axiom in the OWL 2 specification.
|
class |
ElkIndividualListObject
Implementation for ElkObjects that maintain a list of individuals.
|
class |
ElkLiteralListObject
Implementation for ElkObjects that maintain a list of literals.
|
class |
ElkObjectIntersectionOfImpl
ELK implementation of ElkObjectIntersectionOf.
|
class |
ElkObjectOneOfImpl
Corresponds to an Enumeration of
Individuals in the OWL 2 specification.
|
class |
ElkObjectPropertyChainImpl |
class |
ElkObjectPropertyExpressionListObject
Implementation for ElkObjects that maintain a list of object property
expressions.
|
class |
ElkObjectUnionOfImpl
ELK implementation of ElkObjectUnionOf.
|
class |
ElkSameIndividualAxiomImpl
ELK implementation of ElkSameIndividualAxiom.
|
Copyright © 2011–2024 Live Ontologies Project. All rights reserved.