Stream reasoning studies the application of inference techniques to data characterised by
being highly dynamic. It can find application in several settings, from Smart Cities to Industry …

Publisher Summary This chapter discusses description logics (DLs), which are a family of
logic-based knowledge representation languages that can be used to represent the …

This system description paper introduces the OWL 2 reasoner HermiT. The reasoner is fully
compliant with the OWL 2 Direct Semantics as standardised by the World Wide Web …

Thoroughly covering basic introductions and intuitions, technical details, and formal
foundations, this text focuses on the established foundations in this area that have become …

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 …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Ontologies and the semantic web Page 1 58 communications of the acm | december 2008 | vol.
51 | no. 12 contributed articles While phenomenally successful in terms of amount of accessible …

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 …

In this chapter, we explain what description logics are and why they make good ontology
languages. In particular, we introduce the description logic SHIQ, which has formed the …

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