A Note on DL-Lite with Boolean Role Inclusions

Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2019 International Workshop on Description Logics  
We discuss the complexity of reasoning and ontology-mediated query answering with the logics from the DL-Lite family extended by various types (Horn, Krom and Boolean) of role inclusions. We compare the expressive power of those logics with 1-and 2-variable fragments of first-order logic. Our most interesting findings show that binary disjunctions on roles do not change the complexity of satisfiability if disjunction is allowed on concepts, while still causing undecidability of UCQ answering.
dblp:conf/dlog/KontchakovRWZ19 fatcat:al2ic37fhvbupiw2r2xdes62r4