W3C home > Mailing lists > Public > public-lod@w3.org > June 2011

Re: Schema.org in RDF ...

From: Danny Ayers <danny.ayers@gmail.com>
Date: Sun, 12 Jun 2011 18:57:22 +0200
Message-ID: <BANLkTi=MOLKoROmjx3hPJvhgpzTTXU8rCA@mail.gmail.com>
To: Richard Cyganiak <richard@cyganiak.de>
Cc: Pat Hayes <phayes@ihmc.us>, Linked Data community <public-lod@w3.org>, Michael Hausenblas <michael.hausenblas@deri.org>
On 12 June 2011 16:26, Richard Cyganiak <richard@cyganiak.de> wrote:
> Hi Pat,
>
> On 12 Jun 2011, at 00:33, Pat Hayes wrote:
>>>> Nothing is gained from the range assertions. They should be dropped.
>>>
>>> They capture a part of the schema.org documentation: the “expected type” of each property. That part of the documentation would be lost. Conversely, nothing is gained by dropping them.
>>
>> Let me respectfully disagree. Range assertions (in RDFS or OWL) do *not* capture the notion of "expected type". They state a strict actual type, and cannot be consistently be "over-ridden" by some other information. Which has the consequence that these are liable to be, quite often, plain flat wrong. Which in turn has the consequence that there is something to be gained by dropping them, to wit, internal consistency. They are not mere documentation; they have strictly entailed consequences which many actual reasoners can and will generate, and which to deny would be to violate the RDFS specs. If you don't want these conclusions to be generated, don't make the assertions that would sanction them.
>
> Data on the Web is messy. You cannot reason over it without filtering it first. I think it is useful to document how data publishers are *expected* to use these terms, even if we know that many will -- for good or bad reasons -- use them in *unexpected* ways.
>
>> For documentation, use the structures provided in RDFS for documentation, such as rdfs:comment.
>
> rdfs:comment is for prose. We explicitly know the “expected types” of properties, and I'd like to keep that information in a structured form rather than burying it in prose. As far as I can see, rdfs:range is the closest available term in W3C's data modeling toolkit, and it *is* correct as long as data publishers use the terms with the “expected type.”

I don't think it is that close to "expected type", or at least it's
kinda back to front. If we have -

:Colour a rdfs:Class .
:hasColour a rdf:Property .
:hasColour rdfs:range :Colour .

- and someone makes a statement

<#something> :hasColour <#wet> .

then we get

<#wet> a :Colour .

no?

so it's not an expectation thing, it's an inference that comes after
the fact...if you see what I mean.

As Pat suggested, I think this could easily lead to unintended conclusions.

Cheers,
Danny.







-- 
http://danny.ayers.name
Received on Sunday, 12 June 2011 16:57:50 UTC

This archive was generated by hypermail 2.4.0 : Thursday, 24 March 2022 20:29:54 UTC