owl:topObjectProperty or owl:bottomObjectProperty in ObjectPropertyChain

Hello!

I was trying to find out whether owl:topObjectProperty or
owl:bottomObjectProperty may occur in a ObjectPropertyChain according to
OWL 2 standard from 11 December 2012 [1]. It seems to me that the top or
bottom property is allowed to occur in a chain according to the standard,
however, this was not intended. I found a discussion about this in the
archives [2] that mentions that the top property should not occur in chains
due to regularity conditions. However, these conditions, as described in
[1], do not forbid this. For example, if an ontology contains only the
following axiom:

SubObjectPropertyOf( ObjectPropertyChain( :R owl:topObjectProperty :S ) :V )

the property hierarchy as described in section 11.1 of [1] is an empty
relation, so the following regular ordering < satisfying conditions in
section 11.2 of [1] exists:

:R < :V
owl:topObjectProperty < :V
:S < :V

Am I missing something? Or is the definition of property hierarchy from
section 11.1 of [1] missing constraints on owl:topObjectProperty and
owl:bottomObjectProperty ?

[1] OWL 2 Web Ontology Language Structural Specification and
Functional-Style Syntax (Second Edition) W3C Recommendation 11 December
2012 <https://www.w3.org/TR/2012/REC-owl2-syntax-20121211/>

[2] <
https://lists.w3.org/Archives/Public/public-owl-dev/2008JulSep/0078.html>

Received on Thursday, 30 June 2016 10:57:51 UTC