owl:Thing in RL profile?

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.

Thanks,

Markus


----------  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 :-)

Thanks,
Stuart.

[1] 
http://km.aifb.uni-karlsruhe.de/projects/owltests/index.php/TestCase:WebOnt-
equivalentClass-001
[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