Re: RDF 2 Wishlist

On Mon, 2 Nov 2009, Simon Reinhardt wrote:

> Toby Inkster wrote:
>> a) Tt would remove the restriction on subjects being literals.

...

> But that doesn't work with
>
> 	"foo" ex:predicate "bar" .

Doesn't that depend on the predicate, e.g. how about a predicate 
that is true if the subject and object are both string literals and 
the subject is shorter than the object.

e.g.     "a"  ex:shorterThan "aaa"

where such statements should be the result of an inference.

  Dave Raggett <dsr@w3.org> http://www.w3.org/People/Raggett