| Package | Description |
|---|---|
| org.semanticweb.elk.owl.interfaces | |
| org.semanticweb.elk.owl.util | |
| org.semanticweb.elk.owl.visitors |
| Modifier and Type | Method and Description |
|---|---|
ElkEquivalentObjectPropertiesAxiom |
ElkObjectFactory.getEquivalentObjectPropertiesAxiom(ElkObjectPropertyExpression firstObjectPropertyExpression,
ElkObjectPropertyExpression secondObjectPropertyExpression,
ElkObjectPropertyExpression... otherObjectPropertyExpressions)
Create an
ElkEquivalentObjectPropertiesAxiom. |
ElkEquivalentObjectPropertiesAxiom |
ElkObjectFactory.getEquivalentObjectPropertiesAxiom(List<? extends ElkObjectPropertyExpression> equivalentObjectPropertyExpressions)
Create an
ElkEquivalentObjectPropertiesAxiom. |
| Modifier and Type | Method and Description |
|---|---|
String |
OwlObjectNameVisitor.visit(ElkEquivalentObjectPropertiesAxiom elkEquivalentObjectProperties) |
| Modifier and Type | Method and Description |
|---|---|
O |
ElkObjectPropertyAxiomVisitor.visit(ElkEquivalentObjectPropertiesAxiom elkEquivalentObjectProperties) |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.