Fwd: [w3c/N3] Aligning with RDF* (#27)

-- https://josd.github.io/ <http://josd.github.io/>


---------- Forwarded message ---------
From: Jos De Roo <josderoo@gmail.com>
Date: Wed, Jun 3, 2020 at 11:38 PM
Subject: Re: [w3c/N3] Aligning with RDF* (#27)
To: w3c/N3 <
reply+AABPHJEAVF2RSNQFIXUSPSV44O2M7EVBNHHCLCQLKI@reply.github.com>
Cc: w3c/N3 <N3@noreply.github.com>, Mention <mention@noreply.github.com>


Hi Miel,

There is now initial support for N3* in the latest EYE
https://github.com/josd/eye/commit/f02f84ec529a6b0b5e4e40a4d8be995ee8a675a7

There is also an example based on the one from Pierre-Antoine at
https://github.com/josd/eye/blob/master/reasoning/n3*/example.n3
i.e.

@prefix : <-:>.

{ ?p a :SymetricRelation. ?s ?p ?o } => { ?o ?p ?s }.
{ ?p a :SymetricRelation. << ?s ?p ?o >> ?p2 ?o2 } => { << ?o ?p ?s >> ?p2
?o2 }.
:marriedTo a :SymetricRelation.

:alice :marriedTo :bob .
<< :alice :marriedTo :bob >> :since "1999".

{ :bob :marriedTo :alice } => { :TEST :PASS 1 }.
{<< :bob :marriedTo :alice >> :since "1999" } => { :TEST :PASS 2 }.
{<< :alice ?p :bob >> :since "1999" } => { :TEST :PASS 3 }.


and this is what
$ eye --nope example.n3 --pass
actually gives

#Processed by EYE v20.0528.1036 josd
#eye --nope example.n3 --pass

@prefix : <-:>.

<-:marriedTo> a <-:SymetricRelation>.
<-:alice> <-:marriedTo> <-:bob>.
<-:bob> <-:marriedTo> <-:alice>.
<< <-:alice> <-:marriedTo> <-:bob> >> <-:since> "1999".
<< <-:bob> <-:marriedTo> <-:alice> >> <-:since> "1999".
<-:TEST> <-:PASS> 1 .
<-:TEST> <-:PASS> 2 .
<-:TEST> <-:PASS> 3 .

#2020-06-03T21:17:16.320Z in=8 out=8 ent=5 step=12 brake=2 inf=19932
sec=0.082 inf/sec=243073
#ENDS

I will test a bit more and this is just an initial support.
Thanks for pinging :-)

Kind regards,
Jos

-- https://josd.github.io/ <http://josd.github.io/>


On Wed, Jun 3, 2020 at 6:46 PM Miel Vander Sande <notifications@github.com>
wrote:

> Also pinging @josd <https://github.com/josd> for a possible
> implementation of the syntax in EYE
>
> —
> You are receiving this because you were mentioned.
> Reply to this email directly, view it on GitHub
> <https://github.com/w3c/N3/issues/27#issuecomment-638318537>, or
> unsubscribe
> <https://github.com/notifications/unsubscribe-auth/AABPHJA6RIWOXWW6EZRLARLRUZ447ANCNFSM4NROIVJQ>
> .
>