uk.ac.manchester.cs.owl.owlapi

Class OWLAxiomImplWithoutEntityAndAnonCaching

java.lang.Object

uk.ac.manchester.cs.owl.owlapi.OWLObjectImplWithoutEntityAndAnonCaching

uk.ac.manchester.cs.owl.owlapi.OWLAxiomImplWithoutEntityAndAnonCaching

All Implemented Interfaces:

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

Direct Known Subclasses:

OWLAnnotationAssertionAxiomImpl, OWLAnnotationPropertyDomainAxiomImpl, OWLAnnotationPropertyRangeAxiomImpl, OWLDatatypeDefinitionAxiomImpl, OWLDeclarationAxiomImpl, OWLLogicalAxiomImplWithoutEntityAndAnonCaching

public abstract class OWLAxiomImplWithoutEntityAndAnonCaching
extends OWLObjectImplWithoutEntityAndAnonCaching
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
OWLAxiomImplWithoutEntityAndAnonCaching(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.
Set<OWLAnonymousIndividual>	getAnonymousIndividuals() Gets the anonymous individuals occurring in this object.
OWLAxiom	getNNF() Gets this axioms in negation normal form.
Set<OWLEntity>	getSignature() Gets the signature of this object.
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.OWLObjectImplWithoutEntityAndAnonCaching

compareTo, containsEntityInSignature, getAnnotationPropertiesInSignature, getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getNestedClassExpressions, getObjectPropertiesInSignature, 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.HasContainsEntityInSignature

containsEntityInSignature

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

Methods inherited from interface uk.ac.manchester.cs.owl.owlapi.HasIncrementalSignatureGenerationSupport

addAnonymousIndividualsToSet, addSignatureEntitiesToSet

Constructor Detail

OWLAxiomImplWithoutEntityAndAnonCaching

public OWLAxiomImplWithoutEntityAndAnonCaching(@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 OWLObjectImplWithoutEntityAndAnonCaching

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.

getSignature

@Nonnull
public Set<OWLEntity> getSignature()

Description copied from interface: HasSignature

Gets the signature of this object.

Specified by:

getSignature in interface HasSignature

Overrides:

getSignature in class OWLObjectImplWithoutEntityAndAnonCaching

Returns:

A set of entities that represents the signature of this object. Changes are not reflected back.

getAnonymousIndividuals

@Nonnull
public Set<OWLAnonymousIndividual> getAnonymousIndividuals()

Description copied from interface: HasAnonymousIndividuals

Gets the anonymous individuals occurring in this object. The set is a copy, changes are not reflected back.

Specified by:

getAnonymousIndividuals in interface HasAnonymousIndividuals

Overrides:

getAnonymousIndividuals in class OWLObjectImplWithoutEntityAndAnonCaching

Returns:

A set of anonymous individuals