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

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

public class IntegerDataHasValue
extends Object
implements IntegerClassExpression

This class models a has-value class expression, this is: ∃ r . {v} , where r is data property expression and v is a value.

Author:
Julian Mendez

Constructor Summary
protected IntegerDataHasValue(Integer propertyId, Integer val)
          Constructs a has-value class expression.
 
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()
           
 Set<Integer> getIndividualsInSignature()
           
 Set<Integer> getObjectPropertiesInSignature()
           
 Integer getProperty()
          Returns the data property in this class expression.
 Integer getValue()
          Returns the value 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

IntegerDataHasValue

protected IntegerDataHasValue(Integer propertyId,
                              Integer val)
Constructs a has-value class expression.

Parameters:
propertyId - data property expression
val - value
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

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

getValue

public Integer getValue()
Returns the value in this class expression.

Returns:
the value 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.