- From: <jos.deroo@agfa.com>
- Date: Sun, 19 Dec 2004 13:43:09 +0100
- To: connolly@w3.org
- Cc: public-cwm-bugs@w3.org
Dan Connolly wrote:
> On Sun, 2004-12-19 at 01:12 +0100, jos.deroo@agfa.com wrote:
> [...]
>> which is what I would expect
>
> Did you update just today? I checked in a fix just
I'm almost daily doing a checkout of WWW/2000/10/swap
and yesterday I was planning to test @ie
Was also testing conversion to RDF/XML of
[ owl:sameAs "s"^^xsd:string] :p :o.
to have literal as subject
<rdf:Description>
<p rdf:resource="http://example.org/eg#o"/>
<owl:sameAs
rdf:datatype="http://www.w3.org/2001/XMLSchema#string">s</owl:sameAs>
</rdf:Description>
and
[ owl:sameAs """{?a ?b ?c. ?d ?e ?f} log:implies {?s ?p
?o}."""^^log:Formula] a log:Truth.
to have N3 formula asserted
<rdf:Description>
<rdf:type
rdf:resource="http://www.w3.org/2000/10/swap/log#Truth"/>
<sameAs
rdf:datatype="http://www.w3.org/2000/10/swap/log#Formula">{?a ?b ?c. ?d ?e
?f} log:implies {?s ?p ?o}.</sameAs>
</rdf:Description>
> after I filed the bug. But I haven't written a test,
> nor have I fixed the other math: routines.
so we had kind of luck to test that fix :)
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Sunday, 19 December 2004 12:43:46 UTC