Menu
▾
▴
Re: [Eulermoz-developers] =?ISO-8859-1?Q?=BFCan_you_give_us_a_hand=3F?=
|
From: <jos...@ag...> - 2004-10-04 13:15:33
|
Hi, Antonio
I've looked to your encoding of eulermoz/tests/n3/example.n3
in RDF/XML (using eulermoz/tests/n3/index.xul) and when one
transforms that back into N3 (which is more readable to me :))
one gets
@prefix : <urn:clerk:anon#> .
@prefix NS3: <http://www.agfa.com/w3c/euler/authen.axiom#> .
@prefix NS4: <http://www.w3.org/2000/10/swap/log#> .
@prefix RDF: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
<INSTITUTION> NS3:subscribed <MAILINGLIST>;
NS3:w3cmember <http://www.w3.org> .
<PERSON> NS3:authenticated <MAILINGLIST>;
NS3:member <INSTITUTION> .
<http://www.agfa.com> NS3:subscribed <mailto:w3c...@w3...>;
NS3:w3cmember <http://www.w3.org> .
<mailto:jos...@ag...> NS3:member <http://www.agfa.com> .
:1 a RDF:Seq;
RDF:=5F1 :2;
RDF:=5F2 :3;
RDF:=5F3 :4;
NS4:implies :5 .
:2 a RDF:Statement;
RDF:object <INSTITUTION>;
RDF:predicate NS3:member;
RDF:subject <PERSON> .
:3 a RDF:Statement;
RDF:object <http://www.w3.org>;
RDF:predicate NS3:w3cmember;
RDF:subject <INSTITUTION> .
:4 a RDF:Statement;
RDF:object <MAILINGLIST>;
RDF:predicate NS3:subscribed;
RDF:subject <INSTITUTION> .
:5 a RDF:Seq;
RDF:=5F1 :6 .
:6 a RDF:Statement;
RDF:object <MAILINGLIST>;
RDF:predicate NS3:authenticated;
RDF:subject <PERSON> .
:Rule0 a RDF:Seq;
RDF:=5F1 :1;
RDF:=5F2 :5;
NS4:forAll <INSTITUTION>,
<MAILINGLIST>,
<PERSON> .
and this is indeed an RDF graph.
The trouble however is that this entails for instance something like
@prefix : <urn:clerk:anon#> .
@prefix NS3: <http://www.agfa.com/w3c/euler/authen.axiom#> .
@prefix NS4: <http://www.w3.org/2000/10/swap/log#> .
@prefix RDF: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
<INSTITUTION> NS3:subscribed <MAILINGLIST>;
NS3:w3cmember <http://www.w3.org> .
<PERSON> NS3:authenticated <MAILINGLIST>;
NS3:member <INSTITUTION> .
<http://www.agfa.com> NS3:subscribed <mailto:w3c...@w3...>;
NS3:w3cmember <http://www.w3.org> .
<mailto:jos...@ag...> NS3:member <http://www.agfa.com> .
:1 a RDF:Seq;
RDF:=5F1 :2;
RDF:=5F3 :4;
NS4:implies :5 .
:2 a RDF:Statement;
RDF:object <INSTITUTION>;
RDF:predicate NS3:member;
RDF:subject <PERSON> .
:4 a RDF:Statement;
RDF:object <MAILINGLIST>;
RDF:predicate NS3:subscribed;
RDF:subject <INSTITUTION> .
:5 a RDF:Seq;
RDF:=5F1 :6 .
:6 a RDF:Statement;
RDF:object <MAILINGLIST>;
RDF:predicate NS3:authenticated;
RDF:subject <PERSON> .
:Rule0 a RDF:Seq;
RDF:=5F1 :1;
RDF:=5F2 :5;
NS4:forAll <INSTITUTION>,
<MAILINGLIST>,
<PERSON> .
which is an encoding of
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix : <http://www.agfa.com/w3c/euler/authen.axiom#>.
<mailto:jos...@ag...> :member <http://www.agfa.com>.
<http://www.agfa.com> :w3cmember <http://www.w3.org>.
<http://www.agfa.com> :subscribed <mailto:w3c...@w3...>.
{?PERSON :member ?INSTITUTION.
?INSTITUTION :subscribed ?MAILINGLIST}
=3D>
{?PERSON :authenticated ?MAILINGLIST}.
which can be false (true premis and false conclusion) and so
your encoding is inconsistent (one can derive a falsehood).
The only valid encoding I see right now is with RDF lists
(as one can always make sure that RDF lists are valid).
Another point is that a premis and conclusion are sets
of triples, but one could use eg:Set (subclass of rdf:List).
kind regards,
jos
--=20
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
PS it should be the case that the euler path inferencing is implemented in
http://cvs.sourceforge.net/viewcvs.py/eulermoz/eulermoz/tests/prolog/prolog=
.js?rev=3D1.5&view=3Dauto
"antonio.lopez" <ant...@pt...>
Sent by: eul...@li...
04/10/2004 14:01
Please respond to antonio.lopez
=20
To: Jan Grant <fr...@io...>, eulermoz developers=20
<eul...@li...>
cc: (bcc: Jos De=5FRoo/AMDUS/MOR/Agfa-NV/BE/BAYER)
Subject: [Eulermoz-developers] =BFCan you give us a hand?
Hello all.
We please to annouce N3 scanner a parser are commeted at sourceforge CVS
repository.
They are based on Java code generated by JFlex and Cup tools.
No need to say it's beta software it needs more testing and we know
parser generates redundant triples.
But we haven't found any serious error, here is were we need your help,
about the parser's correctness and how to implement Euler inference.
Regards, Antonio
-------------------------------------------------------
This SF.net email is sponsored by: IT Product Guide on ITManagersJournal
Use IT products in your business? Tell us what you think of them. Give us
Your Opinions, Get Free ThinkGeek Gift Certificates! Click to find out=20
more
http://productguide.itmanagersjournal.com/guidepromo.tmpl
=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=
=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F=5F
Eulermoz-developers mailing list
Eul...@li...
https://lists.sourceforge.net/lists/listinfo/eulermoz-developers
|
