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

java.lang.Object
  extended by uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
      extended by uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl
          extended by uk.ac.manchester.cs.owl.owlapi.OWLLogicalAxiomImpl
              extended by uk.ac.manchester.cs.owl.owlapi.OWLIndividualRelationshipAxiomImpl<OWLDataPropertyExpression,OWLLiteral>
                  extended by uk.ac.manchester.cs.owl.owlapi.OWLNegativeDataPropertyAssertionImplAxiom
All Implemented Interfaces:
java.lang.Comparable<OWLObject>, OWLAxiom, OWLIndividualAxiom, OWLLogicalAxiom, OWLNegativeDataPropertyAssertionAxiom, OWLObject, OWLPropertyAssertionAxiom<OWLDataPropertyExpression,OWLLiteral>

public class OWLNegativeDataPropertyAssertionImplAxiom
extends OWLIndividualRelationshipAxiomImpl<OWLDataPropertyExpression,OWLLiteral>
implements OWLNegativeDataPropertyAssertionAxiom

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


Constructor Summary
OWLNegativeDataPropertyAssertionImplAxiom(OWLDataFactory dataFactory, OWLIndividual subject, OWLDataPropertyExpression property, OWLLiteral object, java.util.Set<? extends OWLAnnotation> annotations)
           
 
Method Summary
 void accept(OWLAxiomVisitor visitor)
           
<O> O
accept(OWLAxiomVisitorEx<O> visitor)
           
 void accept(OWLObjectVisitor visitor)
           
<O> O
accept(OWLObjectVisitorEx<O> visitor)
           
 OWLSubClassOfAxiom asOWLSubClassOfAxiom()
           
 boolean containsAnonymousIndividuals()
          Determines whether this axiom contains anonymous individuals.
 boolean equals(java.lang.Object obj)
           
 OWLNegativeDataPropertyAssertionAxiom getAnnotatedAxiom(java.util.Set<OWLAnnotation> annotations)
          Gets a copy of this axiom that is annotated with the specified annotations.
 AxiomType getAxiomType()
          Gets the axiom type for this axiom.
 OWLNegativeDataPropertyAssertionAxiom getAxiomWithoutAnnotations()
          Gets an axiom that is structurally equivalent to this axiom without annotations.
 
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLIndividualRelationshipAxiomImpl
compareObjectOfSameType, getObject, getProperty, getSubject
 
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLLogicalAxiomImpl
isLogicalAxiom
 
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLAxiomImpl
getAnnotations, getNNF, getReferencedEntities, isAnnotated, isOfType, isOfType, mergeAnnos
 
Methods inherited from class uk.ac.manchester.cs.owl.owlapi.OWLObjectImpl
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.OWLPropertyAssertionAxiom
getObject, getProperty, getSubject
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLAxiom
getAnnotations, getNNF, getReferencedEntities, isAnnotated, isLogicalAxiom, isOfType, isOfType
 
Methods inherited from interface org.semanticweb.owlapi.model.OWLObject
getClassesInSignature, getDataPropertiesInSignature, getDatatypesInSignature, getIndividualsInSignature, getObjectPropertiesInSignature, getSignature
 
Methods inherited from interface java.lang.Comparable
compareTo
 

Constructor Detail

OWLNegativeDataPropertyAssertionImplAxiom

public OWLNegativeDataPropertyAssertionImplAxiom(OWLDataFactory dataFactory,
                                                 OWLIndividual subject,
                                                 OWLDataPropertyExpression property,
                                                 OWLLiteral object,
                                                 java.util.Set<? extends OWLAnnotation> annotations)
Method Detail

asOWLSubClassOfAxiom

public OWLSubClassOfAxiom asOWLSubClassOfAxiom()
Specified by:
asOWLSubClassOfAxiom in interface OWLNegativeDataPropertyAssertionAxiom

getAxiomWithoutAnnotations

public OWLNegativeDataPropertyAssertionAxiom getAxiomWithoutAnnotations()
Description copied from interface: OWLAxiom
Gets an axiom that is structurally equivalent to this axiom without annotations. This essentially returns a version of this axiom stripped of any annotations

Specified by:
getAxiomWithoutAnnotations in interface OWLAxiom
Specified by:
getAxiomWithoutAnnotations in interface OWLNegativeDataPropertyAssertionAxiom
Returns:
The annotationless version of this axiom

getAnnotatedAxiom

public OWLNegativeDataPropertyAssertionAxiom getAnnotatedAxiom(java.util.Set<OWLAnnotation> annotations)
Description copied from interface: OWLAxiom
Gets a copy of this axiom that is annotated with the specified annotations. If this axiom has any annotations on it they will be merged with the specified set of annotations. Note that this axiom will not be modified (or remove from any ontologies).

Specified by:
getAnnotatedAxiom in interface OWLAxiom
Parameters:
annotations - The annotations that will be added to existing annotations to annotate the copy of this axiom
Returns:
A copy of this axiom that has the specified annotations plus any existing annotations returned by the OWLAxiom#getAnnotations() method.

containsAnonymousIndividuals

public boolean containsAnonymousIndividuals()
Determines whether this axiom contains anonymous individuals. Anonymous individuals are not allowed in negative data property assertion axioms.

Specified by:
containsAnonymousIndividuals in interface OWLNegativeDataPropertyAssertionAxiom
Returns:
true if this axioms contains anonymous individual axioms

equals

public boolean equals(java.lang.Object obj)
Overrides:
equals in class OWLIndividualRelationshipAxiomImpl<OWLDataPropertyExpression,OWLLiteral>

accept

public void accept(OWLAxiomVisitor visitor)
Specified by:
accept in interface OWLAxiom

accept

public void accept(OWLObjectVisitor visitor)
Specified by:
accept in interface OWLObject

accept

public <O> O accept(OWLAxiomVisitorEx<O> visitor)
Specified by:
accept in interface OWLAxiom

accept

public <O> O accept(OWLObjectVisitorEx<O> visitor)
Specified by:
accept in interface OWLObject

getAxiomType

public AxiomType getAxiomType()
Description copied from interface: OWLAxiom
Gets the axiom type for this axiom.

Specified by:
getAxiomType in interface OWLAxiom
Returns:
The axiom type that corresponds to the type of this axiom.