RE: owl:Thing in RL profile?

The current situation is that starting from explicit typing triples 

  ex:C rdf:type owl:Class .
  ex:w rdf:type ex:C .

the RL/RDF rules provide

  ex:C rdfs:subClassOf owl:Thing . // via rule scm-cls 
  ex:w rdf:type owl:Thing .        // via rule cax-sco

But this does not follow without explicit typing.

There are actually several RL rules treating owl:Thing and owl:Nothing, but
it's pretty incomplete support. But trying to change anything in this late
stage (after PR-voting!) would probably be a bit risky... :-)

Michael

>-----Original Message-----
>From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org]
>On Behalf Of Ian Horrocks
>Sent: Thursday, August 13, 2009 11:32 AM
>To: Boris Motik
>Cc: 'W3C OWL Working Group'
>Subject: Re: owl:Thing in RL profile?
>
>I agree with what Boris says. There are several features that we
>excluded from RL on the grounds that they would hamper practical
>implementation. I believe that this was one of them. The argument
>goes that adding owl:Thing to the profile would require a rule that
>adds the relevant type triple for every individual. Of course there
>is nothing to prevent RL implementations from dealing correctly with
>owl:Thing, but they are not required to do so in order to be conformant.
>
>Ian
>
>
>On 13 Aug 2009, at 07:41, Boris Motik wrote:
>
>> Hello,
>>
>> I seem to remember that we explicitly excluded owl:Thing from OWL 2
>> RL, on the
>> account that it is difficult to support in OWL 2 RL/RDF. The
>> objection there was
>> that the extension of owl:Thing would become very large. As a
>> consequence, the
>> rules axiomatizing owl:Thing were removed from OWL 2 RL/RDF; but
>> then, to make
>> Theorem PR1 hold, we removed owl:Thing from OWL 2 RL as well.
>>
>> I'm not 100% sure of this, but it seems to me that this is what
>> happened.
>>
>> Regards,
>>
>> Boris

--
Dipl.-Inform. Michael Schneider
Research Scientist, Dept. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: michael.schneider@fzi.de
WWW  : http://www.fzi.de/michael.schneider
=======================================================================
FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts, Az 14-0563.1, RP Karlsruhe
Vorstand: Prof. Dr.-Ing. Rüdiger Dillmann, Dipl. Wi.-Ing. Michael Flor,
Prof. Dr. Dr. h.c. Wolffried Stucky, Prof. Dr. Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus
=======================================================================