8C555A45-19C7-463C-932C-8B601A1D27E0ExODA: Integrating Description Logics and Database Technologies for Expressive Ontology-Based Data AccessResearch GrantEP/H05099X/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL271714CAA7948A-EBCD-48E5-B100-B2AE0A4CC23ALogic for Programming, Artificial Intelligence, and Reasoning4a58df79a5a8ea8cc6d10c19819e76e6Artale A2013-01-01http://dx.doi.org/10.1007/978-3-642-45221-5_3978-3-642-45220-8http://dx.doi.org/10.1007/978-3-642-45221-5_3The Complexity of Clausal Fragments of LTL35-52Book Chapterdoi_53cfd0fd065be2fe