aren't sufficient for situations where things change over time, people have different opinions, etc. You can write something like
[
:subject :BobB .
:predicate :weightInKg .
:object 4.1 .
:measuredBy :PaulHoule .
:measuredWhen "2024-07-16Z"^^xsd:date .
:comment "Estimate by visual observation because Bob B wouldn't let me pick him up"
]
but people don't usually do that. I wrote a lot about this stuff in a technical report for ISO that is about to be published but, unfortunately, will be another ISO document that will cost 133 Swiss Franc. Probably the most advanced system for common-sense logic was Cyc
which didn't change the world as people had hoped. It's usually not that hard to build a model for changes over time or other details of the commonsense domain for a limited domain (e.g. "Where was package 888310-313 at 3:42 PM last Thursday?") but its a very difficult problem to do generally.
https://en.wikipedia.org/wiki/Cyc
which didn't change the world as people had hoped. It's usually not that hard to build a model for changes over time or other details of the commonsense domain for a limited domain (e.g. "Where was package 888310-313 at 3:42 PM last Thursday?") but its a very difficult problem to do generally.