From 751d955d7216d7cfe07bf831b154206c6c09888c Mon Sep 17 00:00:00 2001 From: "Peter F. Patel-Schneider" Date: Fri, 22 Sep 2023 15:47:40 -0400 Subject: [PATCH 1/4] add entailment rule for datatypes --- spec/index.html | 21 ++++++++++++++++++++- 1 file changed, 20 insertions(+), 1 deletion(-) diff --git a/spec/index.html b/spec/index.html index 09eed2b..9412a11 100644 --- a/spec/index.html +++ b/spec/index.html @@ -1033,6 +1033,25 @@

Patterns of RDF entailment (Informative)

ex:a ex:p _:x .
_:x rdf:type xsd:integer .

+

The last semantic condition above also justifies the following entailment pattern:

+ + + + + + + + + + + + + + +
any Sthen S RDF entails, recognizing D
rdfD1afor ddd in D with non-empty value space_:nnn rdf:type ddd .
+ + +

In addition, the first RDF semantic condition justifies the following entailment pattern:

@@ -1588,7 +1607,7 @@

Entailment rules (Informative)

  • Add to S all the RDF (and RDFS) axiomatic triples which do not contain any container membership property IRI.
  • For each container membership property IRI which occurs in E, add the RDF (and RDFS) axiomatic triples which contain that IRI.
  • If no triples were added in step 2., add the RDF (and RDFS) axiomatic triples which contain rdf:_1.
    • -
  • Apply the rules GrdfD1 and rdfD2 (and the rules rdfs1 through rdfs13), +
  • 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.
    • From 5588591280937184096971b91334de1eebe6a320 Mon Sep 17 00:00:00 2001 From: "Peter F. Patel-Schneider" Date: Wed, 27 Sep 2023 14:22:31 -0400 Subject: [PATCH 2/4] Apply suggestions from code review Co-authored-by: Ted Thibodeau Jr --- spec/index.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/spec/index.html b/spec/index.html index 9412a11..15932b7 100644 --- a/spec/index.html +++ b/spec/index.html @@ -1038,11 +1038,11 @@

    Patterns of RDF entailment (Informative)

    - - - + + + - + From d8b5ee1a5207db42465746fdbbb21cb9369f862b Mon Sep 17 00:00:00 2001 From: "Peter F. Patel-Schneider" Date: Thu, 5 Oct 2023 11:33:15 -0400 Subject: [PATCH 3/4] add new entailment rule to changes since RDF 1.1 --- spec/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/index.html b/spec/index.html index 15932b7..0ecb96f 100644 --- a/spec/index.html +++ b/spec/index.html @@ -2061,7 +2061,7 @@

    Acknowledgments

    Substantive changes since RDF 1.1

    From 290ffda0fc1e92fad1288a74faba3f6fd9557887 Mon Sep 17 00:00:00 2001 From: "Peter F. Patel-Schneider" Date: Thu, 2 Nov 2023 12:02:09 -0400 Subject: [PATCH 4/4] Update spec/index.html Co-authored-by: Ted Thibodeau Jr --- spec/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/index.html b/spec/index.html index 0ecb96f..6047818 100644 --- a/spec/index.html +++ b/spec/index.html @@ -2061,7 +2061,7 @@

    Acknowledgments

    Substantive changes since RDF 1.1

      -
    • The RDF entailment rule rdfD1a was added. This rule was not added for RDF entailment when the two built-in dataypes were added to RDF entailment.
      • +
    • RDF entailment rule rdfD1a was added in RDF 1.2. This rule should have been included in RDF 1.1 when the two built-in datatypes (xsd:string and rdf:langString) were added to RDF entailment.
    any Sthen S RDF entails, recognizing D any Sthen S RDF entails, recognizing D
    rdfD1a for ddd in D with non-empty value space _:nnn rdf:type ddd .