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

I updated the N3 editor - you try out the setEqualToTests here: 
http://ppr.cs.dal.ca:3002/n3/editor/s/Hu3pXjQt <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# <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# <http://www.w3.org/2000/10/swap/list#>>.
> @prefix : <http://example.org/test# <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 <https://github.com/josd/eye/releases/tag/v22.0711.1846>
> on your http://ppr.cs.dal.ca:3002/n3/editor/ <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 <https://josd.github.io/>
> 
> On Fri, Jul 8, 2022 at 4:29 PM William Van Woensel <william.vanwoensel@gmail.com <mailto: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