|
||||||||||
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.IntegerEquivalentClassesAxiom
public class IntegerEquivalentClassesAxiom
This class models an axiom stating that the contained classes are equivalent.
This is: A1 ≡ A2, A2 ≡
A3, … , An-1 ≡ An
Constructor Summary | |
---|---|
protected |
IntegerEquivalentClassesAxiom(Set<IntegerClassExpression> descSet)
Constructs a new equivalent classes axiom. |
Method Summary | ||
---|---|---|
|
accept(ComplexIntegerAxiomVisitor<T> visitor)
Applies a visitor to this complex integer axiom. |
|
boolean |
equals(Object o)
|
|
Set<Integer> |
getClassesInSignature()
|
|
Set<IntegerClassExpression> |
getClassExpressions()
Returns the set of equivalent classes in this axiom. |
|
Set<Integer> |
getDataPropertiesInSignature()
|
|
Set<Integer> |
getDatatypesInSignature()
|
|
Set<Integer> |
getIndividualsInSignature()
|
|
Set<Integer> |
getObjectPropertiesInSignature()
|
|
int |
hashCode()
|
|
String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
protected IntegerEquivalentClassesAxiom(Set<IntegerClassExpression> descSet)
descSet
- set of classes declared to be equivalentMethod 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<IntegerClassExpression> getClassExpressions()
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 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 |