Skip to content

Commit

Permalink
But for real this time
Browse files Browse the repository at this point in the history
  • Loading branch information
johnbeve committed Jan 29, 2024
1 parent 8803b65 commit 159b920
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/owl/profiles/temporal extensions/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ A long-standing issue among BFO users and developers has concerned how best to r

Since FOL allows using ternary relations. OWL's restriction to at most binary relations precludes expressions like (1); indeed, there is no simple, straightforward way to represent the content of (1) in OWL. Given the need to represent time and change in many domains and the wide use of OWL in ontology circles, proposals have been offered by users of BFO for representing such phenomena within the binary constraints of OWL. Examples include:

* [Temporalized Relations](src/owl/profiles/temporal extensions/temporalized relations/owl/README.md)
* [Temporalized Relations](https://github.com/BFO-ontology/BFO-2020/blob/master/src/owl/profiles/temporal%20extensions/temporalized%20relations/owl/README.md)
* [Temporal Interpretation Annotation](https://oborel.github.io/obo-relations/temporal-semantics/)

Each is a plausible avenue of research in the interest of more rigorous representations of time in restricted formal languages. Details for each can be viewed at the above links.
Expand Down

0 comments on commit 159b920

Please sign in to comment.