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:

java.lang.Comparable<OWLObject>, OWLAxiom, OWLObject

Direct Known Subclasses:

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

public abstract class OWLAxiomImpl
extends OWLObjectImpl
implements OWLAxiom

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

Constructor Summary

OWLAxiomImpl(OWLDataFactory dataFactory, java.util.Collection<? extends OWLAnnotation> annotations)

Method Summary

boolean	equals(java.lang.Object obj)
boolean	equalsIgnoreAnnotations(OWLAxiom axiom) Determines if another axiom is equal to this axiom not taking into consideration the annotations on the axiom
java.util.Set<OWLAnnotation>	getAnnotations() Gets the annotations that are annotate this axiom.
java.util.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.
java.util.Set<OWLEntity>	getReferencedEntities()
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(java.util.Set<AxiomType<?>> types) Determines if this axiom is one of the specified types
protected java.util.Set<OWLAnnotation>	mergeAnnos(java.util.Set<OWLAnnotation> annos) A convenience method for implementation that returns a set containing the annotations on this axiom plus the annoations in the specified set.

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

compareObjectOfSameType, 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 org.semanticweb.owlapi.model.OWLAxiom

accept, accept, getAnnotatedAxiom, getAxiomType, getAxiomWithoutAnnotations, isLogicalAxiom

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

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

Methods inherited from interface java.lang.Comparable

compareTo

Constructor Detail

OWLAxiomImpl

public OWLAxiomImpl(OWLDataFactory dataFactory,
                    java.util.Collection<? extends OWLAnnotation> annotations)

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 java.util.Set<OWLAnnotation> getAnnotations()

Description copied from interface: OWLAxiom

Gets the annotations that are annotate this axiom.

Specified by:

getAnnotations in interface OWLAxiom

Returns:

A set of annotations that annotate this axiom.

getAnnotations

public java.util.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)

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)

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

Since:

3.0

isOfType

public boolean isOfType(java.util.Set<AxiomType<?>> types)

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

Since:

3.0

mergeAnnos

protected java.util.Set<OWLAnnotation> mergeAnnos(java.util.Set<OWLAnnotation> annos)

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

Parameters:

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

Returns:

The annotations

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class OWLObjectImpl

getReferencedEntities

public java.util.Set<OWLEntity> getReferencedEntities()

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.