Query Rewriting under Linear $$\mathcal {EL}$$ Knowledge Bases

DOI10.1007/978-3-319-45276-0_6zbMath1366.68032OpenAlexW2514398570MaRDI QIDQ5268434

Andrea Calì, Peter T. Wood, Mirko M. Dimartino, Alexandra Poulovassilis

Publication date: 20 June 2017

Published in: Web Reasoning and Rule Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-45276-0_6

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites Work

• On rules with existential variables: walking the decidability line
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• A Decidable Extension of SROIQ with Complex Role Chains and Unions
• Semantics in Data and Knowledge Bases