|
||||||||||
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.IntegerFunctionalObjectPropertyAxiom
public class IntegerFunctionalObjectPropertyAxiom
This class models an axiom stating that an object property is functional.
Constructor Summary | |
---|---|
protected |
IntegerFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression property)
Constructs a new functional object property 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()
|
|
IntegerObjectPropertyExpression |
getProperty()
Returns the object property 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 IntegerFunctionalObjectPropertyAxiom(IntegerObjectPropertyExpression property)
property
- object property declared functionalMethod 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 IntegerObjectPropertyExpression getProperty()
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 |