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

Re: owl:Thing in RL profile?

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Thu, 13 Aug 2009 22:05:35 +0100
Cc: Boris Motik <boris.motik@comlab.ox.ac.uk>, "'W3C OWL Working Group'" <public-owl-wg@w3.org>
Message-Id: <88E4679F-943E-4D39-93D3-7E3C47A6A840@cs.man.ac.uk>
To: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>
On 13 Aug 2009, at 10:31, Ian Horrocks wrote:

> 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.

Plus, frankly, owl:Thing instantiation entailments (or assertions) are  
silly, given their tautologous nature.

Cheers,
Bijan.
Received on Thursday, 13 August 2009 21:06:35 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 13 August 2009 21:06:37 GMT