From af96a9980a52f364bf8e1c4918240daaedc6ab1a Mon Sep 17 00:00:00 2001 From: giacomodecolle Date: Tue, 7 Apr 2026 13:36:26 +0200 Subject: [PATCH 1/4] adding properties --- src/cco-modules/TimeOntology.ttl | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/src/cco-modules/TimeOntology.ttl b/src/cco-modules/TimeOntology.ttl index 83e1393..a00d26f 100644 --- a/src/cco-modules/TimeOntology.ttl +++ b/src/cco-modules/TimeOntology.ttl @@ -43,6 +43,25 @@ cco:ont00001760 rdf:type owl:AnnotationProperty . # Object Properties ################################################################# +### https://www.commoncoreontologies.org/ont00001779 +cco:ont00001779 rdf:type owl:ObjectProperty ; + owl:inverseOf cco:ont00001848 ; + rdfs:domain obo:BFO_0000015 ; + rdfs:range obo:BFO_0000203 ; + rdfs:label "process has first instant"@en ; + skos:definition "x process_has_first_instant y iff x is an instance of Process and y is an instance of Temporal Instant and z is an instance of Temporal Region and y is first_instant_of z, and x occupies_temporal_region z."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + +### https://www.commoncoreontologies.org/ont00001779 +cco:ont00001779 rdf:type owl:ObjectProperty ; + owl:inverseOf cco:ont00001848 ; + rdfs:domain obo:BFO_0000015 ; + rdfs:range obo:BFO_0000203 ; + rdfs:label "process has last instant"@en ; + skos:definition "x has_last_instant y iff x is an instance of Process and y is an instance of Temporal Instant and z is an instance of Temporal Region and y is last_instant_of z, and x occupies_temporal_region z."@en ; + cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . + + ### https://www.commoncoreontologies.org/ont00001779 cco:ont00001779 rdf:type owl:ObjectProperty ; owl:inverseOf cco:ont00001848 ; From 7c59193b5a85a64ad89ca35b9213f226affda90c Mon Sep 17 00:00:00 2001 From: giacomodecolle Date: Tue, 7 Apr 2026 13:57:07 +0200 Subject: [PATCH 2/4] deleting IRIs --- src/cco-modules/TimeOntology.ttl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/cco-modules/TimeOntology.ttl b/src/cco-modules/TimeOntology.ttl index a00d26f..09914dd 100644 --- a/src/cco-modules/TimeOntology.ttl +++ b/src/cco-modules/TimeOntology.ttl @@ -44,7 +44,7 @@ cco:ont00001760 rdf:type owl:AnnotationProperty . ################################################################# ### https://www.commoncoreontologies.org/ont00001779 -cco:ont00001779 rdf:type owl:ObjectProperty ; +cco:ont00000000 rdf:type owl:ObjectProperty ; owl:inverseOf cco:ont00001848 ; rdfs:domain obo:BFO_0000015 ; rdfs:range obo:BFO_0000203 ; @@ -53,7 +53,7 @@ cco:ont00001779 rdf:type owl:ObjectProperty ; cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001779 -cco:ont00001779 rdf:type owl:ObjectProperty ; +cco:ont00000000 rdf:type owl:ObjectProperty ; owl:inverseOf cco:ont00001848 ; rdfs:domain obo:BFO_0000015 ; rdfs:range obo:BFO_0000203 ; From 5ef35aeb558ec870af6d57866603ccd7c8b49147 Mon Sep 17 00:00:00 2001 From: giacomodecolle Date: Sat, 11 Apr 2026 19:08:31 +0200 Subject: [PATCH 3/4] adding axioms and minting IRIs --- src/cco-modules/TimeOntology.ttl | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/src/cco-modules/TimeOntology.ttl b/src/cco-modules/TimeOntology.ttl index 09914dd..5d9b071 100644 --- a/src/cco-modules/TimeOntology.ttl +++ b/src/cco-modules/TimeOntology.ttl @@ -44,7 +44,8 @@ cco:ont00001760 rdf:type owl:AnnotationProperty . ################################################################# ### https://www.commoncoreontologies.org/ont00001779 -cco:ont00000000 rdf:type owl:ObjectProperty ; +cco:ont00002079 rdf:type owl:ObjectProperty , + owl:FunctionalProperty ; owl:inverseOf cco:ont00001848 ; rdfs:domain obo:BFO_0000015 ; rdfs:range obo:BFO_0000203 ; @@ -53,8 +54,8 @@ cco:ont00000000 rdf:type owl:ObjectProperty ; cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001779 -cco:ont00000000 rdf:type owl:ObjectProperty ; - owl:inverseOf cco:ont00001848 ; +cco:ont00002080 rdf:type owl:ObjectProperty , + owl:FunctionalProperty ; rdfs:domain obo:BFO_0000015 ; rdfs:range obo:BFO_0000203 ; rdfs:label "process has last instant"@en ; From c0894144091bf16622e5a3eb8ab82880436e4827 Mon Sep 17 00:00:00 2001 From: giacomodecolle Date: Sat, 11 Apr 2026 19:09:49 +0200 Subject: [PATCH 4/4] updating IRIs --- src/cco-modules/TimeOntology.ttl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/cco-modules/TimeOntology.ttl b/src/cco-modules/TimeOntology.ttl index 5d9b071..e3a7e99 100644 --- a/src/cco-modules/TimeOntology.ttl +++ b/src/cco-modules/TimeOntology.ttl @@ -44,7 +44,7 @@ cco:ont00001760 rdf:type owl:AnnotationProperty . ################################################################# ### https://www.commoncoreontologies.org/ont00001779 -cco:ont00002079 rdf:type owl:ObjectProperty , +cco:ont00002080 rdf:type owl:ObjectProperty , owl:FunctionalProperty ; owl:inverseOf cco:ont00001848 ; rdfs:domain obo:BFO_0000015 ; @@ -54,7 +54,7 @@ cco:ont00002079 rdf:type owl:ObjectProperty , cco:ont00001760 "https://www.commoncoreontologies.org/TimeOntology"^^xsd:anyURI . ### https://www.commoncoreontologies.org/ont00001779 -cco:ont00002080 rdf:type owl:ObjectProperty , +cco:ont00002081 rdf:type owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain obo:BFO_0000015 ; rdfs:range obo:BFO_0000203 ;