From 912c6d31985ce7a59e20f7ff88beb58488c46003 Mon Sep 17 00:00:00 2001 From: domel Dominik Tomaszuk Date: Wed, 4 Sep 2024 21:16:53 +0200 Subject: [PATCH 1/4] rdf:ReificationProperty added --- spec/index.html | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/spec/index.html b/spec/index.html index 43d7947..ef23611 100644 --- a/spec/index.html +++ b/spec/index.html @@ -298,6 +298,12 @@

rdf:Property

rdf:Property is the class of RDF properties. rdf:Property is an instance of rdfs:Class.

+ +
+

rdf:ReificationProperty

+

rdf:ReificationProperty is the class of properties used for reification in RDF 1.2. + rdf:ReificationProperty is an instance of rdfs:Class and a subclass of rdf:Property.

+
@@ -939,6 +945,10 @@

RDF classes

rdf:Property The class of RDF properties. + + rdf:ReificationProperty + The class of properties used for reification in RDF. + rdfs:Datatype The class of RDF datatypes. @@ -1207,6 +1217,7 @@

Changes between RDF 1.1 and RDF 1.2

From 34da487e12e77a27db2bf14268a7e05711646c06 Mon Sep 17 00:00:00 2001 From: "Tomaszuk, Dominik" Date: Tue, 17 Dec 2024 12:41:55 +0100 Subject: [PATCH 2/4] add rdf:reifies and rdf:Proposition, remove rdf:ReificationProperty --- spec/index.html | 28 +++++++++++++++++++++++----- 1 file changed, 23 insertions(+), 5 deletions(-) diff --git a/spec/index.html b/spec/index.html index ef23611..30e329d 100644 --- a/spec/index.html +++ b/spec/index.html @@ -298,12 +298,13 @@

rdf:Property

rdf:Property is the class of RDF properties. rdf:Property is an instance of rdfs:Class.

- -
-

rdf:ReificationProperty

-

rdf:ReificationProperty is the class of properties used for reification in RDF 1.2. - rdf:ReificationProperty is an instance of rdfs:Class and a subclass of rdf:Property.

+ +
+

rdf:Proposition

+

rdf:Proposition is the class of reified triples. + rdf:Proposition is an instance of rdfs:Class.

+
@@ -409,6 +410,23 @@

rdf:type

href="#ch_class">rdfs:Class.

+
+

rdf:reifies

+

rdf:reifies is an instance of rdf:Property + that is used to associate a resource (reifier) with a triple (proposition).

+

A triple of the form:

+
R rdf:reifies <<S P O>>
+

states that R is an instance of rdfs:Resource + and reifies the triple term <<S P O>>, where S, P, and O represent + the subject, predicate, and object of the reified triple, respectively. The object + <<S P O>> is an instance of the class + rdf:Proposition.

+

The rdfs:domain of + rdf:reifies is rdfs:Resource. + The rdfs:range of rdf:reifies is + rdf:Proposition.

+
+

rdfs:subClassOf

The property rdfs:subClassOf is an instance of Date: Thu, 19 Dec 2024 11:29:04 +0100 Subject: [PATCH 3/4] add rdf:Proposition and rdf:reifies to the tables --- spec/index.html | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) diff --git a/spec/index.html b/spec/index.html index 30e329d..397e2ab 100644 --- a/spec/index.html +++ b/spec/index.html @@ -964,8 +964,8 @@

RDF classes

The class of RDF properties. - rdf:ReificationProperty - The class of properties used for reification in RDF. + rdf:Proposition + The class of reified triples. rdfs:Datatype @@ -1013,12 +1013,19 @@

RDF properties

comment domain range - + + rdf:type The subject is an instance of a class. rdfs:Resource rdfs:Class + + rdf:reifies + Associates a resource with a reified triple. + rdfs:Resource + rdf:Proposition + rdfs:subClassOf The subject is a subclass of a class. From 723d74bd3caa7ed74f1e63ba5232eb8f83fc9349 Mon Sep 17 00:00:00 2001 From: "Tomaszuk, Dominik" Date: Thu, 19 Dec 2024 11:33:27 +0100 Subject: [PATCH 4/4] update changes sec --- spec/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/index.html b/spec/index.html index 397e2ab..f5faf2b 100644 --- a/spec/index.html +++ b/spec/index.html @@ -1242,7 +1242,7 @@

Changes between RDF 1.1 and RDF 1.2

  • Added the datatype rdf:JSON.
  • -
  • Added the class rdf:ReificationProperty.
  • +
  • Added the class rdf:Proposition and the property rdf:reifies.