Skip to content

Commit

Permalink
Merge branch 'master' into existence_intervals_shapes_review
Browse files Browse the repository at this point in the history
  • Loading branch information
ajnelson-nist committed Jul 11, 2024
2 parents 11d2425 + 478e4cf commit 0ce8669
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 4 deletions.
5 changes: 3 additions & 2 deletions examples/illustrations/existence_intervals/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -127,8 +127,7 @@ gUFO's topmost class that describes an object that exists in a period of time is
* `gufo:Event` corresponds with UCO Issue 535's "Perdurant".
* `gufo:Situation` is mostly out of scope of this discussion, though the interested can review a footnote about temporary `@type` applicability[^1].

Two properties, "has begin point" and "has end point," assign the first and last instants that any concrete individual exists. The properties have range `time:Instant`, inheriting the vocabulary and entailing the structures of OWL-Time as described above.

Concrete individuals have first and last instants in which they exist. These instants are represented as `time:Instant` objects or as datatype literals (typed `xsd:date` or `xsd:dateTimeStamp`---and, pertinent to UCO, not `xsd:dateTime`). Two properties, "has begin point" and "has end point," assign the first and last instants that any concrete individual exists as objects. The properties have range `time:Instant`, inheriting the vocabulary and entailing the structures of OWL-Time as described above.
None of the three subclasses of `gufo:ConcreteIndividual` specialize restrictions on those existence-bounding properties. Hence, without loss of generality, we can review a `gufo:Endurant` and see the same time-related applicability for `gufo:Event`.

This is an endurant (more specifically, a `gufo:Object`) with literal-valued instants describing the creation and termination timestamps TS0 and TS1:
Expand All @@ -152,6 +151,8 @@ This is an endurant (more specifically, a `gufo:Object`) with literal-valued ins
]
```

The literal-valued timestamps can also use `gufo:hasBeginPointInXSDDate` when only `xsd:date` is to be used.

This is the same endurant with reified instants housing the beginning and end:

```json
Expand Down
5 changes: 3 additions & 2 deletions examples/illustrations/existence_intervals/src/README.md.in
Original file line number Diff line number Diff line change
Expand Up @@ -127,8 +127,7 @@ gUFO's topmost class that describes an object that exists in a period of time is
* `gufo:Event` corresponds with UCO Issue 535's "Perdurant".
* `gufo:Situation` is mostly out of scope of this discussion, though the interested can review a footnote about temporary `@type` applicability[^1].

Two properties, "has begin point" and "has end point," assign the first and last instants that any concrete individual exists. The properties have range `time:Instant`, inheriting the vocabulary and entailing the structures of OWL-Time as described above.

Concrete individuals have first and last instants in which they exist. These instants are represented as `time:Instant` objects or as datatype literals (typed `xsd:date` or `xsd:dateTimeStamp`---and, pertinent to UCO, not `xsd:dateTime`). Two properties, "has begin point" and "has end point," assign the first and last instants that any concrete individual exists as objects. The properties have range `time:Instant`, inheriting the vocabulary and entailing the structures of OWL-Time as described above.
None of the three subclasses of `gufo:ConcreteIndividual` specialize restrictions on those existence-bounding properties. Hence, without loss of generality, we can review a `gufo:Endurant` and see the same time-related applicability for `gufo:Event`.

This is an endurant (more specifically, a `gufo:Object`) with literal-valued instants describing the creation and termination timestamps TS0 and TS1:
Expand All @@ -137,6 +136,8 @@ This is an endurant (more specifically, a `gufo:Object`) with literal-valued ins
@EXISTENCE_INTERVALS_GUFO_OBJECT_LITERALS_JSON@
```

The literal-valued timestamps can also use `gufo:hasBeginPointInXSDDate` when only `xsd:date` is to be used.

This is the same endurant with reified instants housing the beginning and end:

```json
Expand Down

0 comments on commit 0ce8669

Please sign in to comment.