W3C home > Mailing lists > Public > public-owl-wg@w3.org > August 2009

owl:Thing in RL profile?

From: Markus Krötzsch <mak@aifb.uni-karlsruhe.de>
Date: Sat, 8 Aug 2009 15:04:56 +0200
To: "'W3C OWL Working Group'" <public-owl-wg@w3.org>
Message-Id: <200908081504.57997.mak@aifb.uni-karlsruhe.de>
The forwarded email below asks the question whether assertions of the form 

ClassAssertion(owl:Thing auto)

are allowed in OWL RL. They seem to be excluded by the grammar, but maybe this 
is a bug rather than deliberate design. If not, we need to revisit profile 
classifications of some test cases.

Feedback (esp. by the Profiles editors) is welcome.



----------  Forwarded Message  ----------

Subject: Test cases - RL Syntax
Date: Freitag, 7. August 2009
From: Stuart Taylor <staylor@abdn.ac.uk>
To: Markus Krötzsch <mak@aifb.uni-karlsruhe.de>

Hi Markus,

I'm running through the test cases again so that I can update the 
Aberdeen Syntax Checker and have a question about the RL syntax for 
class assertion axioms.

For example in TestCase:WebOnt-equivalentClass-001 [1] premise ontology 
we have the axiom:

ClassAssertion(owl:Thing auto)

 From the RL section of the profiles document [2] we have:

ClassAssertion := 'ClassAssertion' '(' axiomAnnotations 
superClassExpression Individual ')'
superClassExpression :=
    Class other than owl:Thing | ...

Could you confirm whether the test in [1] is OWL 2 RL or not, i.e., does 
RL allow owl:Thing in class assertion axioms? There are several more 
test cases marked as RL which contain this sort of axiom, so I have a 
feeling that I may have overlooked something in the profiles document :-)


[2] http://www.w3.org/2007/OWL/wiki/Profiles#OWL_2_RL


Markus Krötzsch
Institute AIFB, Universität Karlsruhe (TH), 76128 Karlsruhe
phone +49 (0)721 608 7362           fax +49 (0)721 608 5998
mak@aifb.uni-karlsruhe.de           www  http://korrekt.org
http://semantic-web-book.org  http://semantic-mediawiki.org

Received on Saturday, 8 August 2009 13:05:39 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:13 UTC