public class OWLDifferentIndividualsAxiomImpl extends OWLNaryIndividualAxiomImpl implements OWLDifferentIndividualsAxiom
NO_ANNOTATIONS, OWL_THING| Constructor and Description |
|---|
OWLDifferentIndividualsAxiomImpl(Set<? extends OWLIndividual> individuals,
Set<? extends OWLAnnotation> annotations) |
| Modifier and Type | Method and Description |
|---|---|
void |
accept(OWLAxiomVisitor visitor) |
<O> O |
accept(OWLAxiomVisitorEx<O> visitor) |
void |
accept(OWLObjectVisitor visitor) |
<O> O |
accept(OWLObjectVisitorEx<O> visitor) |
Set<OWLSubClassOfAxiom> |
asOWLSubClassOfAxioms() |
Set<OWLDifferentIndividualsAxiom> |
asPairwiseAxioms() |
boolean |
containsAnonymousIndividuals() |
boolean |
equals(Object obj) |
OWLDifferentIndividualsAxiom |
getAnnotatedAxiom(Set<OWLAnnotation> annotations) |
AxiomType<?> |
getAxiomType() |
OWLDifferentIndividualsAxiom |
getAxiomWithoutAnnotations() |
compareObjectOfSameType, getIndividuals, getIndividualsAsListisAnnotationAxiom, isLogicalAxiomaccept, equalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isOfType, isOfType, mergeAnnoscompareLists, compareSets, compareTo, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitgetIndividuals, getIndividualsAsListequalsIgnoreAnnotations, getAnnotations, getAnnotations, getNNF, isAnnotated, isAnnotationAxiom, isLogicalAxiom, isOfType, isOfTypegetAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntitycompareTopublic OWLDifferentIndividualsAxiomImpl(Set<? extends OWLIndividual> individuals, Set<? extends OWLAnnotation> annotations)
public OWLDifferentIndividualsAxiom getAxiomWithoutAnnotations()
getAxiomWithoutAnnotations in interface OWLAxiomgetAxiomWithoutAnnotations in interface OWLDifferentIndividualsAxiompublic OWLDifferentIndividualsAxiom getAnnotatedAxiom(Set<OWLAnnotation> annotations)
getAnnotatedAxiom in interface OWLAxiompublic Set<OWLDifferentIndividualsAxiom> asPairwiseAxioms()
asPairwiseAxioms in interface OWLDifferentIndividualsAxiomasPairwiseAxioms in interface OWLNaryAxiompublic boolean containsAnonymousIndividuals()
containsAnonymousIndividuals in interface OWLDifferentIndividualsAxiompublic boolean equals(Object obj)
equals in class OWLNaryIndividualAxiomImplpublic Set<OWLSubClassOfAxiom> asOWLSubClassOfAxioms()
asOWLSubClassOfAxioms in interface OWLSubClassOfAxiomSetShortCutpublic void accept(OWLAxiomVisitor visitor)
public void accept(OWLObjectVisitor visitor)
public <O> O accept(OWLAxiomVisitorEx<O> visitor)
public <O> O accept(OWLObjectVisitorEx<O> visitor)
public AxiomType<?> getAxiomType()
getAxiomType in interface OWLAxiomCopyright © 2013 CSIRO HRPPC. All Rights Reserved.