de.tudresden.inf.lat.jcel.ontology.axiom.complex
Class IntegerSubClassOfAxiom

java.lang.Object
  extended by de.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
All Implemented Interfaces:
de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerAxiom, de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype, ComplexIntegerAxiom

public class IntegerSubClassOfAxiom
extends Object
implements ComplexIntegerAxiom

This class models an axiom stating that one class is a subclass of another one.
This is : A ⊑ B

Author:
Julian Mendez

Constructor Summary
protected IntegerSubClassOfAxiom(IntegerClassExpression subClExpr, IntegerClassExpression superClExpr)
          Constructs a new subclass axiom.
 
Method Summary
<T> T
accept(ComplexIntegerAxiomVisitor<T> visitor)
          Applies a visitor to this complex integer axiom.
 boolean equals(Object o)
           
 Set<Integer> getClassesInSignature()
           
 Set<Integer> getDataPropertiesInSignature()
           
 Set<Integer> getDatatypesInSignature()
           
 Set<Integer> getIndividualsInSignature()
           
 Set<Integer> getObjectPropertiesInSignature()
           
 IntegerClassExpression getSubClass()
          Returns the subclass in this axiom.
 IntegerClassExpression getSuperClass()
          Returns the superclass in this axiom.
 int hashCode()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

IntegerSubClassOfAxiom

protected IntegerSubClassOfAxiom(IntegerClassExpression subClExpr,
                                 IntegerClassExpression superClExpr)
Constructs a new subclass axiom.

Parameters:
subClExpr - subclass
superClExpr - superclass
Method Detail

accept

public <T> T accept(ComplexIntegerAxiomVisitor<T> visitor)
Description copied from interface: ComplexIntegerAxiom
Applies a visitor to this complex integer axiom.

Specified by:
accept in interface ComplexIntegerAxiom
Type Parameters:
T - the return type of the visitor's methods
Parameters:
visitor - visitor
Returns:
the visit result

equals

public boolean equals(Object o)
Overrides:
equals in class Object

getClassesInSignature

public Set<Integer> getClassesInSignature()
Specified by:
getClassesInSignature in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

getDataPropertiesInSignature

public Set<Integer> getDataPropertiesInSignature()
Specified by:
getDataPropertiesInSignature in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

getDatatypesInSignature

public Set<Integer> getDatatypesInSignature()
Specified by:
getDatatypesInSignature in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

getIndividualsInSignature

public Set<Integer> getIndividualsInSignature()
Specified by:
getIndividualsInSignature in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

getObjectPropertiesInSignature

public Set<Integer> getObjectPropertiesInSignature()
Specified by:
getObjectPropertiesInSignature in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

getSubClass

public IntegerClassExpression getSubClass()
Returns the subclass in this axiom.

Returns:
the subclass in this axiom

getSuperClass

public IntegerClassExpression getSuperClass()
Returns the superclass in this axiom.

Returns:
the superclass in this axiom

hashCode

public int hashCode()
Overrides:
hashCode in class Object

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.