# Re: euler state of the art?

From: <jos.deroo@agfa.com>
Date: Mon, 6 Nov 2006 19:44:01 +0100

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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:43:03 UTC