{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,22]],"date-time":"2023-12-22T00:16:19Z","timestamp":1703204179979},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"value":"9781643684680","type":"print"},{"value":"9781643684697","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,12,21]],"date-time":"2023-12-21T00:00:00Z","timestamp":1703116800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,12,21]]},"abstract":"<jats:p>We investigate the construction of time in EMMO, a foundational ontology developed to improve the strictness in the representation of applied sciences\u2019 knowledge. We show how temporal individuals and temporal relations can be defined from the primitives of causation and parthood, at the core of EMMO; we then prove that our construction satisfies van Benthem\u2019s requirements for temporal structures. Our analysis contributes to clarifying the overall landscape of causal relational theories of time, and to the ongoing effort of aligning foundational ontologies. We conclude by sketching how our results can be generalised, employing a strategy to simulate relations\u2019 transitive closure in FOL. This generalisation makes the described construction of time exploitable in ontology engineering with minimal preconditions and sets up the groundwork for a systematic analysis of the connections between (discrete) causal and temporal structures.<\/jats:p>","DOI":"10.3233\/faia231120","type":"book-chapter","created":{"date-parts":[[2023,12,21]],"date-time":"2023-12-21T15:56:40Z","timestamp":1703174200000},"source":"Crossref","is-referenced-by-count":0,"title":["From Causation (and Parthood) to Time: The Case of EMMO"],"prefix":"10.3233","author":[{"given":"Francesco A.","family":"Zaccarini","sequence":"first","affiliation":[{"name":"DIN, University of Bologna, Bologna, Italy"}]},{"given":"Claudio","family":"Masolo","sequence":"additional","affiliation":[{"name":"Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy"}]},{"given":"Emanuele","family":"Ghedini","sequence":"additional","affiliation":[{"name":"DIN, University of Bologna, Bologna, Italy"}]},{"given":"Stefano","family":"Borgo","sequence":"additional","affiliation":[{"name":"Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","Formal Ontology in Information Systems"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA231120","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,21]],"date-time":"2023-12-21T15:57:21Z","timestamp":1703174241000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA231120"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,21]]},"ISBN":["9781643684680","9781643684697"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia231120","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"value":"0922-6389","type":"print"},{"value":"1879-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12,21]]}}}