it.unibz.inf.ontop.spec.ontology.impl

Class DataSomeValuesFromImpl

java.lang.Object

it.unibz.inf.ontop.spec.ontology.impl.DataSomeValuesFromImpl

All Implemented Interfaces:

ClassExpression, DataSomeValuesFrom, Description, DescriptionBT

public class DataSomeValuesFromImpl
extends Object
implements DataSomeValuesFrom

DataSomeValuesFrom in OWL 2 QL Specification

DataSomeValuesFrom := 'DataSomeValuesFrom' '(' DataPropertyExpression DataRange ')'

Implements (partially) rule [D5] in methods isTop and isBottom
- the class expression is equivalent to top if the property is top (the data range cannot be empty)
- the class expression is equivalent to bot if the property is bot

Author:

Roman Kontchakov

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
Datatype	getDatatype()
DataPropertyExpression	getProperty()
int	hashCode()
boolean	isBottom() checks (syntactically, irrespective of any ontology) whether the class or property expression is equivalent to owl:Nothing/owl:BottomObjectProperty/owl:BottomDataProperty
boolean	isTop() checks (syntactically, irrespective of any ontology) whether the class or property expression is equivalent to owl:Thing/owl:TopObjectProperty/owl:TopDataProperty
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

getProperty

public DataPropertyExpression getProperty()

Specified by:

getProperty in interface DataSomeValuesFrom

getDatatype

public Datatype getDatatype()

Specified by:

getDatatype in interface DataSomeValuesFrom

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

isBottom

public boolean isBottom()

Description copied from interface: DescriptionBT

checks (syntactically, irrespective of any ontology) whether the class or property expression is equivalent to owl:Nothing/owl:BottomObjectProperty/owl:BottomDataProperty

Specified by:

isBottom in interface DescriptionBT

Returns:

true if the expression is equivalent to the smallest element

isTop

public boolean isTop()

Description copied from interface: DescriptionBT

checks (syntactically, irrespective of any ontology) whether the class or property expression is equivalent to owl:Thing/owl:TopObjectProperty/owl:TopDataProperty

Specified by:

isTop in interface DescriptionBT

Returns:

true if the expression is equivalent to largest element