First order-rewritability and containment of conjunctive queries in Horn description logics
We study FO-rewritability of conjunctive queries in the presence of ontologies formulated in
a description logic between EL and Horn-SHIF, along with related query containment …
a description logic between EL and Horn-SHIF, along with related query containment …
[HTML][HTML] Using ontology-based data access to enable context recognition in the presence of incomplete information
V Thost - KI-Künstliche Intelligenz, 2017 - Springer
Ontologies play an important role as a semantic layer for data access in various areas such
as the Semantic Web, medicine, and enterprise applications. They capture the terminology …
as the Semantic Web, medicine, and enterprise applications. They capture the terminology …
A journey to the frontiers of query rewritability
P Ostropolski-Nalewaja, J Marcinkowski… - Proceedings of the 41st …, 2022 - dl.acm.org
We consider (first-order) query rewritability in the context of theory-mediated query
answering. The starting point of our journey is the FUS/FES conjecture, which states that any …
answering. The starting point of our journey is the FUS/FES conjecture, which states that any …