- From: Franco Salvetti <Franco.Salvetti@Colorado.EDU>
- Date: Fri, 20 Sep 2002 20:54:14 -0600 (MDT)
- To: Ashley Yakeley <ashley@semantic.org>
- Cc: Franco Salvetti <Franco.Salvetti@Colorado.EDU>, RDF Interest Group <www-rdf-interest@w3.org>
Range and Domain are not constraints means that if you have an object
*obj* that is an instance of the class A and you have a property P that has
domain the class B and you say that (obj P y) automatically you have that obj is
an istance of the class B. You do not have an error like : "type missmatch for
object obj".
obj inherits from both class A and B but there is just one assertion with
rdf:type and subject obj.
Does it make sense?
Franco :)
Quoting Ashley Yakeley <ashley@semantic.org>:
> At 2002-09-20 18:59, Franco Salvetti wrote:
>
> >The rande/domanin are not constraint anymore,
> > but just way to declare the type of a variable.
>
> The type of a value in RDF is a constraint, isn't it?
>
> --
> Ashley Yakeley, Seattle WA
>
Franco
http://mag.usr.dsi.unimi.it/~franco/Boulder.html
Received on Friday, 20 September 2002 22:54:16 UTC