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

Open
wants to merge 7 commits into
base: main
Choose a base branch
from
Open

Add definitions required for triple terms #30

Changes from all commits
Commits
Show all changes
7 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
0c5c9b7
Update spec/index.html
domel Feb 7, 2025
517b755
Update spec/index.html
domel Feb 7, 2025
3ff157b
Update spec/index.html
domel Feb 7, 2025
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
38 changes: 37 additions & 1 deletion spec/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -298,6 +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_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 @@ -403,6 +410,23 @@ <h3>rdf:type</h3>
href="#ch_class"><code>rdfs:Class</code></a>.</p>
</section>

<section id="ch_reifies">
<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 <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
<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 <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 @@ -939,6 +963,10 @@ <h3>RDF classes</h3>
<td><a href="#ch_property">rdf:Property</a></td>
<td>The class of RDF properties.</td>
</tr>
<tr>
<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>
<td>The class of RDF datatypes.</td>
Expand Down Expand Up @@ -985,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 @@ -1207,6 +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:Proposition</code> and the property <code>rdf:reifies</code>.</li>
</ul>
</section>

Expand Down
Loading