W3C home > Mailing lists > Public > semantic-web@w3.org > November 2019

Re: Category Theory CG? was: Algebraic Property Graphs and RDF

From: Martynas Jusevičius <martynas@atomgraph.com>
Date: Wed, 13 Nov 2019 22:31:22 +0100
Message-ID: <CAE35VmyieU7kfRy5f86yTwL4k80gQzg2L=Z9q5ePigsYTHe5zg@mail.gmail.com>
To: Henry Story <henry.story@bblfish.net>
Cc: ProjectParadigm-ICT-Program <metadataportals@yahoo.com>, Ryan Wisnesky <ryan@conexus.ai>, W3C AIKR CG <public-aikr@w3.org>, semantic-web <semantic-web@w3.org>
Hi Henry,

I’m curious about practical implications on software development.

I don’t know anything about CT, but the dependent types and functions in
your blog post read a lot like domains and functions in denotational
semantics:
http://people.cs.ksu.edu/~schmidt/text/DenSem-full-book.pdf#page=27

I have used DS to (attempt to) formalize Linked Data Templates -
SPARQL-based definitions of Linked Data APIs:
https://atomgraph.github.io/Linked-Data-Templates/

Your examples seem to model HTTP interactions. But I think it’s the server
processing of interactions that needs to be modeled, if we are aiming for
formal interoperability on the web.


Martynas
atomgraph.com

On Wed, 13 Nov 2019 at 11.18, Henry Story <henry.story@bblfish.net> wrote:

> Hi all,
>
>     we have been discussing the possibility of opening a
> Category Theory community group, which would allow people
> interested in CT to have a space to talk about how it
> applies to web standards, from RDF, SPARQL, Property Graphs,
> etc... all the way to HTTP. This could attract mathematicians
> and allow them to see which other groups could be helped
> from some theoretical input, write up a wiki of concepts
> and papers that are related, and a lot more….
>
> Feedback welcome :-)
>
> > On 23 Sep 2019, at 15:08, ProjectParadigm-ICT-Program <
> metadataportals@yahoo.com> wrote:
> >
> > Good. Finally we are starting to see the light. But an even more
> generalized model is possible, because the essence here is representing
> data, whereas there are two more levels, i.e. information and knowledge.
> And both can also be captured using category theory and formal algebra, but
> with a twist.
>
> Yes, I agree. Knowledge involves modal concepts (at least Nozick’s
> definition
> in Philosophical Explanations gave some very good reason to believe so).
>
> I recently discovered that an introductory book on Modal HoTT (for
> philosophers)
> was to come out soon. In the already published chapter 4 is written there
> that
>
> "The slogan here is that, where HoTT itself is the internal language of
> (∞,1)-toposes, modal HoTT is the internal language for collections of
> (∞,1)-toposes related by geometric morphisms”
>
> This brings a whole new level of mathematical clarity to the subject.
> I wrote up a blog post to help me read that article with pointers to
> articles
> and research here:
>
> ”Modal HoTT on the Web"
> https://medium.com/@bblfish/modal-hott-on-the-web-2f4f7996b41f
>
> Henry
>
> >
> > Milton Ponson
> > GSM: +297 747 8280
> > PO Box 1154, Oranjestad
> > Aruba, Dutch Caribbean
> > Project Paradigm: Bringing the ICT tools for sustainable development to
> all stakeholders worldwide through collaborative research on applied
> mathematics, advanced modeling, software and standards development
> >
> >
> > On Monday, September 23, 2019, 9:10:16 AM ADT, Henry Story <
> henry.story@bblfish.net> wrote:
> >
> >
> > Hi,
> >
> >   An interesting paper linking knowledge graphs, property graphs and
> > RDF together via Category Theory
> >
> > Algebraic Property Graphs
> > https://arxiv.org/abs/1909.04881
> >
> > Henry Story
> >
> >
>
>
>
Received on Wednesday, 13 November 2019 21:31:37 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:51:39 UTC