Skip to content

revise to use "abstract data model" to unify "abstract syntax" and "data model" #232

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

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
+24 −23
Open

revise to use "abstract data model" to unify "abstract syntax" and "data model" #232

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
8034436
proposed changes to use 'abstract syntax' where it is appropriate.
lisp Aug 7, 2025
1cd0859
the changes replace 'abstract syntax' and 'data model' with the phras…
lisp Aug 10, 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
47 changes: 24 additions & 23 deletions spec/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
<head>
<meta charset="utf-8">
<meta name="color-scheme" content="light dark">
<title>RDF 1.2 Concepts and Abstract Syntax</title>
<title>RDF 1.2 Concepts and Abstract Data Model</title>
<script src="https://www.w3.org/Tools/respec/respec-w3c" class="remove"></script>
<script src="./common/local-biblio.js" class="remove"></script>
<script src="./common/fixup.js" class="remove"></script>
Expand Down Expand Up @@ -77,9 +77,9 @@
<section id="abstract">
<p>The Resource Description Framework (RDF) is a framework for
representing information on the Web.
This document defines an abstract syntax (a data model)
This document defines an abstract data model
which serves to link all RDF-based languages and specifications.
The abstract syntax has two key data structures:</p>
The abstract model has two key data structures:</p>
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
The abstract model has two key data structures:</p>
The abstract data model has two key data structures:</p>

I think it's important to consistently spell out "data" in "data model", since "model" may refer to domain models (related to (properties and classes in) an interpretation).

<ul>
<li>RDF graphs are sets of subject-predicate-object triples,
where the elements may be IRIs, blank nodes, datatyped literals, or triple terms.
Expand Down Expand Up @@ -119,7 +119,7 @@ <h2>Introduction</h2>
<p>The <em>Resource Description Framework</em> (RDF) is a framework
for representing information on the Web.</p>

<p>This document defines an abstract syntax (a data model)
<p>This document defines an abstract data model
which serves to link all RDF-based languages and specifications,
including the following:</p>

Expand All @@ -135,9 +135,9 @@ <h2>Introduction</h2>
</ul>

<section id="data-model">
<h3>Graph-based Data Model</h3>
<h3>Graph-based Abstract Data Model</h3>

<p>The core structure of the abstract syntax is a set of
<p>The core structure of the abstract model is a set of
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
<p>The core structure of the abstract model is a set of
<p>The core structure of the abstract data model is a set of

<a data-lt="RDF triple">triples</a>, each consisting of a <a>subject</a>,
a <a>predicate</a> and an <a>object</a>. A set of such triples is called
an <a>RDF graph</a>. An RDF graph can be visualized as a node and
Expand All @@ -155,8 +155,8 @@ <h3>Graph-based Data Model</h3>
<p>There can be four kinds of <a>nodes</a> in an
<a>RDF graph</a>: <a>IRIs</a>, <a>literals</a>,
<a>blank nodes</a>, and <a>triple terms</a>.</p>

<p class="issue" data-number="129">There is a mixture of "Abstract Syntax" and "Data Model". We should have a consistent way to say "Abstract Syntax" vs "Data Model". One way is to use "Abstract Syntax" as the basis of semantics and usually say "Data Model" in Concepts otherwise.</p>
<!--
<p class="issue" data-number="129">There is a mixture of "Abstract Syntax" and "Data Model". We should have a consistent way to say "Abstract Syntax" vs "Data Model". One way is to use "Abstract Syntax" as the basis of semantics and usually say "Data Model" in Concepts otherwise.</p> -->
</section>

<section id="resources-and-statements">
Expand Down Expand Up @@ -255,7 +255,7 @@ <h3>The Referent of an IRI</h3>
unique identifiers in a graph data model that describes resources.
However, those interactions are critical to the concept of
[[[LINKED-DATA]]], [[LINKED-DATA]],
which makes use of the RDF data model and serialization formats.</p>
which uses the RDF abstract syntax and serialization formats.</p>
Copy link
Contributor

Choose a reason for hiding this comment

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

I think it's good to keep "abstract syntax" where applicable. It needs some explanation, such as "the form of the abstract data model" (will consider that more in w3c/rdf-star-wg#172).

</section>

<section id="vocabularies">
Expand Down Expand Up @@ -305,7 +305,7 @@ <h3>RDF Vocabularies and Namespace IRIs</h3>
would be abbreviated as <code>rdf:XMLLiteral</code>.
Note however that such abbreviations are <em>not</em> meant to be processed directly as IRIs,
and are not to be used in syntactic contexts where IRIs are expected.
Note also that [=namespace IRIs=] and [=namespace prefixes=] are not a formal part of the RDF data model.
Note also that [=namespace IRIs=] and [=namespace prefixes=] are not a formal part of the RDF abstract model.
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
Note also that [=namespace IRIs=] and [=namespace prefixes=] are not a formal part of the RDF abstract model.
Note also that [=namespace IRIs=] and [=namespace prefixes=] are not a formal part of the RDF abstract data model.

They are merely a syntactic convenience for abbreviating IRIs;
for processing, the actual IRIs are reconstructed by replacing each namespace prefix with the corresponding namespace IRI.
</p>
Expand Down Expand Up @@ -400,7 +400,7 @@ <h3>Triple Terms and Reification</h3>
<section id="change-over-time">
<h3>RDF and Change over Time</h3>

<p>The RDF data model is <em>atemporal</em>: <a>RDF graphs</a>
<p>The RDF abstract model is <em>atemporal</em>: <a>RDF graphs</a>
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
<p>The RDF abstract model is <em>atemporal</em>: <a>RDF graphs</a>
<p>The RDF abstract data model is <em>atemporal</em>: <a>RDF graphs</a>

are static snapshots of information.</p>

<p>However, <a>RDF graphs</a> can express information
Expand Down Expand Up @@ -595,13 +595,13 @@ <h3>RDF Version Announcement</h3>
</section>

<section id="conformance">
<p>This specification, <em>RDF 1.2 Concepts and Abstract Syntax</em>,
defines a data model and related terminology for use in
<p>This specification, <em>RDF 1.2 Concepts and Abstract Model</em>,
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
<p>This specification, <em>RDF 1.2 Concepts and Abstract Model</em>,
<p>This specification, <em>RDF 1.2 Concepts and Abstract Data Model</em>,

defines an abstract model and related vocabulary for use in
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
defines an abstract model and related vocabulary for use in
defines an abstract data model and related vocabulary for use in

Copy link
Contributor

Choose a reason for hiding this comment

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

Given that "vocabulary" has a rather specific meaning in the context of RDF, I would keep the word "terminology" here.

Suggested change
defines an abstract model and related vocabulary for use in
defines an abstract model and related terminology for use in

NB: arguably, we are also defining an RDF vocabulary (in the rdf: namespace), but I don't think that's what is referred to here.

other specifications, such as
<a>concrete RDF syntaxes</a>,
API specifications, and query languages.
Implementations cannot directly conform to
<em>RDF 1.2 Concepts and Abstract Syntax</em>,
<em>RDF 1.2 Concepts and Abstract Model</em>,
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
<em>RDF 1.2 Concepts and Abstract Model</em>,
<em>RDF 1.2 Concepts and Abstract Data Model</em>,

but can conform to such other specifications that normatively
reference terms defined here.</p>

Expand Down Expand Up @@ -847,7 +847,8 @@ <h3>IRIs</h3>
is a <a>string</a> that conforms to the syntax
defined in RFC 3987 [[!RFC3987]].</p>

<p>An IRI in the RDF abstract syntax
<p>An IRI in the RDF abstract model
Copy link
Contributor

Choose a reason for hiding this comment

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

If we keep "abstract syntax" where applicable (see above), I propose to keep it in places discussing syntactic details:

Suggested change
<p>An IRI in the RDF abstract model
<p>An IRI in the RDF abstract syntax

<!-- this passeage does not discuss abstract syntax. it concerns concrete systax -->
MUST be <a data-cite="RFC3986#section-5">resolved</a> per [[RFC3986]] and
MUST NOT be a <a data-cite="RFC3986#section-4.2">relative reference</a>.
An IRI MAY contain a <a data-cite="RFC3986#section-3.5">fragment identifier</a>.
Expand All @@ -859,7 +860,7 @@ <h3>IRIs</h3>
<a data-cite="I18N-GLOSSARY#dfn-code-point" class="lint-ignore">Unicode code points</a>,
as in Simple String Comparison in
<a data-cite="rfc3987#section-5.3.1">section 5.3.1</a> of [[!RFC3987]].
(This is done in the abstract syntax, so the IRIs are resolved
(This is done in the abstract model, so the IRIs are resolved
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
(This is done in the abstract model, so the IRIs are resolved
(This is done in the abstract syntax, so the IRIs are resolved

IRIs with no escaping or encoding.)
Further normalization MUST NOT be performed before this comparison. </p>

Expand All @@ -877,7 +878,7 @@ <h3>IRIs</h3>
An IRI reference is common usage of an Internationalized Resource Identifier.
An IRI reference refers to either a resolved <a>IRI</a> or <a>relative IRI reference</a>,
as described by the <em>IRI-reference</em> production in <a href="#iri-abnf" class="sectionRef"></a>.
The abstract syntax uses only fully resolved <a>IRIs</a>.
The abstract model uses only fully resolved <a>IRIs</a>.
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
The abstract model uses only fully resolved <a>IRIs</a>.
The abstract syntax uses only fully resolved <a>IRIs</a>.

When IRIs are used in operations that are only
defined for URIs, they must first be converted according to
the mapping defined in
Expand Down Expand Up @@ -1008,7 +1009,7 @@ <h4>Representation of Literals</h4>
<p>Some concrete syntaxes MAY support
<dfn data-lt="simple literal" class="export">simple literals</dfn> consisting of only a
<a>lexical form</a> without any <a>datatype IRI</a>, <a>language tag</a>, or <a>base direction</a>.
Simple literals are syntactic sugar for abstract syntax
Simple literals are syntactic sugar for data model
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
Simple literals are syntactic sugar for data model
Simple literals are syntactic sugar for abstract syntax

<a>literals</a>
with the <a>datatype IRI</a>
<code>http://www.w3.org/2001/XMLSchema#string</code>
Expand Down Expand Up @@ -1037,7 +1038,7 @@ <h4>Representation of Literals</h4>
In RDF 1.1, `"chat"@fr` and `"chat"@FR` represent two distinct terms,
but implementations may replace either with the other via some form of normalization.
In RDF 1.2, they represent the exact same literal,
i.e., the case difference in the concrete syntax does not propagate into the abstract syntax.
i.e., the case difference in the concrete syntax does not propagate into the abstract model.
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
i.e., the case difference in the concrete syntax does not propagate into the abstract model.
i.e., the case difference in the concrete syntax does not propagate into the abstract syntax.

Since many RDF 1.1 implementations do normalize language tags internally, they will not be impacted by this change.
</aside>

Expand Down Expand Up @@ -1145,7 +1146,7 @@ <h3>Blank Nodes</h3>
They are always locally scoped to the file or RDF store,
and are <em>not</em> persistent or portable identifiers
for blank nodes. Blank node identifiers are <em>not</em>
part of the RDF abstract syntax, but are entirely dependent
part of the RDF abstract model, but are entirely dependent
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
part of the RDF abstract model, but are entirely dependent
part of the RDF abstract syntax, but are entirely dependent

on the concrete syntax or implementation. The syntactic restrictions
on blank node identifiers, if any, therefore also depend on
the concrete RDF syntax or implementation. Implementations that handle blank node
Expand Down Expand Up @@ -1943,7 +1944,7 @@ <h3>The <code>rdf:JSON</code> Datatype</h3>
<section id="section-skolemization">
<h2>Replacing Blank Nodes with IRIs</h2>

<p>Blank nodes do not have identifiers in the RDF abstract syntax. The
<p>Blank nodes do not have identifiers in the RDF abstract model. The
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
<p>Blank nodes do not have identifiers in the RDF abstract model. The
<p>Blank nodes do not have identifiers in the RDF abstract syntax. The

<a>blank node identifiers</a> introduced
by some concrete syntaxes have only
local scope and are purely an artifact of the serialization.</p>
Expand Down Expand Up @@ -1999,7 +2000,7 @@ <h2>Privacy Considerations</h2>
<section id="security" class="appendix informative">
<h2>Security Considerations</h2>

<p>The RDF Abstract Syntax is not used directly for conveying information,
<p>The RDF Abstract Model is not used directly for conveying information,
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
<p>The RDF Abstract Model is not used directly for conveying information,
<p>The RDF Abstract Data Model is not used directly for conveying information,

although concrete serialization forms are specifically intended to do so.</p>

<p>Applications MAY evaluate given data to infer more assertions or to dereference <a>IRIs</a>,
Expand Down Expand Up @@ -2215,7 +2216,7 @@ <h2>Changes between RDF 1.1 and RDF 1.2</h2>
<li>Improved the use of IRI terminology,
and added <a href="#iri-abnf" class="sectionRef"></a>.
This improves the language using <a>relative IRI references</a>
and clarifies that, in the abstract syntax, IRIs are resolved,
and clarifies that, in the abstract model, IRIs are resolved,
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 clarifies that, in the abstract model, IRIs are resolved,
and clarifies that, in the abstract syntax, IRIs are resolved,

avoiding the incorrect use of "absolute IRI".</li>
<li>Changed reference from DOM4, which was not a recommendation at the time, to [[DOM]],
making the definitions of <a>rdf:HTML</a> and <a>rdf:XMLLiteral</a> datatypes normative.</li>
Expand Down
Loading