W3C home > Mailing lists > Public > public-owl-wg@w3.org > November 2008

Re: What is the rationale for "*:x rdf:type owl:NamedIndividual" ?

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Tue, 11 Nov 2008 08:59:58 -0500
Message-ID: <29af5e2d0811110559s48abdda1j61203f039017cf87@mail.gmail.com>
To: "Boris Motik" <boris.motik@comlab.ox.ac.uk>
Cc: "W3C OWL Working Group" <public-owl-wg@w3.org>

On Tue, Nov 11, 2008 at 4:37 AM, Boris Motik
<boris.motik@comlab.ox.ac.uk> wrote:
> Hello,
>
> This declaration has no special meaning: owl:NamedIndividual is not assigned any special meaning in the vocabulary of OWL 2. The
> vocabulary element is used only to denote that 8:x is declared.
>
> Note that writing *:x rdf:type olw:Thing would be ambiguous. You get the same triple by serializing this axiom:
>
> ClassAssertion( owl:Thing *:x )

This is a useless axiom. Therefore I suggest that we consider it the
declaration.

-Alan


>
> To distinguish the two, we need a new vocabulary element to tag declarations of named individuals.
>
> Regards,
>
>        Boris
>
>> -----Original Message-----
>> From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org] On Behalf Of Alan Ruttenberg
>> Sent: 11 November 2008 08:16
>> To: W3C OWL Working Group
>> Subject: What is the rationale for "*:x rdf:type owl:NamedIndividual" ?
>>
>>
>> Why is this needed?
>>
>> BTW, Does this mean that owl:NamedIndividual is a subclass of owl:Thing?
>>
>> -Alan
>
>
>
Received on Tuesday, 11 November 2008 14:00:34 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 11 November 2008 14:00:35 GMT