{"type":"ScholarlyArticle","title":"Fixpoints in Temporal Description Logics","authors":[{"name":"Enrico Franconi","slug":"enrico-franconi","given":"Enrico","family":"Franconi","affiliation":""},{"name":"David Toman","slug":"david-toman","given":"David","family":"Toman","affiliation":""}],"abstract":"We study a decidable fixpoint extension of temporal description logics. To this end we employ and extend decidability results obtained for various temporally first-order monodic extensions of (first-order) description logics. Using these techniques we obtain decidability and tight complexity results for various fixpoint extensions of temporal description logics.","doi":"10.5591/978-1-57735-516-8/IJCAI11-152","url":"https://ijcai.org/proceedings/2011/152","pdf":"https://ijcai.org/proceedings/2011/0152.pdf","markdown":"https://ijcai.org/proceedings/2011/152.md","bibtex":"https://ijcai.org/proceedings/2011/bibtex/152","volume":{"slug":"2011","title":"Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2011","url":"https://ijcai.org/proceedings/2011/","year":2011,"location":"Barcelona, Catalonia, Spain","dates":"16–22 July 2011","editors":"Toby Walsh","isbn":"978-1-57735-512-0; 978-1-57735-513-7; 978-1-57735-514-4; 978-1-57735-515-1; 978-1-57735-516-8","publisher":"AAAI Press/International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":152,"pages":{"first":875,"last":879},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}