Vol-3514⫷ Vol-3515 ⫸Vol-3516
urn:nbn:de:0074-3515-0

Copyright © 2023 for the individual papers by the papers' authors. Copyright © 2023 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).
Vol-3515/abstract-2⫷Vol-3515/abstract-3⫸Vol-3515/abstract-4
Alessandro ArtaleAnton R. GnatenkoVladislav RyzhikovMichael Zakharyaschev

A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract)