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

Class ObjectSomeValuesFromImpl

java.lang.Object

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

All Implemented Interfaces:

ClassExpression, Description, DescriptionBT, ObjectSomeValuesFrom

public class ObjectSomeValuesFromImpl
extends Object
implements ObjectSomeValuesFrom

subObjectSomeValuesFrom in OWL 2 QL Specification

subObjectSomeValuesFrom := 'ObjectSomeValuesFrom' '(' ObjectPropertyExpression owl:Thing ')'

Implements (partially) rule [O5] in methods isTop and isBottom
- the class expression is equivalent to top if the property is top
- 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)
ObjectPropertyExpression	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 ObjectPropertyExpression getProperty()

Specified by:

getProperty in interface ObjectSomeValuesFrom

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