In this paper, we introduce a family of expressive extensions of Datalog, called Datalog+/-,
as a new paradigm for query answering over ontologies. The Datalog+/-family admits …

We propose a combination of logic programming under the answer set semantics with the
description logics SHIF (D) and SHOIN (D), which underly the Web ontology languages …

Description logics (DLs) and rules are formalisms that emphasize different aspects of
knowledge representation: whereas DLs are focused on specifying and reasoning about …

An important question for the upcoming Semantic Web is how to best combine open world
ontology languages, such as the OWL-based ones, with closed world rule-based languages …

Rules and ontologies play a key role in the layered architecture of the Semantic Web, as
they are used to ascribe meaning to, and to reason about, data on the Web. While the …

A common solution to the semantic heterogeneity problem is to perform knowledge graph
(KG) extension exploiting the information encoded in one or more candidate KGs, where the …

Ontologies and rules are two established paradigms in knowledge modelling, and play an
important role for the Semantic Web. In this chapter, we present an introduction to common …

In the context of the emerging Semantic Web and the quest for a common logical framework
underpinning its architecture, the relation of rule-based languages such as Answer Set …

We propose a description logic extending SROIQ (the description logic underlying OWL 2
DL) and at the same time encompassing some of the most prominent monotonic and …

Existing methods for dealing with knowledge updates differ greatly depending on the
underlying knowledge representation formalism. When Classical Logic is used, update …