Re: Meaning of URIRefs

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

You mean:?

  |                       |
 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


  |           |           |
 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.



Received on Saturday, 26 October 2002 12:33:50 UTC