Re: Transforming RDF with XSLT

Dan Connolly wrote:
> Somebody suggested more people might be interested in this
> hack, so I wrote a little explanation, and here you go...
>
> =========
> Transforming RDF with XSLT
> http://www.w3.org/XML/2000/04rdf-parse/

Thanks and we are happy to join these ideas!
Compared with Eric's parser we are actually missing some arc's in our
(silly) example at ftp://windsor.agfa.be/outgoing/RCEI/NET/euler/authen.rdf
What's wrong here?

> There are quite a few other RDF/prolog hacks in the RDF interest group)
> lately, though I'd rather avoid the closed-world assumption ala Algernon
> and access-limited logic.
> Also, a representation for proofs is an important layer (see Edinborough
> Logical Framework (larch trait))

RDF is an _external_ description means (namespaced predicates are
making a really big difference).
An RDF based rule (such as the ones used in Euler) is basically a shorthand for
a set of (implied) RDF statements. This is of course a constrained view of the
world, but that is also the case when you make these statements by hand.
The difference (with handwriting) should be made clear via a proof trace
which can then be  validated.
In what sense is closed-world assumption an issue?

Best regards,
Jos De Roo --- AGFA