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

java.lang.Object
  extended by uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
      extended by 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)
           
 java.util.Set<OWLAnnotation> getAnnotations()
          Gets the annotations that are annotate this axiom.
 OWLAxiom getNNF()
          Gets this axioms in negation normal form.
 java.util.Set<OWLEntity> getReferencedEntities()
          A convenience method that obtains the entities that this axiom references.
 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, getObjectPropertiesInSignature, getOWLDataFactory, getSignature, hashCode, 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, getObjectPropertiesInSignature, getSignature
 
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.

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()
Description copied from interface: OWLAxiom
A convenience method that obtains the entities that this axiom references.

Specified by:
getReferencedEntities in interface OWLAxiom
Returns:
A set of OWLEntity objects.

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.