Re: First meeting of our group

Hi all,

I’ve created a page on the wiki to gather the implementations:

https://github.com/w3c/N3/pull/4 (PR needs to be accepted first)

Best regards,

Miel Vander Sande
Postdoctoral Researcher at IDLab, Ghent University, in collaboration with imec

AA Tower | Technologiepark 19 9052 Ghent
www.idlab.technology<http://www.idlab.technology>
@Miel_vds




On 18 Dec 2018, at 19:37, Doerthe Arndt <doerthe.arndt@ugent.be<mailto:doerthe.arndt@ugent.be>> wrote:


Dear all,

He already mentioned it, but I would like to repeat that Sandro created a new git-repo for us where we can continue our discussions and add a list of existing N3 implementations: https://github.com/w3c/N3/blob/master/README.md


Thank you, Sandro.

I furthermore closed the doodle and fixed January 21st at 17:00 UCT for our first meeting. Hope that many of you can join. I will send a separate Mail about this meeting later.

Kind regards,
Doerthe

Am 11.12.18 um 18:03 schrieb Doerthe Arndt:

Dear all,

Now that Dave offered to provide us a W3C git (thank you once again!), we should move on to the next point and identify the topics we want to work on. I set up a doodle to find the right time for a  first meeting. Based on your answers so far, I thought that 16:00 UCT was the best time for such a meeting but if you think differently just let me know and I will adapt the doodle:

https://doodle.com/poll/h7xrxhuwfvy8aqmu


The list of open topics we discovered so far was (note that is an open list, I just summarize here what I remember):

  *   Provide a formal semantics for N3, open issues there:
     *   Implicit quantification: scoping of universal variables and existential variables (blank nodes)
     *   Explicit quantification: what is the scope of @forSome and @forAll? Do we want to allow any URI as variable?
     *   Meaning of built-in functions: we need to agree on built-ins we want to see as part of N3 logic and formalise them.
     *   Meaning of cited formulas: we need to agree on one formalisation for the meaning of cited formulas.
     *   Formalisation of a proof calculus (but this can only be done after fixing the meaning of formulas).
     *   Lists: lists are treated differently in RDF and N3 do we want to keep that? than we should clarify the relations of the standards.


  *   To agree on formal semantics we really should focus on the expected use cases and here I would like to get some insights. We especially need to know:
     *   Which built-ins do we need? Candidates are the ones which are already implemented for Cwm (https://www.w3.org/2000/10/swap/doc/CwmBuiltins), or the one identified by the RIF working group (https://www.w3.org/TR/rif-dtb/) or we could also look into the different functions which are available in SPARQL filters.
     *   How do want to use cited graphs: There is a whole list how the related concept TriG could be understood (https://www.w3.org/TR/rdf11-datasets/). Behind these there are for sure applications which drove the definitions and I think it could help to understand what these were. But I also think that all of you have ideas how to use the concepts, so maybe we could create examples?
     *   How expressive does the rule reasoning need to be? This will influence how we formalise the quantification, so I would like to know where you want to use N3 reasoning for.


  *   We should also keep the relation to other standards close:
     *   we should try to align with RDF where possible
     *   do we need a JSON-LD specification?
     *   what is the position towards TriG? Reification? RIF?


  *   Together with the formalisation we should also discuss whether we provide a reference implementation together

I would like to add these topics to the git as soon as we have it, we can also all propose new issues, discuss them there and prioritize. I hope that we end up with a short list of things we all tackle together.

So, for a first step, please fill in the doodle till the end of the week.

Kind regards,
Doerthe


--
Dörthe Arndt
Researcher Semantic Web
imec - Ghent University - IDLab | Faculty of Engineering and Architecture | Department of Electronics and Information Systems
Technologiepark-Zwijnaarde 19, 9052 Ghent, Belgium
t: +32 9 331 49 59 | e: doerthe.arndt@ugent.be<mailto:doerthe.arndt@ugent.be>

--
Dörthe Arndt
Researcher Semantic Web
imec - Ghent University - IDLab | Faculty of Engineering and Architecture | Department of Electronics and Information Systems
Technologiepark-Zwijnaarde 19, 9052 Ghent, Belgium
t: +32 9 331 49 59 | e: doerthe.arndt@ugent.be<mailto:doerthe.arndt@ugent.be>