| Package | Description |
|---|---|
| org.semanticweb.elk.owl.interfaces | |
| org.semanticweb.elk.owl.util | |
| org.semanticweb.elk.owl.visitors |
| Modifier and Type | Method and Description |
|---|---|
ElkSameIndividualAxiom |
ElkObjectFactory.getSameIndividualAxiom(ElkIndividual firstIndividual,
ElkIndividual secondIndividual,
ElkIndividual... otherIndividuals)
Create an
ElkSameIndividualAxiom. |
ElkSameIndividualAxiom |
ElkObjectFactory.getSameIndividualAxiom(List<? extends ElkIndividual> individuals)
Create an
ElkSameIndividualAxiom. |
| Modifier and Type | Method and Description |
|---|---|
String |
OwlObjectNameVisitor.visit(ElkSameIndividualAxiom elkSameIndividualAxiom) |
| Modifier and Type | Method and Description |
|---|---|
O |
ElkAssertionAxiomVisitor.visit(ElkSameIndividualAxiom elkSameIndividualAxiom) |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.