W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2007

RE: Legal Persons

From: Turner, David <davidt@hp.com>
Date: Tue, 28 Aug 2007 10:02:45 +0100
Message-ID: <86FE9B2B91ADD04095335314BE6906E8D6D567@sdcexc04.emea.cpqcorp.net>
To: "Owl Dev" <public-owl-dev@w3.org>

> -----Original Message-----
> From: public-owl-dev-request@w3.org 
> [mailto:public-owl-dev-request@w3.org] On Behalf Of Ibach, Brandon L
> Sent: 24 August 2007 20:33
> John,
> 	I'm not sure what the reasoner would do with the 
> <rdf:Alt>

A reasoner should do very little with the <rdf:Alt> example that you
gave. OWL classes are RDF classes, and RDF classes are *not* RDF
containers, of which rdf:Alt is an example. Membership of RDF (thus OWL)
classes is all about the rdf:type relation whereas membership of RDF
containers is all about the membership properties rdf:_1, rdf:_2, ...
and in particular, asserting an rdfs:range says something about rdf:type
relationships, not container-memberships.

It's a little like the difference between sets and lists in the real
world: both of them have 'members' but the nature of the relationship
between a set and its members is different from that between a list and
its members (but don't take that analogy too literally, because RDF
lists are neither RDF classes nor RDF containers).

The examples given by Dan Connolly and Brandon Ibach should be helpful.
I thought I should add that, because you mention rdf:Alt, you might be
wanting to model that Humans are not Corporations, and the OWL way to do
that is to use owl:disjointWith: 

  <ex:Human> <owl:disjointWith> <ex:Corporation>

Hope that helps!



Dave Turner  Cube T400, HP Labs Bristol, Filton Road, Bristol BS34 8QZ
davidt@hp.com          +44 117 3129104 (Work) +44 7962 811627 (Mobile)

Hewlett-Packard Limited. Registered No: 690597 England
Registered Office: Cain Road, Bracknell, Berks RG12 1HN
Received on Tuesday, 28 August 2007 09:03:11 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:15 UTC