- From: Gerd Wagner <wagnerg@tu-cottbus.de>
- Date: Fri, 5 May 2006 13:22:57 +0200
- To: "'Dave Reynolds'" <der@hplb.hpl.hp.com>
- Cc: <public-rif-wg@w3.org>
> > With "RDF" I was, in fact, refering to RDF+RDFS where > > you have typed predicate symbols in the form of domain > > and range restricted properties. > > Yes and no. Yes you can declare rdfs:domain/range of > properties but they just entail new rdf:type inferences. > That doesn't really give you a type system in the > programming language sense since RDF resources can have > multiple types, such declarations don't restrict where > properties can be applied. No matter if objects have unique types (like in Java) or multiple types (like in UML and RDF), you still have typed functions and predicates. If an RDF property has an xs:int range, the second argument of a statement with that property predicate must evaluate to an integer, right? -Gerd
Received on Friday, 5 May 2006 11:22:51 UTC