Ontologies and data management: a brief survey

T Schneider, M Šimkus - KI-Künstliche Intelligenz, 2020 - Springer
Abstract Information systems have to deal with an increasing amount of data that is
heterogeneous, unstructured, or incomplete. In order to align and complete data, systems …

Ontology-mediated query answering with data-tractable description logics

M Bienvenu, M Ortiz - Reasoning Web. Web Logic Rules: 11th …, 2015 - Springer
Recent years have seen an increasing interest in ontology-mediated query answering, in
which the semantic knowledge provided by an ontology is exploited when querying data …

[PDF][PDF] Restricted Chase (Non) Termination for Existential Rules with Disjunctions.

D Carral, I Dragoste, M Krötzsch - IJCAI, 2017 - iccl.inf.tu-dresden.de
The restricted chase is a sound and complete algorithm for conjunctive query answering
over ontologies of disjunctive existential rules. We develop acyclicity conditions to ensure its …

Regular path queries in lightweight description logics: Complexity and algorithms

M Bienvenu, M Ortiz, M Simkus - Journal of Artificial Intelligence Research, 2015 - jair.org
Conjunctive regular path queries are an expressive extension of the well-known class of
conjunctive queries. Such queries have been extensively studied in the (graph) database …

[HTML][HTML] Answering regular path queries mediated by unrestricted SQ ontologies

V Gutiérrez-Basulto, Y Ibáñez-García, JC Jung… - Artificial Intelligence, 2023 - Elsevier
A prime application of description logics is ontology-mediated query answering, with the
query language often reaching far beyond instance queries. Here, we investigate this task …

Ontology-based query answering for probabilistic temporal data

P Koopmann - Proceedings of the AAAI Conference on Artificial …, 2019 - ojs.aaai.org
We investigate ontology-based query answering for data that are both temporal and
probabilistic, which might occur in contexts such as stream reasoning or situation …

Querying the unary negation fragment with regular path expressions

JC Jung, C Lutz, M Martel… - … Conference on Database …, 2018 - drops.dagstuhl.de
The unary negation fragment of first-order logic (UNFO) has recently been proposed as a
generalization of modal logic that shares many of its good computational and model …

Temporal conjunctive queries in expressive description logics with transitive roles

F Baader, S Borgwardt, M Lippmann - AI 2015: Advances in Artificial …, 2015 - Springer
Abstract In Ontology-Based Data Access (OBDA), user queries are evaluated over a set of
facts under the open world assumption, while taking into account background knowledge …

Data complexity in expressive description logics with path expressions

B Bednarczyk - arxiv preprint arxiv:2406.07095, 2024 - arxiv.org
We investigate the data complexity of the satisfiability problem for the very expressive
description logic ZOIQ (aka ALCHb Self reg OIQ) over quasi-forests and establish its NP …

[PDF][PDF] Answering Conjunctive Regular Path Queries over Guarded Existential Rules.

JF Baget, M Bienvenu, ML Mugnier, M Thomazo - IJCAI, 2017 - ijcai.org
Ontology-mediated query answering is concerned with the problem of answering queries
over knowledge bases consisting of a database instance and an ontology. While most work …