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 …

This paper shows how knowledge representation and reasoning techniques can be used to
support organizations in complying with the GDPR, that is, the new European data …

Today's ontology applications require efficient and reliable description logic (DL) reasoning
services. Expressive DLs usually have high worst case complexity while tractable DLs are …

The thesis investigates methods for uniform interpolation in expressive description logics.
Description logics are formalisms commonly used to model ontologies. Ontologies store …

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 engineering, particularly when dealing with heterogeneous domains and their
subfields, legacy data, various data models, existing standards, code lists, and so forth, there …

Aiming to understand the data complexity of answering conjunctive queries mediated by an
axiom stating that a class is covered by the union of two other classes, we show that …

We identify a class of Horn ontologies for which standard reasoning tasks such as instance
checking and classification are tractable. The class is general enough to include the OWL 2 …

Combined approaches have become a successful technique for CQ answering over
ontologies. Existing algorithms, however, are restricted to the logics underpinning the OWL 2 …

We propose a tableau-based decision procedure for the full Alternating-time Temporal Logic
ATL^*. We extend our procedure for ATL^+ in order to deal with nesting of temporal …