From 5a2f89c46b73f64dcb9f77cb8897ceccfbdb90aa Mon Sep 17 00:00:00 2001 From: Huanyu Li Date: Mon, 9 Feb 2026 14:16:45 +0100 Subject: [PATCH 1/3] update StateProperty URI --- ontology/modules/observation/0.1/observation.ttl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/ontology/modules/observation/0.1/observation.ttl b/ontology/modules/observation/0.1/observation.ttl index 51d06de..3cd3ff6 100644 --- a/ontology/modules/observation/0.1/observation.ttl +++ b/ontology/modules/observation/0.1/observation.ttl @@ -186,15 +186,15 @@ vann:preferredNamespaceUri rdf:type owl:AnnotationProperty . rdfs:label "Observation Value" . -### http://w3id.org/PLCO/ontology/resourceODP#StateProperty - rdf:type owl:Class . +### http://w3id.org/PLCO/ontology/product#StateProperty + rdf:type owl:Class . ################################################################# # General axioms ################################################################# -[ owl:intersectionOf ( +[ owl:intersectionOf ( [ rdf:type owl:Restriction ; owl:onProperty :isObservedBy ; owl:someValuesFrom :Observation From b1733b2bc24fc6d626b932cb930b2b152a1c3536 Mon Sep 17 00:00:00 2001 From: Huanyu Li Date: Mon, 9 Feb 2026 14:24:38 +0100 Subject: [PATCH 2/3] Update develop.yml --- .github/workflows/develop.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/develop.yml b/.github/workflows/develop.yml index f0a9ff6..2fdd2f9 100644 --- a/.github/workflows/develop.yml +++ b/.github/workflows/develop.yml @@ -128,6 +128,10 @@ jobs: - name: Commit and push to main run: | git checkout main + # Restore the newly generated docs + rm -rf docs/dev + cp -r /tmp/dev-docs-temp docs/dev + git config --local user.email "action@github.com" git config --local user.name "GitHub Action" git add -f docs/dev/ From fa6f89c3b6937358567d9cd8c760efbe405b1bac Mon Sep 17 00:00:00 2001 From: Huanyu Li Date: Mon, 9 Feb 2026 14:29:13 +0100 Subject: [PATCH 3/3] Update develop.yml --- .github/workflows/develop.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/develop.yml b/.github/workflows/develop.yml index 2fdd2f9..9797f15 100644 --- a/.github/workflows/develop.yml +++ b/.github/workflows/develop.yml @@ -127,6 +127,8 @@ jobs: - name: Commit and push to main run: | + cp -r docs/dev /tmp/dev-docs-temp + git checkout main # Restore the newly generated docs rm -rf docs/dev