- From: <jos.deroo@agfa.com>
- Date: Mon, 6 Nov 2006 19:44:01 +0100
- To: connolly@w3.org
- Cc: www-archive@w3.org
Dan Connolly wrote:
> On Mon, 2006-11-06 at 18:52 +0100, jos.deroo@agfa.com wrote:
>> it needs the euler1 java version to do the N3->YAP
>
> My n3absyn.py converts N3 to various formats. I might
> add YAP to that list, if only as a learning exercise.
That would be great; n3absyn.py is really impressive!
and the weekend before I was testing the --mathml and
it now seems quite happy with all the files I tested.
For the N3->YAP I was using the prolog univ =..
to cope with variable predicates and also to
reconstruct the variable substitutions (needed
in the proof), I am adding some instrumentation
as the last premise, i.e.
{?P a owl:SymmetricProperty. ?S ?P ?O} => {?O ?P ?S}.
is transformed into
'log:implies'(lf(('rdf:type'(_P,'owl:SymmetricProperty',_), atom(_P),
_U34383=..[_P,_S,_O,_], _U34383, atom(_P),
_U34386=..[_P,_O,_S,'<file://euler/rpo-rules.n3>'], instrument('@forAll
var:P,var:S,var:O. {var:P a owl:SymmetricProperty. var:S var:P var:O} =>
{var:O var:P var:S}. ',['"http://localhost/var#P"', _P,
'"http://localhost/var#S"', _S, '"http://localhost/var#O"', _O]))),
lf((_U34386)),_).
> Another possibility is to go via JSON. n3absyn.py
> converts N3 syntax to JSON, and there are JSON
> parsers for ever language under the sun.
True; whatever suits you best :-)
Thanks!
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
PS there is indeed a bug in that
r:boundTo <http://www.w3.org/2004/01/rdxh/p3q-ns-example>];
and I'll fix it asap
Received on Monday, 6 November 2006 18:44:29 UTC