{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T23:36:14Z","timestamp":1761176174285,"version":"build-2065373602"},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"value":"9781643686318","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T00:00:00Z","timestamp":1761004800000},"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":[[2025,10,21]]},"abstract":"<jats:p>We establish a correspondence between (fragments of) TEL\u25ef, a temporal extension of the EL description logic with the LTL operator \u25efk, and some specific kinds of formal grammars, in particular, conjunctive grammars (context-free grammars equipped with the operation of intersection). This connection implies that TEL\u25ef does not possess the property of ultimate periodicity of models, and further leads to undecidability of query answering in TEL\u25ef, closing a question left open since the introduction of TEL\u25ef. Moreover, it also allows to establish decidability of query answering for some new interesting fragments of TEL\u25ef, and to reuse for this purpose existing tools and algorithms for conjunctive grammars.<\/jats:p>","DOI":"10.3233\/faia251004","type":"book-chapter","created":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T09:48:32Z","timestamp":1761126512000},"source":"Crossref","is-referenced-by-count":0,"title":["Analysing Temporal Reasoning in Description Logics Using Formal Grammars"],"prefix":"10.3233","author":[{"given":"Camille","family":"Bourgaux","sequence":"first","affiliation":[{"name":"DI ENS, ENS, CNRS, PSL University & Inria, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anton","family":"Gnatenko","sequence":"additional","affiliation":[{"name":"Free University of Bozen-Bolzano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u00ebl","family":"Thomazo","sequence":"additional","affiliation":[{"name":"DI ENS, ENS, CNRS, PSL University & Inria, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","ECAI 2025"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA251004","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T09:48:33Z","timestamp":1761126513000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA251004"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,21]]},"ISBN":["9781643686318"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia251004","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"value":"0922-6389","type":"print"},{"value":"1879-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,21]]}}}