{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T13:27:15Z","timestamp":1751030835779,"version":"3.37.3"},"reference-count":0,"publisher":"IOS Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"abstract":"<jats:p>Time, events, changes and processes play a major role in conceptual modeling, and in information systems and computer science altogether. Accordingly, the representation of time structures and reasoning about temporal data and knowledge are important theoretical and practical research areas. We assume that a formal representation of temporal knowledge must use as a framework some toplevel ontology that describes the most general categories of temporal entities. In the current paper we discuss an ontology of time which is part of the foundational ontology GFO (General Formal Ontology). This ontology of time is inspired by ideas of Franz Brentano [1]. It is used to propose novel contributions to a number of problematic issues related to temporal representation and reasoning, among others, the Dividing Instant Problem and the problem of persistence and change. We present an axiomatization of the ontology as a theory in first-order logic. Eventually, metalogical analysis shows the consistency, completeness, and decidability of this theory.<\/jats:p>","DOI":"10.3233\/978-1-61499-084-0-293","type":"book-chapter","created":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:26:53Z","timestamp":1740133613000},"source":"Crossref","is-referenced-by-count":2,"title":["Ontology of Time in GFO"],"prefix":"10.3233","author":[{"family":"Baumann Ringo","sequence":"additional","affiliation":[]},{"family":"Loebe Frank","sequence":"additional","affiliation":[]},{"family":"Herre Heinrich","sequence":"additional","affiliation":[]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","Formal Ontology in Information Systems"],"original-title":[],"deposited":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T11:02:18Z","timestamp":1740135738000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospressISSNISBN&issn=0922-6389&volume=239&spage=293"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/978-1-61499-084-0-293","relation":{},"ISSN":["0922-6389"],"issn-type":[{"value":"0922-6389","type":"print"}],"subject":[],"published":{"date-parts":[[2012]]}}}