|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.tudresden.inf.lat.jcel.coreontology.axiom.GCI2Axiom
public class GCI2Axiom
Axiom of the form:
Constructor Summary | |
---|---|
protected |
GCI2Axiom(int leftCl,
int rightProp,
int rightCl)
Constructs a new GCI-2 axiom. |
Method Summary | ||
---|---|---|
|
accept(NormalizedIntegerAxiomVisitor<T> visitor)
Applies a visitor to this normalized integer axiom. |
|
boolean |
equals(Object o)
|
|
Set<Integer> |
getClassesInSignature()
Returns the classes in the signature. |
|
int |
getClassInSuperClass()
Returns the class in the right-hand part of the axiom. |
|
Set<Integer> |
getDataPropertiesInSignature()
Returns the data properties in the signature. |
|
Set<Integer> |
getDatatypesInSignature()
Returns the data types in the signature. |
|
Set<Integer> |
getIndividualsInSignature()
Returns the individuals in the signature. |
|
Set<Integer> |
getObjectPropertiesInSignature()
Returns the object properties in the signature. |
|
int |
getPropertyInSuperClass()
Returns the object property on the right-hand part of the axiom. |
|
int |
getSubClass()
Returns the subclass in the axiom. |
|
int |
hashCode()
|
|
String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
protected GCI2Axiom(int leftCl, int rightProp, int rightCl)
leftCl
- subclass identifierrightProp
- object property identifierrightCl
- class identifier for the right-hand partMethod Detail |
---|
public <T> T accept(NormalizedIntegerAxiomVisitor<T> visitor)
NormalizedIntegerAxiom
accept
in interface NormalizedIntegerAxiom
T
- the return type of the visitor's methodsvisitor
- visitor
public boolean equals(Object o)
equals
in class Object
public Set<Integer> getClassesInSignature()
IntegerDatatype
getClassesInSignature
in interface IntegerDatatype
public int getClassInSuperClass()
public Set<Integer> getDataPropertiesInSignature()
IntegerDatatype
getDataPropertiesInSignature
in interface IntegerDatatype
public Set<Integer> getDatatypesInSignature()
IntegerDatatype
getDatatypesInSignature
in interface IntegerDatatype
public Set<Integer> getIndividualsInSignature()
IntegerDatatype
getIndividualsInSignature
in interface IntegerDatatype
public Set<Integer> getObjectPropertiesInSignature()
IntegerDatatype
getObjectPropertiesInSignature
in interface IntegerDatatype
public int getPropertyInSuperClass()
public int getSubClass()
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 |