N3 built-ins plus N3 roadmap

Hi,

This is to tell that I really like the nice work from Patrick Hochstenbach
https://github.com/josd/Notation3-By-Example and I tried to implement
all those core built-ins in eye (adding 26 built-ins in the last week).
So William it would be nice if you could install the latest eye in your
N3 editor http://ppr.cs.dal.ca:3002/n3/editor/
Thanks in advance!

Re N3 roadmap I can suggest 2 things
1/ N3-star reasoning like in the following examples
    https://github.com/josd/eye/tree/master/reasoning/rdf-star-reasoning
    https://github.com/josd/eye/tree/master/reasoning/cha58
2/ RDF+surfaces (aka Blogic) reasoning like in the following examples

https://github.com/phochste/Notation3-By-Example/blob/main/log/blogic/negativeSurface2.n3
    https://github.com/josd/eye/tree/master/reasoning/blogic

Jos

-- https://josd.github.io

Received on Thursday, 8 September 2022 13:20:06 UTC