- From: Jos De Roo <josderoo@gmail.com>
- Date: Mon, 11 Jul 2022 22:31:32 +0200
- To: William Van Woensel <william.vanwoensel@gmail.com>
- Cc: public-n3-dev@w3.org
- Message-ID: <CAJbsTZchkmaWH8+YZbcZmPq-XN2LoHLDwbiVUvu=V9e5fNFdZw@mail.gmail.com>
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 >
Received on Monday, 11 July 2022 21:02:02 UTC