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

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.OWLClassAxiomImpl
                  extended by uk.ac.manchester.cs.owl.owlapi.OWLSubClassOfAxiomImpl
All Implemented Interfaces:
java.lang.Comparable<OWLObject>, OWLAxiom, OWLClassAxiom, OWLLogicalAxiom, OWLNaryClassAxiom, OWLObject, OWLSubClassOfAxiom

public class OWLSubClassOfAxiomImpl
extends OWLClassAxiomImpl
implements OWLSubClassOfAxiom

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


Constructor Summary
OWLSubClassOfAxiomImpl(OWLDataFactory dataFactory, OWLClassExpression subClass, OWLClassExpression superClass, java.util.Collection<? 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)
           
protected  int compareObjectOfSameType(OWLObject object)
           
 boolean equals(java.lang.Object obj)
           
 OWLSubClassOfAxiom 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.
 OWLSubClassOfAxiom getAxiomWithoutAnnotations()
          Gets an axiom that is structurally equivalent to this axiom without annotations.
 java.util.Set<OWLClassExpression> getClassExpressions()
          Gets all of the top level class expressions that appear in this axiom.
 java.util.Set<OWLClassExpression> getClassExpressionsMinus(OWLClassExpression... desc)
          Gets the set of class expressions that appear in this axiom minus the specfied class expressions.
 OWLClassExpression getSubClass()
           
 OWLClassExpression getSuperClass()
           
 boolean isGCI()
          Determines if this subclass axiom has a subclass that is anonymous.
 
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.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

OWLSubClassOfAxiomImpl

public OWLSubClassOfAxiomImpl(OWLDataFactory dataFactory,
                              OWLClassExpression subClass,
                              OWLClassExpression superClass,
                              java.util.Collection<? extends OWLAnnotation> annotations)
Method Detail

getClassExpressions

public java.util.Set<OWLClassExpression> getClassExpressions()
Description copied from interface: OWLNaryClassAxiom
Gets all of the top level class expressions that appear in this axiom.

Specified by:
getClassExpressions in interface OWLNaryClassAxiom
Returns:
A Set of class expressions that appear in the axiom.

getClassExpressionsMinus

public java.util.Set<OWLClassExpression> getClassExpressionsMinus(OWLClassExpression... desc)
Description copied from interface: OWLNaryClassAxiom
Gets the set of class expressions that appear in this axiom minus the specfied class expressions.

Specified by:
getClassExpressionsMinus in interface OWLNaryClassAxiom
Parameters:
desc - The class expressions to subtract from the class expressions in this axiom
Returns:
A set containing all of the class expressions in this axiom (the class expressions returned by getClassExpressions()) minus the specified list of class expressions

getAnnotatedAxiom

public OWLSubClassOfAxiom 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.

getAxiomWithoutAnnotations

public OWLSubClassOfAxiom 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 OWLSubClassOfAxiom
Returns:
The annotationless version of this axiom

getSubClass

public OWLClassExpression getSubClass()
Specified by:
getSubClass in interface OWLSubClassOfAxiom

getSuperClass

public OWLClassExpression getSuperClass()
Specified by:
getSuperClass in interface OWLSubClassOfAxiom

isGCI

public boolean isGCI()
Description copied from interface: OWLSubClassOfAxiom
Determines if this subclass axiom has a subclass that is anonymous. (if the subclass is anonymous then the subclass axiom is known as a General Concept Inclusion - GCI).

Specified by:
isGCI in interface OWLSubClassOfAxiom
Returns:
true if this axiom is a GCI, other wise false.

equals

public boolean equals(java.lang.Object obj)
Overrides:
equals in class OWLAxiomImpl

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.

compareObjectOfSameType

protected int compareObjectOfSameType(OWLObject object)
Specified by:
compareObjectOfSameType in class OWLObjectImpl