Ontologies and data management: a brief survey
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 …
heterogeneous, unstructured, or incomplete. In order to align and complete data, systems …
Ontology-mediated query answering with data-tractable description logics
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 …
which the semantic knowledge provided by an ontology is exploited when querying data …
[PDF][PDF] Restricted Chase (Non) Termination for Existential Rules with Disjunctions.
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 …
over ontologies of disjunctive existential rules. We develop acyclicity conditions to ensure its …
Regular path queries in lightweight description logics: Complexity and algorithms
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 …
conjunctive queries. Such queries have been extensively studied in the (graph) database …
[HTML][HTML] Answering regular path queries mediated by unrestricted SQ ontologies
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 …
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 …
probabilistic, which might occur in contexts such as stream reasoning or situation …
Querying the unary negation fragment with regular path expressions
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 …
generalization of modal logic that shares many of its good computational and model …
Temporal conjunctive queries in expressive description logics with transitive roles
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 …
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 …
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.
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 …
over knowledge bases consisting of a database instance and an ontology. While most work …