RE: [RIF] Extensible Design

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