diff --git a/spec/index.html b/spec/index.html index 00e043e..fe2f06f 100644 --- a/spec/index.html +++ b/spec/index.html @@ -1607,7 +1607,7 @@

Entailment rules (Informative)

  1. Add to S all the RDF (and RDFS) axiomatic triples which do not contain any container membership property IRI.
  2. For each container membership property IRI which occurs in E, add the RDF (and RDFS) axiomatic triples which contain that IRI.
  3. -
  4. If no triples were added in step 2., add the RDF (and RDFS) axiomatic triples which contain rdf:_1.
  5. +
  6. If no triples were added in step 2, add the RDF (and RDFS) axiomatic triples which contain rdf:_1.
  7. For every IRI or literal aaa used in E, add aaa rdf:type rdfs:Resource to S.
  8. Apply the rules GrdfD1, rdfD1a, and rdfD2 (and the rules rdfs1 through rdfs13), with D={rdf:langString, xsd:string}, to the set in all possible ways, to exhaustion.