|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.tudresden.inf.lat.jcel.ontology.datatype.IntegerObjectSomeValuesFrom
public class IntegerObjectSomeValuesFrom
This class models an existential restriction with object properties, this is: ∃ r . C , where r is an object property expression and C is a class expression.
Constructor Summary | |
---|---|
protected |
IntegerObjectSomeValuesFrom(IntegerObjectPropertyExpression propertyExpression,
IntegerClassExpression classExpression)
Constructs an existential restriction. |
Method Summary | ||
---|---|---|
|
accept(IntegerClassExpressionVisitor<T> visitor)
|
|
boolean |
containsBottom()
Tells whether or not this class expression contains a bottom. |
|
boolean |
containsOnlyOneClass()
Tells whether or not this class expression contains only one class in its signature. |
|
boolean |
equals(Object o)
|
|
Set<Integer> |
getClassesInSignature()
|
|
Set<Integer> |
getDataPropertiesInSignature()
|
|
Set<Integer> |
getDatatypesInSignature()
|
|
IntegerClassExpression |
getFiller()
Returns the filler. |
|
Set<Integer> |
getIndividualsInSignature()
|
|
Set<Integer> |
getObjectPropertiesInSignature()
|
|
IntegerObjectPropertyExpression |
getProperty()
|
|
int |
hashCode()
|
|
boolean |
isLiteral()
Tells whether or not this class expression is a literal. |
|
String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
protected IntegerObjectSomeValuesFrom(IntegerObjectPropertyExpression propertyExpression, IntegerClassExpression classExpression)
propertyExpression
- property expressionclassExpression
- class expressionMethod Detail |
---|
public <T> T accept(IntegerClassExpressionVisitor<T> visitor)
accept
in interface IntegerClassExpression
public boolean containsBottom()
IntegerClassExpression
containsBottom
in interface IntegerClassExpression
true
if and only if this class expression contains a
bottompublic boolean containsOnlyOneClass()
IntegerClassExpression
containsOnlyOneClass
in interface IntegerClassExpression
true
if and only if this class expression contains
only literalspublic 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 IntegerClassExpression getFiller()
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 boolean isLiteral()
IntegerClassExpression
isLiteral
in interface IntegerClassExpression
true
if and only if this class expression is a
literalpublic String toString()
toString
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |