|
||||||||||
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.IntegerSameIndividualAxiom
public class IntegerSameIndividualAxiom
This class models an axiom saying that two or more individuals are the same. There is no unique name assumption.
Constructor Summary | |
---|---|
protected |
IntegerSameIndividualAxiom(Set<Integer> individualSet)
Constructs a new same individual 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> |
getIndividuals()
Returns the set of individuals in this axiom. |
|
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 IntegerSameIndividualAxiom(Set<Integer> individualSet)
individualSet
- set of individuals declared to be the sameMethod 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> getIndividuals()
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 |