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