uk.ac.manchester.cs.owl.owlapi

Class OWLAxiomImpl

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, OWLAxiom, OWLObject, CollectionContainer<OWLAnnotation>

Direct Known Subclasses:

OWLAnnotationAssertionAxiomImpl, OWLAnnotationPropertyDomainAxiomImpl, OWLAnnotationPropertyRangeAxiomImpl, OWLDatatypeDefinitionAxiomImpl, OWLDeclarationAxiomImpl, OWLLogicalAxiomImpl, OWLSubAnnotationPropertyOfAxiomImpl

public abstract class OWLAxiomImpl
extends OWLObjectImpl
implements OWLAxiom, CollectionContainer<OWLAnnotation>

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Oct-2006

See Also:

Serialized Form

Field Summary

Fields inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

NO_ANNOTATIONS, OWL_THING

Constructor Summary

Constructors

Constructor and Description
OWLAxiomImpl(Collection<? extends OWLAnnotation> annotations)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(CollectionContainerVisitor<OWLAnnotation> t)
boolean	equals(Object obj)
boolean	equalsIgnoreAnnotations(OWLAxiom axiom)
Set<OWLAnnotation>	getAnnotations()
Set<OWLAnnotation>	getAnnotations(OWLAnnotationProperty annotationProperty)
OWLAxiom	getNNF()
boolean	isAnnotated()
boolean	isOfType(AxiomType<?>... axiomTypes)
boolean	isOfType(Set<AxiomType<?>> types)
protected Set<OWLAnnotation>	mergeAnnos(Set<OWLAnnotation> annos) A convenience method for implementation that returns a set containing the annotations on this axiom plus the annotations in the specified set.

Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl

compareLists, compareObjectOfSameType, compareSets, compareTo, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom

accept, accept, getAnnotatedAxiom, getAxiomType, getAxiomWithoutAnnotations, isAnnotationAxiom, isLogicalAxiom

Methods inherited from interface org.semanticweb.owlapi.model.OWLObject

accept, accept, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, isBottomEntity, isTopEntity

Methods inherited from interface java.lang.Comparable

compareTo

Constructor Detail

OWLAxiomImpl

public OWLAxiomImpl(Collection<? extends OWLAnnotation> annotations)

Method Detail

isAnnotated

public boolean isAnnotated()

Specified by:

isAnnotated in interface OWLAxiom

getAnnotations

public Set<OWLAnnotation> getAnnotations()

Specified by:

getAnnotations in interface OWLAxiom

accept

public void accept(CollectionContainerVisitor<OWLAnnotation> t)

Specified by:

accept in interface CollectionContainer<OWLAnnotation>

getAnnotations

public Set<OWLAnnotation> getAnnotations(OWLAnnotationProperty annotationProperty)

Specified by:

getAnnotations in interface OWLAxiom

equalsIgnoreAnnotations

public boolean equalsIgnoreAnnotations(OWLAxiom axiom)

Specified by:

equalsIgnoreAnnotations in interface OWLAxiom

isOfType

public boolean isOfType(AxiomType<?>... axiomTypes)

Specified by:

isOfType in interface OWLAxiom

isOfType

public boolean isOfType(Set<AxiomType<?>> types)

Specified by:

isOfType in interface OWLAxiom

mergeAnnos

protected Set<OWLAnnotation> mergeAnnos(Set<OWLAnnotation> annos)

A convenience method for implementation that returns a set containing the annotations on this axiom plus the annotations in the specified set.

Parameters:

annos - The annotations to add to the annotations on this axiom

Returns:

The annotations

equals

public boolean equals(Object obj)

Overrides:

equals in class OWLObjectImpl

getNNF

public OWLAxiom getNNF()

Specified by:

getNNF in interface OWLAxiom