Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add definitions required for triple terms #30

Draft
wants to merge 4 commits into
base: main
Choose a base branch
from
Draft

Add definitions required for triple terms #30

Changes from 3 commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
912c6d3
rdf:ReificationProperty added
domel Sep 4, 2024
34da487
add rdf:reifies and rdf:Proposition, remove rdf:ReificationProperty
domel Dec 17, 2024
92e571b
add rdf:Proposition and rdf:reifies to the tables
domel Dec 19, 2024
723d74b
update changes sec
domel Dec 19, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
43 changes: 34 additions & 9 deletions spec/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -298,12 +298,13 @@ <h3>rdf:Property</h3>
<p><code>rdf:Property</code> is the class of RDF properties.
<code>rdf:Property</code> is an instance of <a href="#ch_class"><code>rdfs:Class</code></a>.</p>
</section>
<section id="ch_reificationproperty">
<h3>rdf:ReificationProperty</h3>
<p><code>rdf:ReificationProperty</code> is the class of properties used for reification in RDF 1.2.
<code>rdf:ReificationProperty</code> is an instance of <a href="#ch_class"><code>rdfs:Class</code></a> and a subclass of <a href="#ch_property"><code>rdf:Property</code></a>.</p>

<section id="ch_proposition">
<h3>rdf:Proposition</h3>
<p><code>rdf:Proposition</code> is the class of reified triples.
Copy link

Choose a reason for hiding this comment

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

Update this to the definition in the RDF representation?

Copy link
Contributor Author

Choose a reason for hiding this comment

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

There is a PR for RDF Representation, I will handle this in a couple of days.

<code>rdf:Proposition</code> is an instance of <a href="#ch_class"><code>rdfs:Class</code></a>.</p>
</section>

</section>

<section id="ch_properties">
Expand Down Expand Up @@ -409,6 +410,23 @@ <h3>rdf:type</h3>
href="#ch_class"><code>rdfs:Class</code></a>.</p>
</section>

<section id="ch_reifies">
<h3>rdf:reifies</h3>
Copy link
Member

Choose a reason for hiding this comment

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

Suggested change
<h3>rdf:reifies</h3>
<h3><code>rdf:reifies</code></h3>

<p><code>rdf:reifies</code> is an instance of <a href="#ch_property"><code>rdf:Property</code></a>
that is used to associate a resource (reifier) with a triple (proposition).</p>
<p>A triple of the form:</p>
<blockquote> <code>R rdf:reifies &lt;&lt;S P O&gt;&gt;</code> </blockquote>
<p>states that R is an instance of <a href="#ch_resource"><code>rdfs:Resource</code></a>
and reifies the triple term <code>&lt;&lt;S P O&gt;&gt;</code>, where S, P, and O represent
the subject, predicate, and object of the reified triple, respectively. The object
Comment on lines +419 to +421
Copy link
Member

Choose a reason for hiding this comment

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

I believe that the R, S, P, and O variables should be tagged to set them apart from the surrounding text, whether <em>, <code>, or otherwise. (And that similar tagging should be applied to other places where there's a <code>-tagged sequence that is then deconstructed.) I'm applying <em> here, as that is what was applied in the ill-fated w3c/rdf-semantics/#52

Suggested change
<p>states that R is an instance of <a href="#ch_resource"><code>rdfs:Resource</code></a>
and reifies the triple term <code>&lt;&lt;S P O&gt;&gt;</code>, where S, P, and O represent
the subject, predicate, and object of the reified triple, respectively. The object
<p>states that <em>R</em> is an instance of <a href="#ch_resource"><code>rdfs:Resource</code></a>
and reifies the triple term <code>&lt;&lt;S P O&gt;&gt;</code>, where <em>S</em>, <em>P</em>, and <em>O</em> represent
the subject, predicate, and object of the reified triple, respectively. The object

Copy link
Member

Choose a reason for hiding this comment

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

I believe you can use |R| (or <var>R</var>) for variables, and if in an element tagged "algorithm", it will highlight all the places the variable is used (within that element), at least in the Editor's Draft. The main thing is to be consistent

<code>&lt;&lt;S P O&gt;&gt;</code> is an instance of the class
<a href="#ch_proposition"><code>rdf:Proposition</code></a>.</p>
<p>The <code><a href="#ch_domain">rdfs:domain</a></code> of
<code>rdf:reifies</code> is <a href="#ch_resource"><code>rdfs:Resource</code></a>.
The <a href="#ch_range"><code>rdfs:range</code></a> of rdf:reifies is
Comment on lines +425 to +426
Copy link
Member

Choose a reason for hiding this comment

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

Suggested change
<code>rdf:reifies</code> is <a href="#ch_resource"><code>rdfs:Resource</code></a>.
The <a href="#ch_range"><code>rdfs:range</code></a> of rdf:reifies is
<code>rdf:reifies</code> is <a href="#ch_resource"><code>rdfs:Resource</code></a>.
The <a href="#ch_range"><code>rdfs:range</code></a> of <code>rdf:reifies</code> is

<a href="#ch_proposition"><code>rdf:Proposition</code></a>.</p>
</section>

<section id="ch_subclassof">
<h3>rdfs:subClassOf</h3>
<p>The property <code>rdfs:subClassOf</code> is an instance of <code><a
Expand Down Expand Up @@ -946,8 +964,8 @@ <h3>RDF classes</h3>
<td>The class of RDF properties.</td>
</tr>
<tr>
<td><a href="#ch_reificationproperty">rdf:ReificationProperty</a></td>
<td>The class of properties used for reification in RDF.</td>
<td><a href="#ch_proposition">rdf:Proposition</a></td>
<td>The class of reified triples. </td>
</tr>
<tr>
<td><a href="#ch_datatype">rdfs:Datatype</a></td>
Expand Down Expand Up @@ -995,12 +1013,19 @@ <h3>RDF properties</h3>
<th>comment</th>
<th>domain</th>
<th>range</th>
</tr> <tr>
</tr>
<tr>
<td><a href="#ch_type">rdf:type</a></td>
<td>The subject is an instance of a class.</td>
<td><code>rdfs:Resource</code></td>
<td><code>rdfs:Class</code></td>
</tr>
<tr>
<td><a href="#ch_reifies">rdf:reifies</a></td>
<td>Associates a resource with a reified triple.</td>
<td><code>rdfs:Resource</code></td>
<td><code>rdf:Proposition</code></td>
</tr>
<tr>
<td><a href="#ch_subclassof">rdfs:subClassOf</a></td>
<td>The subject is a subclass of a class.</td>
Expand Down Expand Up @@ -1217,7 +1242,7 @@ <h2>Changes between RDF 1.1 and RDF 1.2</h2>

<ul>
<li>Added the datatype <code>rdf:JSON</code>.</li>
<li>Added the class <code>rdf:ReificationProperty</code>.</li>
<li>Added the class <code>rdf:Proposition</code> and the property <code>rdf:reifies</code>.</li>
</ul>
</section>

Expand Down
Loading