{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:30:43Z","timestamp":1723015843191},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,8]]},"abstract":"<jats:p>We study combinations of the description logic DL-Lite_{bool}^N with the branching temporal logics CTL* and CTL. We analyse  two types of combinations, both with  rigid roles: (i) temporal operators are applied to concepts and to ABox assertions, and (ii) temporal operators are applied to concepts and  Boolean combinations of concept inclusions and ABox assertions.  For the resulting logics, we present algorithms for the satisfiability problem  and (mostly tight) complexity bounds ranging from ExpTime to 3ExpTime.<\/jats:p>","DOI":"10.24963\/ijcai.2017\/149","type":"proceedings-article","created":{"date-parts":[[2017,7,28]],"date-time":"2017-07-28T09:14:07Z","timestamp":1501233247000},"page":"1074-1080","source":"Crossref","is-referenced-by-count":0,"title":["Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage"],"prefix":"10.24963","author":[{"given":"V\u00edctor","family":"Guti\u00e9rrez-Basulto","sequence":"first","affiliation":[{"name":"Cardiff University, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean Christoph","family":"Jung","sequence":"additional","affiliation":[{"name":"Universit\u00e4t Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"26","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)","University of Technology Sydney (UTS)","Australian Computer Society (ACS)"],"acronym":"IJCAI-2017","name":"Twenty-Sixth International Joint Conference on Artificial Intelligence","start":{"date-parts":[[2017,8,19]]},"theme":"Artificial Intelligence","location":"Melbourne, Australia","end":{"date-parts":[[2017,8,26]]}},"container-title":["Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2017,7,28]],"date-time":"2017-07-28T11:52:30Z","timestamp":1501242750000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2017\/149"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2017,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2017\/149","relation":{},"subject":[],"published":{"date-parts":[[2017,8]]}}}