- From: Peter Skočovský <peter.skocovsky@uni-ulm.de>
- Date: Thu, 30 Jun 2016 12:53:42 +0200
- To: public-owl-comments@w3.org
- Message-ID: <CA+ONpqrpp1JB10Xbpy7f3vra8Vy3+5i3B7uiFeBPjOFiFQz+rA@mail.gmail.com>
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