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 …

Abstract Knowledge graphs are crucial assets for tasks like query answering or data
integration. These tasks can be viewed as reasoning problems, which in turn require …

State constraints in AI Planning globally restrict the legal environment states. Standard
planning languages make closed-domain and closed-world assumptions. Here we address …

We propose that modern existential rule reasoners can enable fully declarative
implementations of rule-based inference methods in knowledge representation, in the sense …

In ontology-mediated query answering, access to incomplete data sources is mediated by a
conceptual layer constituted by an ontology, which can be formulated in a description logic …

Especially in data-intensive settings, a promising reasoning approach for description logics
(DLs) is to rewrite DL theories into sets of rules. Although many such approaches have been …

Conjunctive Query (CQ) answering is a primary reasoning task over knowledge bases.
However, when considering expressive description logics, query answering can be …

Several types of dependencies have been proposed for the static analysis of existential rule
ontologies, promising insights about computational properties and possible practical uses of …

Ontology-mediated query answering (OMQA) is a promising approach to data access and
integration that has been actively studied in the knowledge representation and database …

Ontology-based query answering is a problem that takes as input an ontology R (in our
context, a set of existential rules), a set F of facts, and a Boolean conjunctive query (CQ) q …