Skip to content

extend, fix, and regularize the descriptions of the components of simple interpretations #149

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

Merged
merged 1 commit into from
Aug 11, 2025
Merged

extend, fix, and regularize the descriptions of the components of simple interpretations #149

Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
14 changes: 7 additions & 7 deletions spec/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -419,17 +419,17 @@ <h2>Simple Interpretations</h2>
<table>
<caption>Definition of a simple interpretation.</caption>
<tr>
<td class="semantictable">1. A non-empty set IR of resources, called the domain or universe
<td class="semantictable">1. A non-empty set IR, the resources of I, also called the domain or universe
of I.
<p>2. <span >A set IP, called the set of properties of I.</span></p>
<p>3. A mapping IEXT from IP into the powerset of IR x IR i.e. the
set of sets of pairs &lt; x, y &gt; with x and y in IR .</p>
<p>4. A mapping IS from IRIs into (IR union IP)</p>
<p>5. A partial mapping IL from literals into IR </p>
<p>2. <span >A set IP, the properties of I.</span></p>
<p>3. A mapping IEXT from IP into the powerset of IR x IR (the
set of sets of pairs &lt; x, y &gt; with x and y in IR ), the extension mapping for properties in I.</p>
<p>4. A mapping IS from IRIs into (IR union IP), the denotation mapping for symbols in I.</p>
<p>5. A partial mapping IL from literals into IR, the denotation mapping for literals in I.</p>
<p id="simple-injective-tests" data-tests="rdf-semantics/index.html#all-identical-triple-terms-are-the-same,
rdf-semantics/index.html#triple-term-not-asserted,
rdf-semantics/index.html#triple-terms-no-spurious">
6. An injective mapping RE from IR x IP x IR into IR, called the denotation of triple terms. </p>
6. An injective mapping RE from IR x IP x IR into IR, the extension mapping for triples in I. </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
6. An injective mapping RE from IR x IP x IR into IR, the extension mapping for triples in I. </p>
6. An injective mapping IT from IR x IP x IR into IR, the extension mapping for triples in I. </p>

Might as well rename RE to IT in this PR too? (There are 6 other places where it is used, but I can't suggest them in this interface.)

Copy link
Contributor Author

Choose a reason for hiding this comment

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

I prefer to make this a separate PR.

Copy link
Contributor

Choose a reason for hiding this comment

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

OK.

</td>
</tr>
</table>
Expand Down
Loading