| Package | Description |
|---|---|
| org.semanticweb.elk.owl.interfaces |
| Modifier and Type | Interface and Description |
|---|---|
interface |
ElkObjectInverseOf
Corresponds to an Inverse Object
Property in the OWL 2 specification.
|
interface |
ElkObjectProperty
Corresponds to an Object Property in
the OWL 2 specification.
|
interface |
ElkObjectPropertyChain
Corresponds to an object property
chains in the OWL 2 specification.
|
interface |
ElkObjectPropertyExpression
Corresponds to an Object
Property Expression in the OWL 2 specification.
|
| Modifier and Type | Method and Description |
|---|---|
ElkSubObjectPropertyExpression |
ElkSubObjectPropertyOfAxiom.getSubObjectPropertyExpression()
Get the sub object property expression of this axiom.
|
| Modifier and Type | Method and Description |
|---|---|
ElkSubObjectPropertyOfAxiom |
ElkObjectFactory.getSubObjectPropertyOfAxiom(ElkSubObjectPropertyExpression subObjectPropertyExpression,
ElkObjectPropertyExpression superObjectPropertyExpression)
Create an
ElkSubObjectPropertyOfAxiom. |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.