|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.tudresden.inf.lat.jcel.ontology.axiom.complex.IntegerSubClassOfAxiom
public class IntegerSubClassOfAxiom
This class models an axiom stating that one class is a subclass of another
one.
This is : A ⊑ B
Constructor Summary | |
---|---|
protected |
IntegerSubClassOfAxiom(IntegerClassExpression subClExpr,
IntegerClassExpression superClExpr)
Constructs a new subclass axiom. |
Method Summary | ||
---|---|---|
|
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 |
---|
protected IntegerSubClassOfAxiom(IntegerClassExpression subClExpr, IntegerClassExpression superClExpr)
subClExpr
- subclasssuperClExpr
- superclassMethod Detail |
---|
public <T> T accept(ComplexIntegerAxiomVisitor<T> visitor)
ComplexIntegerAxiom
accept
in interface ComplexIntegerAxiom
T
- the return type of the visitor's methodsvisitor
- visitor
public boolean equals(Object o)
equals
in class Object
public Set<Integer> getClassesInSignature()
getClassesInSignature
in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
public Set<Integer> getDataPropertiesInSignature()
getDataPropertiesInSignature
in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
public Set<Integer> getDatatypesInSignature()
getDatatypesInSignature
in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
public Set<Integer> getIndividualsInSignature()
getIndividualsInSignature
in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
public Set<Integer> getObjectPropertiesInSignature()
getObjectPropertiesInSignature
in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype
public IntegerClassExpression getSubClass()
public IntegerClassExpression getSuperClass()
public int hashCode()
hashCode
in class Object
public String toString()
toString
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |