uk.ac.manchester.cs.owl.owlapi
Class OWLSubAnnotationPropertyOfAxiomImpl
java.lang.Object
uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl
uk.ac.manchester.cs.owl.owlapi.OWLSubAnnotationPropertyOfAxiomImpl
- All Implemented Interfaces:
- java.lang.Comparable<OWLObject>, OWLAnnotationAxiom, OWLAnnotationObject, OWLAxiom, OWLObject, OWLSubAnnotationPropertyOfAxiom
public class OWLSubAnnotationPropertyOfAxiomImpl
- extends OWLAxiomImpl
- implements OWLSubAnnotationPropertyOfAxiom
Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 25-Mar-2009
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 |
Methods inherited from interface java.lang.Comparable |
compareTo |
OWLSubAnnotationPropertyOfAxiomImpl
public OWLSubAnnotationPropertyOfAxiomImpl(OWLDataFactory dataFactory,
OWLAnnotationProperty subProperty,
OWLAnnotationProperty superProperty,
java.util.Collection<? extends OWLAnnotation> annotations)
getAnnotatedAxiom
public OWLSubAnnotationPropertyOfAxiom 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.
getAxiomWithoutAnnotations
public OWLSubAnnotationPropertyOfAxiom 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 OWLSubAnnotationPropertyOfAxiom
- Returns:
- The annotationless version of this axiom
getSubProperty
public OWLAnnotationProperty getSubProperty()
- Description copied from interface:
OWLSubAnnotationPropertyOfAxiom
- Gets the subproperty of this axiom.
- Specified by:
getSubProperty
in interface OWLSubAnnotationPropertyOfAxiom
- Returns:
- The annotation property that represents the subproperty in this axiom.
getSuperProperty
public OWLAnnotationProperty getSuperProperty()
- Description copied from interface:
OWLSubAnnotationPropertyOfAxiom
- Gets the superproperty of this axiom.
- Specified by:
getSuperProperty
in interface OWLSubAnnotationPropertyOfAxiom
- Returns:
- The annotation property that represents the superproperty in this axiom.
accept
public void accept(OWLAxiomVisitor visitor)
- Specified by:
accept
in interface OWLAxiom
accept
public <O> O accept(OWLAxiomVisitorEx<O> visitor)
- Specified by:
accept
in interface OWLAxiom
isLogicalAxiom
public boolean isLogicalAxiom()
- Description copied from interface:
OWLAxiom
- Determines if this axiom is a logical axiom. Logical axioms are defined to be
axioms other than both declaration axioms (including imports declarations) and annotation
axioms.
- Specified by:
isLogicalAxiom
in interface OWLAxiom
- Returns:
true
if the axiom is a logical axiom, false
if the axiom is not a logical axiom.
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.
accept
public void accept(OWLObjectVisitor visitor)
- Specified by:
accept
in interface OWLObject
accept
public <O> O accept(OWLObjectVisitorEx<O> visitor)
- Specified by:
accept
in interface OWLObject
compareObjectOfSameType
protected int compareObjectOfSameType(OWLObject object)
- Specified by:
compareObjectOfSameType
in class OWLObjectImpl
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in class OWLAxiomImpl