de.tudresden.inf.lat.jcel.ontology.datatype
Class IntegerDataSomeValuesFrom

java.lang.Object
  extended by de.tudresden.inf.lat.jcel.ontology.datatype.IntegerDataSomeValuesFrom
All Implemented Interfaces:
de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype, IntegerClassExpression

public class IntegerDataSomeValuesFrom
extends Object
implements IntegerClassExpression

This class models an existential restriction with data properties, this is: ∃ p . C, where p is a data property and C is a class expression.

Author:
Julian Mendez

Constructor Summary
protected IntegerDataSomeValuesFrom(Integer propertyId, IntegerClassExpression classExpression)
          Constructs an existential restriction.
 
Method Summary
<T> T
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 class expression in this class expression.
 Set<Integer> getIndividualsInSignature()
           
 Set<Integer> getObjectPropertiesInSignature()
           
 Integer getProperty()
          Returns the data property in this class expression.
 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

IntegerDataSomeValuesFrom

protected IntegerDataSomeValuesFrom(Integer propertyId,
                                    IntegerClassExpression classExpression)
Constructs an existential restriction.

Parameters:
propertyId -
classExpression -
Method Detail

accept

public <T> T accept(IntegerClassExpressionVisitor<T> visitor)
Specified by:
accept in interface IntegerClassExpression

containsBottom

public boolean containsBottom()
Description copied from interface: IntegerClassExpression
Tells whether or not this class expression contains a bottom.

Specified by:
containsBottom in interface IntegerClassExpression
Returns:
true if and only if this class expression contains a bottom

containsOnlyOneClass

public boolean containsOnlyOneClass()
Description copied from interface: IntegerClassExpression
Tells whether or not this class expression contains only one class in its signature.

Specified by:
containsOnlyOneClass in interface IntegerClassExpression
Returns:
true if and only if this class expression contains only literals

equals

public boolean equals(Object o)
Overrides:
equals in class Object

getClassesInSignature

public Set<Integer> getClassesInSignature()
Specified by:
getClassesInSignature in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

getDataPropertiesInSignature

public Set<Integer> getDataPropertiesInSignature()
Specified by:
getDataPropertiesInSignature in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

getDatatypesInSignature

public Set<Integer> getDatatypesInSignature()
Specified by:
getDatatypesInSignature in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

getFiller

public IntegerClassExpression getFiller()
Returns the class expression in this class expression.

Returns:
the class expression in this class expression

getIndividualsInSignature

public Set<Integer> getIndividualsInSignature()
Specified by:
getIndividualsInSignature in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

getObjectPropertiesInSignature

public Set<Integer> getObjectPropertiesInSignature()
Specified by:
getObjectPropertiesInSignature in interface de.tudresden.inf.lat.jcel.coreontology.datatype.IntegerDatatype

getProperty

public Integer getProperty()
Returns the data property in this class expression.

Returns:
the data property in this class expression.

hashCode

public int hashCode()
Overrides:
hashCode in class Object

isLiteral

public boolean isLiteral()
Description copied from interface: IntegerClassExpression
Tells whether or not this class expression is a literal.

Specified by:
isLiteral in interface IntegerClassExpression
Returns:
true if and only if this class expression is a literal

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2012. All Rights Reserved.