From 46c86cf365df137c2f21735f8c207db80b3a1c4e Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Wed, 5 Jun 2024 11:40:28 -0400 Subject: [PATCH 1/2] Classify Relationship, noting apparent non-alignments No effects were observed on Make-managed files. Signed-off-by: Alex Nelson --- ontology/uco-gufo.ttl | 41 +++++++++++++++++++++++++++++++++++++++++ tests/exemplars.ttl | 16 ++++++++++++++++ 2 files changed, 57 insertions(+) diff --git a/ontology/uco-gufo.ttl b/ontology/uco-gufo.ttl index db86ce5..dd80735 100644 --- a/ontology/uco-gufo.ttl +++ b/ontology/uco-gufo.ttl @@ -167,6 +167,13 @@ uco-core:Item ; . +uco-core:Relationship + rdfs:subClassOf + drafting:Endurant , + gufo:Object + ; + . + uco-core:endTime rdfs:seeAlso gufo:hasEndPoint , @@ -235,3 +242,37 @@ uco-types:Hash owl:annotatedSubject uco-core:Facet ; . +[] + a owl:NegativePropertyAssertion ; + rdfs:comment "If this specialization were introduced, a further specialization would be suggested for gufo:mediates. A demonstration exists among the CASE examples that is incompatible: A Relationship, 'Mapped_Into', that relates two Actions together to demonstrate a lifecycle phase."@en ; + rdfs:seeAlso + , + , + [ + a owl:NegativePropertyAssertion ; + rdfs:comment "gufo:mediates has range gufo:Endurant, but a uco-core:Relationship is permitted to link any UcoObject, including perdurants."@en ; + rdfs:seeAlso + , + + ; + owl:assertionProperty rdfs:subPropertyOf ; + owl:sourceInvididual uco-core:source ; + owl:targetInvididual gufo:mediates ; + ] , + [ + a owl:NegativePropertyAssertion ; + rdfs:comment "gufo:mediates has range gufo:Endurant, but a uco-core:Relationship is permitted to link any UcoObject, including perdurants."@en ; + rdfs:seeAlso + , + + ; + owl:assertionProperty rdfs:subPropertyOf ; + owl:sourceInvididual uco-core:target ; + owl:targetInvididual gufo:mediates ; + ] + ; + owl:assertionProperty rdfs:subClassOf ; + owl:sourceInvididual uco-core:Relationship ; + owl:targetInvididual gufo:Relator ; + . + diff --git a/tests/exemplars.ttl b/tests/exemplars.ttl index c7786a8..c10d22c 100644 --- a/tests/exemplars.ttl +++ b/tests/exemplars.ttl @@ -46,11 +46,19 @@ kb:BluetoothAddressFacet-717b8cce-e9c2-4d59-81e4-1747d7e2d8ee a uco-observable:BluetoothAddressFacet ; . +kb:ContentData-0571dfb7-889e-4e8c-bec7-47a62ab9286f + a uco-observable:ContentData ; + . + kb:ContentData-179c7e84-f72d-47f7-b6f3-3f4a1f0938bd a uco-observable:ContentData ; uco-core:hasFacet kb:ContentDataFacet-a961d865-087b-43bd-ab31-0e33331c5628 ; . +kb:ContentData-3f13e43a-a3f4-4dcc-8db2-e934b24890ec + a uco-observable:ContentData ; + . + kb:ContentDataFacet-a961d865-087b-43bd-ab31-0e33331c5628 a uco-observable:ContentDataFacet ; . @@ -126,6 +134,14 @@ kb:QualityValueAttributionSituation-872b7dd1-b49a-4278-bfdf-df507493d63f gufo:hasEndPoint kb:Instant-c9ae3fce-ddcb-416b-971b-559c2f5bee95 ; . +kb:Relationship-2be6b54a-a051-499c-9dcd-63d17d813293 + a uco-core:Relationship ; + uco-core:isDirectional "true"^^xsd:boolean ; + uco-core:kindOfRelationship "Contained_Within" ; + uco-core:source kb:ContentData-0571dfb7-889e-4e8c-bec7-47a62ab9286f ; + uco-core:target kb:ContentData-3f13e43a-a3f4-4dcc-8db2-e934b24890ec ; + . + kb:Velocity-62bc6232-b570-45d7-b382-d4e0a36fceb9 a drafting:Velocity ; gufo:inheresIn kb:Vehicle-c7e910e8-4bed-473e-ad74-3df3eb63cbcc ; From d2c299095f72ba520926c787880c6d6ff9483de8 Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Wed, 5 Jun 2024 14:51:05 -0400 Subject: [PATCH 2/2] Classify Location No effects were observed on Make-managed files. Signed-off-by: Alex Nelson --- ontology/uco-gufo.ttl | 8 ++++++++ tests/exemplars.ttl | 5 +++++ 2 files changed, 13 insertions(+) diff --git a/ontology/uco-gufo.ttl b/ontology/uco-gufo.ttl index db86ce5..9cb4219 100644 --- a/ontology/uco-gufo.ttl +++ b/ontology/uco-gufo.ttl @@ -9,6 +9,7 @@ @prefix uco-action: . @prefix uco-core: . @prefix uco-identity: . +@prefix uco-location: . @prefix uco-observable: . @prefix uco-types: . @prefix xsd: . @@ -205,6 +206,13 @@ uco-identity:Person ; . +uco-location:Location + rdfs:subClassOf + drafting:Endurant , + gufo:Object + ; + . + uco-observable:BluetoothAddressFacet a drafting:SpecificFacetType ; . diff --git a/tests/exemplars.ttl b/tests/exemplars.ttl index c7786a8..eec52c0 100644 --- a/tests/exemplars.ttl +++ b/tests/exemplars.ttl @@ -10,6 +10,7 @@ @prefix uco-action: . @prefix uco-core: . @prefix uco-identity: . +@prefix uco-location: . @prefix uco-observable: . @prefix uco-types: . @prefix uco-vocabulary: . @@ -92,6 +93,10 @@ kb:Interval-336d4db4-727e-4694-8bf0-5902c6ae504f time:inside kb:Instant-2918592a-9d87-4b30-acbc-521a19f97fcd ; . +kb:Location-c39f5c70-ba6d-44a1-8c6c-426b0372eade + a uco-location:Location ; + . + kb:MACAddressFacet-3b25d05e-a3b0-4828-8b6d-1e08f4d4264f a uco-observable:MACAddressFacet ; .