| Package | Description |
|---|---|
| org.semanticweb.elk.owl.interfaces |
| Modifier and Type | Interface and Description |
|---|---|
interface |
ElkAnonymousIndividual
Corresponds to an Anonymous
Individuals in the OWL 2 specification.
|
interface |
ElkNamedIndividual
Corresponds to an Named Individuals in
the OWL 2 specification.
|
| Modifier and Type | Method and Description |
|---|---|
ElkIndividual |
ElkClassAssertionAxiom.getIndividual()
Get the individual that this axiom refers to.
|
| Modifier and Type | Method and Description |
|---|---|
List<? extends ElkIndividual> |
ElkObjectOneOf.getIndividuals()
Get the list of individuals that this expression refers to.
|
List<? extends ElkIndividual> |
ElkDifferentIndividualsAxiom.getIndividuals()
Get the list of individuals that this axiom refers to.
|
List<? extends ElkIndividual> |
ElkSameIndividualAxiom.getIndividuals()
Get the list of individuals that this axiom refers to.
|
| Modifier and Type | Method and Description |
|---|---|
ElkDifferentIndividualsAxiom |
ElkObjectFactory.getDifferentIndividualsAxiom(List<? extends ElkIndividual> individuals)
Create an
ElkDifferentIndividualsAxiom. |
ElkObjectOneOf |
ElkObjectFactory.getObjectOneOf(List<? extends ElkIndividual> individuals)
Create an
ElkObjectOneOf. |
ElkSameIndividualAxiom |
ElkObjectFactory.getSameIndividualAxiom(List<? extends ElkIndividual> individuals)
Create an
ElkSameIndividualAxiom. |
Copyright © 2011-2015 Department of Computer Science, University of Oxford. All Rights Reserved.