Re: Presentation about reifiers and graphs

Hi Enrico,

On Mon, Sep 16, 2024 at 3:24 PM Franconi Enrico <franconi@inf.unibz.it> wrote:
>
> My questions/comments:

Thank you!

> A propositional atom ==> what is this?

To avoid wording of my own, I'll quote [1]: "A propositional atom is a
statement that is either true or false, and that contains no logical
connectives (like and, or, not, if/then)."

But perhaps "atomic proposition" is the more common label, as in [2]:
"An atomic proposition is a basic statement that cannot be further
broken down into smaller propositional components. It is considered
atomically true and serves as the foundation for proofs in logic and
computer science."

Would it be better to add wording like that as a definition?

> A new primitive ==> A new term

Noted.

> Atomic (like literals) ==> Uh? It is not atomic…

See above; and as in "irreducible", but I agree that calling a tuple
structure atomic raises questions. How about "immutable"?

> Triple Terms are Abstract ==> I would add: denote one-to-one a resource

I'd agree, but I'd like to state what this resource is in the interpretation.

> Slides 15  and 17 ==> Uh? It is not clear at all what you want to say. It is probably enough to say that reifiers and triple terms are in a many-to-many relation via rdf:reifies.

Agreed, these are not clear enough. While I suspect some more wording
is needed, I'll consider your explanation.

> Slides 19 and 20 ==> Uh? It is not clear at all what you want to say. It i probably enough to say: a set of triples associated to the same identifier can not be seen as a named graph, since the scope of the bnodes in that graph is not limited within that graph but it spans the whole main graph.

I do agree that clearer wording is needed. Though I think "a set of
triples associated to the same identifier" sounds rather close to "a
pair of an identifier and a graph"? (I'll try to collate the
discussion I see ensued from here.)

(I'm posting a quick update soon. Let's continue from that.)

Cheers,
Niklas

[1]: <https://textbooks.cs.ksu.edu/cis301/3-chapter/3_1-propatom/>
[2]: <https://www.sciencedirect.com/topics/computer-science/atomic-proposition>


> —e.

Received on Wednesday, 18 September 2024 21:28:40 UTC