Skip to content

Conversation

@pchampin
Copy link
Contributor

@pchampin pchampin commented Dec 5, 2025

following the emerging consensus in #2

following the emerging consensus in #2
@pchampin pchampin requested review from franconi and niklasl December 5, 2025 14:51
@niklasl
Copy link
Contributor

niklasl commented Dec 5, 2025

Looks good! I just think the properties (rdf:propositionFormSubject, etc.) need to begin with a lower-case p to follow the usual convention (I've proposed those changes now).

Also, the file spec/ex-basicenc-output.ttl needs to be updated accordingly.

(N.B.: I've done the equivalent changes in w3c/rdf-schema#70.)

Copy link
Contributor

@niklasl niklasl left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Changing case of properties to the conventional camelCase for properties (was PascalCase like for classes).

<li>(<var>b</var>, `rdf:type`, `rdf:PropositionForm`)
<li>(<var>b</var>, `rdf:PropositionFormSubject`, <var>s</var>)
<li>(<var>b</var>, `rdf:PropositionFormPredicate`, <var>p</var>)
<li>(<var>b</var>, `rdf:PropositionFormObject`, <var>o</var>)
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
<li>(<var>b</var>, `rdf:PropositionFormObject`, <var>o</var>)
<li>(<var>b</var>, `rdf:propositionFormSubject`, <var>s</var>)
<li>(<var>b</var>, `rdf:propositionFormPredicate`, <var>p</var>)
<li>(<var>b</var>, `rdf:propositionFormObject`, <var>o</var>)

and (<var>b</var>, `rdf:ttObject`, <var>o</var>);
(<var>b</var>, `rdf:PropositionFormSubject`, <var>s</var>),
(<var>b</var>, `rdf:PropositionFormPredicate`, <var>p</var>),
and (<var>b</var>, `rdf:PropositionFormObject`, <var>o</var>);
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
and (<var>b</var>, `rdf:PropositionFormObject`, <var>o</var>);
(<var>b</var>, `rdf:propositionFormSubject`, <var>s</var>),
(<var>b</var>, `rdf:propositionFormPredicate`, <var>p</var>),
and (<var>b</var>, `rdf:propositionFormObject`, <var>o</var>);

<p class=note>
This is one reason why this transformation introduces new vocabulary terms
(`rdf:TripleTerm`, `rdf:ttSubject`, `rdf:ttPredicate`, `rdf::ttObject`),
(`rdf:PropositionForm`, `rdf:PropositionFormSubject`, `rdf:PropositionFormPredicate`, `rdf::ttObject`),
Copy link
Contributor

@niklasl niklasl Dec 9, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
(`rdf:PropositionForm`, `rdf:PropositionFormSubject`, `rdf:PropositionFormPredicate`, `rdf::ttObject`),
(`rdf:PropositionForm`, `rdf:propositionFormSubject`, `rdf:propositionFormPredicate`, `rdf:propositionFormObject`),

<li id="qtt-fresh-bnode">Let <var>b</var> be a fresh blank node.</li>
<li>Add the association (<var>t</var>, <var>b</var>) to <var>Mₒ</var>.</li>
<li>Add the triples (<var>b</var>, `rdf:type`, `rdf:TripleTerm`), (<var>b</var>, `rdf:ttSubject`, <var>s</var>), (<var>b</var>, `rdf:ttPredicate`, <var>p</var>), and (<var>b</var>, `rdf:ttObject`, <var>o</var>) in <var>G</var>.</li>
<li>Add the triples (<var>b</var>, `rdf:type`, `rdf:PropositionForm`), (<var>b</var>, `rdf:PropositionFormSubject`, <var>s</var>), (<var>b</var>, `rdf:PropositionFormPredicate`, <var>p</var>), and (<var>b</var>, `rdf:PropositionFormObject`, <var>o</var>) in <var>G</var>.</li>
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
<li>Add the triples (<var>b</var>, `rdf:type`, `rdf:PropositionForm`), (<var>b</var>, `rdf:PropositionFormSubject`, <var>s</var>), (<var>b</var>, `rdf:PropositionFormPredicate`, <var>p</var>), and (<var>b</var>, `rdf:PropositionFormObject`, <var>o</var>) in <var>G</var>.</li>
<li>Add the triples (<var>b</var>, `rdf:type`, `rdf:PropositionForm`), (<var>b</var>, `rdf:propositionFormSubject`, <var>s</var>), (<var>b</var>, `rdf:propositionFormPredicate`, <var>p</var>), and (<var>b</var>, `rdf:propositionFormObject`, <var>o</var>) in <var>G</var>.</li>

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants