W3C home > Mailing lists > Public > www-rdf-interest@w3.org > October 2002

Re: Meaning of URIRefs

From: m batsis <mbatsis@netsmart.gr>
Date: Sat, 26 Oct 2002 19:49:54 +0300
To: pat hayes <phayes@ai.uwf.edu>, Sandro Hawke <sandro@w3.org>
Cc: www-rdf-interest@w3.org
Message-Id: <200210261821.44357.mbatsis@netsmart.gr>



> >So if animals says Cat and Dog are disjoint classes,

You mean:?

(1)
           Mammal
              |
  +-----------+-----------+
  |                       |
 Cat                     Dog



> and I say _:x is
> >an animal:Cat and an animal:Dog, what happens?  What does my message
> >mean?  Is my message false or in some way in error?

Why an error? What if that was nothing more than

(2)

           Mammal
              |
  +-----------+-----------+
  |           |           |
 Cat        CatDog       Dog


It may be that the only case where you need additional properties, is when you 
want to document how the new species occured by the others.

Would that be a good way to describe new classes as products as they may occur 
automatically, or totally sacrifice that and make it unacceptable? I think 
it's ok. The product of a Dog and a Cat can only be an animal - in it's own 
right since it's ancestors are disjoint classes. How else would you describe 
the birth of a nee class like CatDog and leave pointers on how it occured?


> >If I just say that _:spot is an animals:Dog, and animals (the document
> >at the URI) says that Dog is a subclass of Mammal, it in no way
> >follows that _:spot is an animals:Mammal?   Maybe the URI part of the
> >URIRef is a strong-hint for additional content to include?

I would bet in a way to resolve and add that (document at the URI)  to the 
graph, but unfortunately RDF does not allow me to so in a standard way.

Cheers,

Manos
Received on Saturday, 26 October 2002 12:33:50 GMT

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