From 587cc4bec51eb3ef60ce2c607813b04a3a877f48 Mon Sep 17 00:00:00 2001 From: Dylan Abney Date: Thu, 28 Apr 2022 17:44:50 -0500 Subject: [PATCH 1/8] Adding property 'hasFirstMember' --- gistCore.ttl | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/gistCore.ttl b/gistCore.ttl index 102bf1ac..e8202e03 100644 --- a/gistCore.ttl +++ b/gistCore.ttl @@ -3224,6 +3224,15 @@ gist:hasDirectSuperCategory skos:scopeNote "Unlike its superproperty gist:hasSuperCategory, this property is not transitive. It is essentially the same as the non-transitive skos:broader, using gist:Category rather than skos:Concept."^^xsd:string ; . +gist:hasFirstMember + a owl:ObjectProperty ; + rdfs:subPropertyOf gist:hasMember ; + rdfs:domain gist:OrderedCollection ; + rdfs:range gist:OrderedMember ; + skos:definition "Relates an ordered collection to its first member."^^xsd:string ; + skos:scopeNote "Given the open-world assumption, the absence of a predecessor does not entail that an ordered member is the first member of an ordered collection. This property is used to make explicit the first member of an ordered collection."^^xsd:string ; + . + gist:hasGiver a owl:ObjectProperty ; rdfs:subPropertyOf gist:hasParticipant ; From 751eff362d0c3975a414af0f9fe6ab6ecec2fdfb Mon Sep 17 00:00:00 2001 From: Dylan Abney Date: Thu, 28 Apr 2022 17:50:58 -0500 Subject: [PATCH 2/8] Adding release note for issue 549 - rebasing --- docs/ReleaseNotes.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/ReleaseNotes.md b/docs/ReleaseNotes.md index 05396d88..1c430a90 100644 --- a/docs/ReleaseNotes.md +++ b/docs/ReleaseNotes.md @@ -6,6 +6,8 @@ Release 11.1.0 ### Minor Updates +- Added new property `hasFirstMember`. Issue [#549](https://github.com/semanticarts/gist/issues/549). + ### Patch Updates - Improved the clarity and accuracy of annotations on serveral terms, including definitions, examples, and scope notes: From ae31b99a16116a1de792581a133d19a77062c0cb Mon Sep 17 00:00:00 2001 From: Dylan Abney Date: Thu, 28 Apr 2022 17:59:57 -0500 Subject: [PATCH 3/8] Adding prefLabel for 'hasFirstMember' --- gistCore.ttl | 1 + 1 file changed, 1 insertion(+) diff --git a/gistCore.ttl b/gistCore.ttl index e8202e03..f2042cb5 100644 --- a/gistCore.ttl +++ b/gistCore.ttl @@ -3230,6 +3230,7 @@ gist:hasFirstMember rdfs:domain gist:OrderedCollection ; rdfs:range gist:OrderedMember ; skos:definition "Relates an ordered collection to its first member."^^xsd:string ; + skos:prefLabel "has first member"^^xsd:string ; skos:scopeNote "Given the open-world assumption, the absence of a predecessor does not entail that an ordered member is the first member of an ordered collection. This property is used to make explicit the first member of an ordered collection."^^xsd:string ; . From 6201463be63a42be54846f3b78314550a989c7c9 Mon Sep 17 00:00:00 2001 From: Dylan Abney Date: Fri, 29 Apr 2022 15:49:06 -0500 Subject: [PATCH 4/8] Tweak to 'hasFirstMember' scope note --- gistCore.ttl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gistCore.ttl b/gistCore.ttl index f2042cb5..e4b2021f 100644 --- a/gistCore.ttl +++ b/gistCore.ttl @@ -3231,7 +3231,7 @@ gist:hasFirstMember rdfs:range gist:OrderedMember ; skos:definition "Relates an ordered collection to its first member."^^xsd:string ; skos:prefLabel "has first member"^^xsd:string ; - skos:scopeNote "Given the open-world assumption, the absence of a predecessor does not entail that an ordered member is the first member of an ordered collection. This property is used to make explicit the first member of an ordered collection."^^xsd:string ; + skos:scopeNote "Given the open-world assumption, the absence of a predecessor does not entail that an ordered member is the first member of an ordered collection. This property is used to explicitly indicate the first member."^^xsd:string ; . gist:hasGiver From 11d949bafbd38ece7473f3126fd01836d52acf72 Mon Sep 17 00:00:00 2001 From: Dylan Abney Date: Fri, 13 May 2022 14:20:41 -0500 Subject: [PATCH 5/8] Tweak to hasFirstMember scopeNote --- gistCore.ttl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gistCore.ttl b/gistCore.ttl index e4b2021f..6079b350 100644 --- a/gistCore.ttl +++ b/gistCore.ttl @@ -3231,7 +3231,7 @@ gist:hasFirstMember rdfs:range gist:OrderedMember ; skos:definition "Relates an ordered collection to its first member."^^xsd:string ; skos:prefLabel "has first member"^^xsd:string ; - skos:scopeNote "Given the open-world assumption, the absence of a predecessor does not entail that an ordered member is the first member of an ordered collection. This property is used to explicitly indicate the first member."^^xsd:string ; + skos:scopeNote "Given the Open World Assumption, the absence of a predecessor does not entail that an ordered member is the first member of an ordered collection. This property is used to explicitly indicate the first member."^^xsd:string ; . gist:hasGiver From aa98cf69c4a52ea27852a39bb09c69f13d34d945 Mon Sep 17 00:00:00 2001 From: Dylan Abney Date: Tue, 17 May 2022 11:32:08 -0500 Subject: [PATCH 6/8] Making 'hasFirstMember' an inverse functional property --- gistCore.ttl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/gistCore.ttl b/gistCore.ttl index 6079b350..e4c297b9 100644 --- a/gistCore.ttl +++ b/gistCore.ttl @@ -3225,7 +3225,10 @@ gist:hasDirectSuperCategory . gist:hasFirstMember - a owl:ObjectProperty ; + a + owl:ObjectProperty , + owl:InverseFunctionalProperty + ; rdfs:subPropertyOf gist:hasMember ; rdfs:domain gist:OrderedCollection ; rdfs:range gist:OrderedMember ; From 10984de89ce37139022eec627d3ed6be1674a9f9 Mon Sep 17 00:00:00 2001 From: Dylan Abney Date: Tue, 17 May 2022 16:51:32 -0500 Subject: [PATCH 7/8] Adding property restriction to formal definition of 'OrderedCollection' --- gistCore.ttl | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/gistCore.ttl b/gistCore.ttl index e4c297b9..a7a02634 100644 --- a/gistCore.ttl +++ b/gistCore.ttl @@ -1712,6 +1712,20 @@ gist:OrderedCollection owl:onProperty gist:hasMember ; owl:allValuesFrom gist:OrderedMember ; ] + [ + owl:unionOf ( + [ + a owl:Restriction ; + owl:onProperty gist:hasMember ; + owl:cardinality "0"^^xsd:nonNegativeInteger ; + ] + [ + a owl:Restriction ; + owl:onProperty gist:hasFirstMember ; + owl:someValuesFrom owl:Thing ; + ] + ) ; + ] ) ; ] ; skos:definition "A collection in which the members are sequentially ordered. All members of an OrderedCollection are OrderedMembers."^^xsd:string ; From 8ce48ba427b3d75658c90155f9945598acdc00fc Mon Sep 17 00:00:00 2001 From: Dylan Abney Date: Thu, 26 May 2022 09:25:42 -0500 Subject: [PATCH 8/8] Tweak to 'hasFirstMember' scope note regarding multiple first members --- gistCore.ttl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gistCore.ttl b/gistCore.ttl index a7a02634..7fcb21a2 100644 --- a/gistCore.ttl +++ b/gistCore.ttl @@ -3248,7 +3248,7 @@ gist:hasFirstMember rdfs:range gist:OrderedMember ; skos:definition "Relates an ordered collection to its first member."^^xsd:string ; skos:prefLabel "has first member"^^xsd:string ; - skos:scopeNote "Given the Open World Assumption, the absence of a predecessor does not entail that an ordered member is the first member of an ordered collection. This property is used to explicitly indicate the first member."^^xsd:string ; + skos:scopeNote "Given the Open World Assumption, the absence of a predecessor does not entail that an ordered member is the first member of an ordered collection. This property is used to explicitly indicate the first member. Since ordered collections may not be strictly ordered, there can be more than one first member."^^xsd:string ; . gist:hasGiver