Skip to content

Commit

Permalink
Update spec/index.html
Browse files Browse the repository at this point in the history
Co-authored-by: Ted Thibodeau Jr <[email protected]>
  • Loading branch information
pfps and TallTed committed Jun 27, 2024
1 parent d6ee00b commit e29d0aa
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion spec/index.html
Original file line number Diff line number Diff line change
Expand Up @@ -1518,7 +1518,7 @@ <h2>Entailment rules (Informative)</h2>
<li>For every container membership property IRI which occurs in E, add the RDF (or RDF and RDFS) axiomatic triples which contain that IRI.</li>
<li>For every IRI <code>aaa</code> used in E, add <code>aaa rdf:type rdfs:Resource</code> to S.</li>
<li>Apply the RDF (or RDF and RDFS) inference patterns as rules, adding each conclusion to the graph, to exhaustion; that is, until they generate no new triples.</li>
<li>Determine if E has an instance which is a subset of the set, i.e. whether the enlarged set <a>simply entails</a> E.</li>
<li>Determine if E has an instance which is a subset of the set, i.e., whether the enlarged set <a>simply entails</a> E.</li>
</ol>

<p>This process is clearly correct, in that if it gives a positive result then indeed S does RDF (RDFS) entail E.
Expand Down

0 comments on commit e29d0aa

Please sign in to comment.