uk.ac.manchester.cs.owl.owlapi
Class OWLSameIndividualAxiomImpl
java.lang.Object
uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl
uk.ac.manchester.cs.owl.owlapi.OWLLogicalAxiomImpl
uk.ac.manchester.cs.owl.owlapi.OWLIndividualAxiomImpl
uk.ac.manchester.cs.owl.owlapi.OWLNaryIndividualAxiomImpl
uk.ac.manchester.cs.owl.owlapi.OWLSameIndividualAxiomImpl
- All Implemented Interfaces:
- java.lang.Comparable<OWLObject>, OWLAxiom, OWLIndividualAxiom, OWLLogicalAxiom, OWLNaryAxiom, OWLNaryIndividualAxiom, OWLObject, OWLSameIndividualAxiom, OWLSubClassOfAxiomSetShortCut
public class OWLSameIndividualAxiomImpl
- extends OWLNaryIndividualAxiomImpl
- implements OWLSameIndividualAxiom
Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl |
compareSets, compareTo, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, isBottomEntity, isTopEntity, toString |
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Methods inherited from interface java.lang.Comparable |
compareTo |
OWLSameIndividualAxiomImpl
public OWLSameIndividualAxiomImpl(OWLDataFactory dataFactory,
java.util.Set<? extends OWLIndividual> individuals,
java.util.Set<? extends OWLAnnotation> annotations)
getAxiomWithoutAnnotations
public OWLSameIndividualAxiom getAxiomWithoutAnnotations()
- Description copied from interface:
OWLAxiom
- Gets an axiom that is structurally equivalent to this axiom without annotations. This essentially
returns a version of this axiom stripped of any annotations
- Specified by:
getAxiomWithoutAnnotations
in interface OWLAxiom
- Specified by:
getAxiomWithoutAnnotations
in interface OWLSameIndividualAxiom
- Returns:
- The annotationless version of this axiom
getAnnotatedAxiom
public OWLSameIndividualAxiom getAnnotatedAxiom(java.util.Set<OWLAnnotation> annotations)
- Description copied from interface:
OWLAxiom
- Gets a copy of this axiom that is annotated with the specified annotations. If this axiom has any annotations
on it they will be merged with the specified set of annotations.
Note that this axiom will not be modified (or remove from any ontologies).
- Specified by:
getAnnotatedAxiom
in interface OWLAxiom
- Parameters:
annotations
- The annotations that will be added to existing annotations to annotate the copy of this axiom
- Returns:
- A copy of this axiom that has the specified annotations plus any existing annotations returned by the
OWLAxiom#getAnnotations()
method.
asPairwiseAxioms
public java.util.Set<OWLSameIndividualAxiom> asPairwiseAxioms()
- Description copied from interface:
OWLNaryAxiom
- Gets this axiom as a set of pairwise axioms. Note that annotations on this axiom will not be copied to each axiom
returned in the set of pairwise axioms.
- Specified by:
asPairwiseAxioms
in interface OWLNaryAxiom
- Specified by:
asPairwiseAxioms
in interface OWLSameIndividualAxiom
- Returns:
- This axiom as a set of pairwise axioms.
containsAnonymousIndividuals
public boolean containsAnonymousIndividuals()
- Determines whether this axiom contains anonymous individuals. Anonymous individuals are not allowed in
same individuals axioms.
- Specified by:
containsAnonymousIndividuals
in interface OWLSameIndividualAxiom
- Returns:
true
if this axioms contains anonymous individual axioms
asOWLSubClassOfAxioms
public java.util.Set<OWLSubClassOfAxiom> asOWLSubClassOfAxioms()
- Specified by:
asOWLSubClassOfAxioms
in interface OWLSubClassOfAxiomSetShortCut
asPairwiseSameIndividualAxioms
public java.util.Set<OWLSameIndividualAxiom> asPairwiseSameIndividualAxioms()
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in class OWLNaryIndividualAxiomImpl
accept
public void accept(OWLAxiomVisitor visitor)
- Specified by:
accept
in interface OWLAxiom
accept
public void accept(OWLObjectVisitor visitor)
- Specified by:
accept
in interface OWLObject
accept
public <O> O accept(OWLAxiomVisitorEx<O> visitor)
- Specified by:
accept
in interface OWLAxiom
accept
public <O> O accept(OWLObjectVisitorEx<O> visitor)
- Specified by:
accept
in interface OWLObject
getAxiomType
public AxiomType getAxiomType()
- Description copied from interface:
OWLAxiom
- Gets the axiom type for this axiom.
- Specified by:
getAxiomType
in interface OWLAxiom
- Returns:
- The axiom type that corresponds to the type of this axiom.