it.unibz.inf.ontop.spec.ontology

Interface DescriptionBT

All Superinterfaces:

Description

All Known Subinterfaces:

ClassExpression, DataPropertyExpression, DataSomeValuesFrom, ObjectPropertyExpression, ObjectSomeValuesFrom, OClass

All Known Implementing Classes:

ClassImpl, DataPropertyExpressionImpl, DataSomeValuesFromImpl, ObjectPropertyExpressionImpl, ObjectSomeValuesFromImpl

public interface DescriptionBT
extends Description

Represents partially ordered classes and object and data properties isTop/isBottom are two syntactic checks for the largest/smallest element in the partial order

Author:

Roman Kontchakov

Method Summary

Modifier and Type	Method and Description
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

Method Detail

isBottom

boolean isBottom()

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

Returns:

true if the expression is equivalent to the smallest element

isTop

boolean isTop()

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

Returns:

true if the expression is equivalent to largest element