Re: N3 meeting - 12 pm (EDT) Monday 11 July

Thank you very much William!

It is also very nice to see that iriPropertyList works in
http://ppr.cs.dal.ca:3002/n3/editor/s/O2ZRfZ63

Jos

-- https://josd.github.io


On Tue, Jul 12, 2022 at 10:03 PM William Van Woensel <
william.vanwoensel@gmail.com> wrote:

> I updated the N3 editor - you try out the setEqualToTests here:
> http://ppr.cs.dal.ca:3002/n3/editor/s/Hu3pXjQt
>
> (Note that the N3 editor now supports the iriPropertyList production as
> well!)
>
>
> W
>
> On Jul 11, 2022, at 4:31 PM, Jos De Roo <josderoo@gmail.com> wrote:
>
> As discussed in the meeting today
> https://docs.google.com/document/d/1A3HAUhjaVnnJ6yVbFAvIBRJQjUY9aFlQ2_bGxkD0mnE/edit#
> EYE now supports the list:setEqualTo and list:setNotEqualTo built-ins and
> the tests below all succeed:
>
> @prefix list: <http://www.w3.org/2000/10/swap/list#>.
> @prefix : <http://example.org/test#>.
>
> #:s :p :o.
> #?x => {:a :b :c}.
>
> {(:alice :bob :charlie) list:setEqualTo (:bob :charlie :alice)} => {:test1
> a :OK}.
> {(:alice :bob :charlie) list:setEqualTo (:alice :bob :charlie :alice)} =>
> {:test2 a :OK}.
> {(:alice :bob :charlie ?X) list:setEqualTo (:alice ?Y :bob :charlie)} =>
> {:test3 a :OK}.
> {(:alice :bob :charlie :dan) list:setNotEqualTo (:eve :bob :charlie
> :alice)} => {:test4 a :OK}.
> {(:alice :bob :charlie ?X) list:setNotEqualTo (:alice ?Y :bob :charlie
> ?Z)} => {:test5 a :OK}.
>
> Re the semantics discussion, it is now also the case that the rule
>
> ?x => {:a :b :c}.
>
> always gives
>
> :a :b :c.
>
> William, it would be nice if you could install the latest EYE
> https://github.com/josd/eye/releases/tag/v22.0711.1846
> on your http://ppr.cs.dal.ca:3002/n3/editor/ or wherever you prefer ;-)
>
> Thanks for the constructive meeting today!
>
> Kind regards,
> Jos
>
> -- https://josd.github.io
>
>
> On Fri, Jul 8, 2022 at 4:29 PM William Van Woensel <
> william.vanwoensel@gmail.com> wrote:
>
>> Hello everyone,
>>
>> The next N3-dev community meeting will take place Monday 11 July at 12:00
>> noon EDT (check your timezone
>> <https://www.timeanddate.com/worldclock/fixedtime.html?msg=Weekly+N3+WG+Skype+meeting&iso=20220711T12&p1=43&ah=1>).
>> Barring exceptional circumstances, this is the regular time for meetings.
>> Please join the Skype group <https://join.skype.com/aRBuOasYurPd> if you
>> haven’t already!
>>
>> You can find the proposed agenda (discussion topics), and prior meeting
>> notes, on the Google Doc
>> <https://docs.google.com/document/d/1A3HAUhjaVnnJ6yVbFAvIBRJQjUY9aFlQ2_bGxkD0mnE/edit?usp=sharing>
>> .
>>
>>
>> Kind regards,
>>
>> William
>>
>
>