Pieter ColpaertNov 13, 2022

This week I will do a “one post per day of something I'm excited about” hashtagged #knowledgegraphs.

Today it’s RDF+Surfaces! Initially coined by Pat Hayes but now implemented and primed by @hochstenbach and Jos De Roo (who maintains the EYE reasoner in Prolog).

This has the potential to fundamentally define data “policies”. Whether it's about access control, inferences, retention policies, etc. Surfaces can do it all

Spec: https://josd.github.io/surface/
Exciting demos: https://github.com/phochste/Notation3-By-Example/tree/main/log/blogic

RDF Surfaces Primer

Show threadKingsley Uyi IdehenNov 19, 2022

@pietercolpaert,

Does that all breakdown as follows?

[1] Sentence --> a triple
[2] Paragraph --> a collection of triples pegged to a common predicate
[3] Page --> named graph in SPARQL
[4] Blank Node -- indefinite pronoun for denoting the subject of object of a triple

What do you think?

/cc @hochstenbach

Show threadPieter ColpaertNov 19, 2022
@kidehen and the idea that each page can have a “color”, like: everything on a page could be explicitly not true. @hochstenbach
Show threadKingsley Uyi IdehenNov 19, 2022

@pietercolpaert ,

Yes.

A page is an observable thing with discernible attributes that can be expressed in descriptive sentences.

Anyway, are we in agreement regarding 1-4?

@hochstenbach

Show threadPieter ColpaertNov 19, 2022

@kidehen @hochstenbach I find it hard to not agree with you since you're often my reference 😅

Not sure how deep you want to go, however:
[1] Statement = triple. A sentence could contain multiple statements at once
[2] What do you mean with pegged around a predicate?
[3] It’s a bit unclear what it means for a triple to be “in” the named graph. That's why we’re thinking N3 and RDF* rather than using named graphs. But general idea: yes

(1/2)

Show threadPieter Colpaert
@kidehen @hochstenbach [4] Kind of! Depending how far you are in your reasoning process, it may perfectly be your intention that the blank node refers to multiple possible matching entities elsewhere (e.g., a blank node referring to everything with a type organization).
Nov 19, 2022 at 7:27pmMastodon for Android
Show threadKingsley Uyi IdehenNov 19, 2022

@pietercolpaert ,

Re item #4 or 1-4, my point is that a blank node is fundamentally what's referred to as an indefinite pronoun.

SeeAlso:

[1] https://www.merriam-webster.com/dictionary/indefinite%20pronoun -- Merriam Webster Dictionary

[2] https://en.wikipedia.org/wiki/Indefinite_pronoun -- Wikipedia

/cc @hochstenbach

Definition of INDEFINITE PRONOUN

Definition of 'indefinite pronoun' by Merriam-Webster