W3C home > Mailing lists > Public > www-rdf-interest@w3.org > September 2004

Re: WG: I need a RDFS Parser/Validator

From: Richard Newman <r.newman@reading.ac.uk>
Date: Wed, 1 Sep 2004 10:55:46 +0100
Message-Id: <185ACACE-FBFD-11D8-BBE5-000A957D9564@reading.ac.uk>
Cc: 'RDF interesting groupe' <www-rdf-interest@w3.org>
To: "Kianoush Eshaghi" <Kianoush.Eshaghi@metadat.at>

Note that the correct behaviour is not to treat range and domain as 
constraints, but for inference. E.g.

:carType a           owl:ObjectProperty ;
          rdfs:domain :Car .
:x       :carType    :Saloon .
==========================================
:x       a           :Car .

This is a common misunderstanding in validation. When "car" and 
"person" aren't disjoint, and a property such as the above is applied 
to a person, it is quite logical to infer that the subject is both car 
and person.

-Richard

On 1 Sep 2004, at 10:00, Kianoush Eshaghi wrote:
> It should be able also to analyse, whether the used
> properties in an instance satisfy the definition of domain and renge of
> the respective properties, which have been also defined in given RDF
> Vocabulary.
Received on Wednesday, 1 September 2004 09:56:50 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:09 GMT