refreshing

eyereasoner · Oct 22, 2024 · 130bf67 · 130bf67
1 parent 464fa8e
commit 130bf67
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/reasoning/rdflogic/age.ttl b/reasoning/rdflogic/age.ttl
@@ -31,10 +31,10 @@
 # query: is the age of a person above some duration?
 <<
     log:conjunction log:isFunctorOf (
-        << var:S :ageAbove "P75Y"^^xsd:duration >>
+        << var:S :ageAbove "P80Y"^^xsd:duration >>
     )
 >> log:query <<
     log:conjunction log:isFunctorOf (
-        << var:S :ageAbove "P75Y"^^xsd:duration >>
+        << var:S :ageAbove "P80Y"^^xsd:duration >>
     )
 >>.
diff --git a/reasoning/rdflogic/output/age.ttl b/reasoning/rdflogic/output/age.ttl
@@ -1,4 +1,4 @@
 @prefix : <https://example.org/#>.
 @prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
 
-:patH :ageAbove "P75Y"^^xsd:duration.
+:patH :ageAbove "P80Y"^^xsd:duration.