diff --git a/spec/index.html b/spec/index.html index 08bbb22..c8fcabf 100644 --- a/spec/index.html +++ b/spec/index.html @@ -134,7 +134,6 @@

Graph-based Data Model

Resources and Statements

Any IRI or literal denotes - Should this be replaced with a reference to denote in [[RDF12-SEMANTICS]]? something in the world (the "universe of discourse"). These things are called @@ -364,9 +363,6 @@

Equivalence, Entailment and Inconsistency

that makes A true also makes B true. When A entails B, if the truth of A is presumed or demonstrated then the truth of B is established. -
Should this be a reference to, or replace - entail in [[RDF12-SEMANTICS]]? -
Equivalence
@@ -375,9 +371,6 @@

Equivalence, Entailment and Inconsistency

A is equivalent to B if and only if A entails B and B entails A. -
Should this be a reference to, or replace - equivalent in [[RDF12-SEMANTICS]]? -
Inconsistency
@@ -386,7 +379,7 @@

Equivalence, Entailment and Inconsistency

of the world that would make the expression true. -

An entailment regime [[RDF12-SEMANTICS]] is a specification that +

An entailment regime [[RDF12-SEMANTICS]] is a specification that defines precise conditions that make these relationships hold. RDF itself recognizes only some basic cases of entailment, equivalence and inconsistency. Other specifications, such as @@ -400,7 +393,7 @@

Equivalence, Entailment and Inconsistency

entailment regimes. Implementations may or may not detect inconsistencies, and may make all, - some or no entailed information + some or no entailed information available to users.

@@ -1206,7 +1199,6 @@

Fragment Identifiers

the primary resource, and the precise semantics depend on the set of representations that might result from a retrieval action on the primary resource.

-

Should this instead be a reference to

This section discusses the handling of fragment identifiers in representations that encode RDF graphs.