A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
A Note on DL-Lite with Boolean Role Inclusions
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