uk.ac.manchester.cs.owl.owlapi

Class OWLAxiomImplWithEntityAndAnonCaching

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLObjectImplWithEntityAndAnonCaching

uk.ac.manchester.cs.owl.owlapi.OWLAxiomImplWithEntityAndAnonCaching

All Implemented Interfaces:

Serializable, Comparable<OWLObject>, HasAnnotationPropertiesInSignature, HasAnnotations, HasAnonymousIndividuals, HasClassesInSignature, HasContainsEntityInSignature, HasDataPropertiesInSignature, HasDatatypesInSignature, HasIndividualsInSignature, HasObjectPropertiesInSignature, HasSignature, IsAnonymous, OWLAxiom, OWLObject, CollectionContainer<OWLAnnotation>

Direct Known Subclasses:

OWLLogicalAxiomImplWithEntityAndAnonCaching, OWLSubAnnotationPropertyOfAxiomImpl

public abstract class OWLAxiomImplWithEntityAndAnonCaching
extends OWLObjectImplWithEntityAndAnonCaching
implements OWLAxiom, CollectionContainer<OWLAnnotation>

Since:

2.0.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

See Also:

Serialized Form

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	accept(CollectionContainerVisitor<OWLAnnotation> t)
boolean	equals(Object obj)
boolean	equalsIgnoreAnnotations(OWLAxiom axiom) Determines if another axiom is equal to this axiom not taking into consideration the annotations on the axiom
Set<OWLAnnotation>	getAnnotations() Gets the annotations that are annotate this axiom.
Set<OWLAnnotation>	getAnnotations(OWLAnnotationProperty annotationProperty) Gets the annotations that annotate this axiom and whose annotation property is equal to annotationProperty.
OWLAxiom	getNNF() Gets this axioms in negation normal form.
boolean	isAnnotated() Determines if this axiom has any annotations on it
boolean	isOfType(AxiomType<?>... axiomTypes) Determines if this axiom is one of the specified types
boolean	isOfType(Set<AxiomType<?>> types) Determines if this axiom is one of the specified types

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

compareTo, containsEntityInSignature, getAnnotationPropertiesInSignature, getAnonymousIndividuals, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, getSignature, hashCode, isBottomEntity, isTopEntity, toString

Methods inherited from class java.lang.Object

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, getNestedClassExpressions, isBottomEntity, isIndividual, isIRI, isTopEntity, toString

Methods inherited from interface java.lang.Comparable

compareTo

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

getSignature

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

containsEntityInSignature

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

getAnonymousIndividuals

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

getClassesInSignature

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

getObjectPropertiesInSignature

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

getDataPropertiesInSignature

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

getIndividualsInSignature

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

getDatatypesInSignature

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

getAnnotationPropertiesInSignature

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

isAnonymous, isNamed

Constructor Detail

OWLAxiomImplWithEntityAndAnonCaching

public OWLAxiomImplWithEntityAndAnonCaching(@Nonnull
                                            Collection<? extends OWLAnnotation> annotations)

Parameters:

annotations - annotations on the axiom

Method Detail

isAnnotated

public boolean isAnnotated()

Description copied from interface: OWLAxiom

Determines if this axiom has any annotations on it

Specified by:

isAnnotated in interface OWLAxiom

Returns:

true if this axiom has annotations on it, otherwise false

getAnnotations

public Set<OWLAnnotation> getAnnotations()

Description copied from interface: OWLAxiom

Gets the annotations that are annotate this axiom.

Specified by:

getAnnotations in interface HasAnnotations

Specified by:

getAnnotations in interface OWLAxiom

Returns:

A set of annotations that annotate this axiom.

accept

public void accept(CollectionContainerVisitor<OWLAnnotation> t)

Specified by:

accept in interface CollectionContainer<OWLAnnotation>

Parameters:

t - visitor to accept

getAnnotations

public Set<OWLAnnotation> getAnnotations(OWLAnnotationProperty annotationProperty)

Description copied from interface: OWLAxiom

Gets the annotations that annotate this axiom and whose annotation property is equal to annotationProperty.

Specified by:

getAnnotations in interface OWLAxiom

Parameters:

annotationProperty - The annotation property that will be equal to the annotation property of each returned annotation.

Returns:

A set of annotations that annotate this axiom, each of whose annotation properties is equals to annotationProperty.

equalsIgnoreAnnotations

public boolean equalsIgnoreAnnotations(OWLAxiom axiom)

Description copied from interface: OWLAxiom

Determines if another axiom is equal to this axiom not taking into consideration the annotations on the axiom

Specified by:

equalsIgnoreAnnotations in interface OWLAxiom

Parameters:

axiom - The axiom to test if equal

Returns:

true if axiom without annotations is equal to this axiom without annotations otherwise false.

isOfType

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

Description copied from interface: OWLAxiom

Determines if this axiom is one of the specified types

Specified by:

isOfType in interface OWLAxiom

Parameters:

axiomTypes - The axiom types to check for

Returns:

true if this axiom is one of the specified types, otherwise false

isOfType

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

Description copied from interface: OWLAxiom

Determines if this axiom is one of the specified types

Specified by:

isOfType in interface OWLAxiom

Parameters:

types - The axiom types to check for

Returns:

true if this axioms is one of the specified types, otherwise false

equals

public boolean equals(Object obj)

Overrides:

equals in class OWLObjectImplWithEntityAndAnonCaching

getNNF

public OWLAxiom getNNF()

Description copied from interface: OWLAxiom

Gets this axioms in negation normal form. i.e. any class expressions involved in this axiom are converted into negation normal form.

Specified by:

getNNF in interface OWLAxiom

Returns:

The axiom in negation normal form.