Since achieving W3C recommendation status in 2004, the Web Ontology Language (OWL)
has been successfully applied to many problems in computer science. Practical experience …

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 …

Both OWL-DL and function-free Horn rules are decidable fragments of first-order logic with
interesting, yet orthogonal expressive power. A combination of OWL-DL and rules is …

The emerging field of semantic web technologies promises new stimulus for Software
Engineering research. However, since the underlying concepts of the semantic web have a …

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 …

Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a
practical programming language based on rules. This book, written by the creator of CHR …

Abstract Knowledge representation and reasoning aims at designing computer systems that
reason about a machine-interpretable representation of the world. Knowledge-based …

Conjunctive queries play an important role as an expressive query language for Description
Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive query …

We discuss language architecture for the Semantic Web, and in particular different
proposals for extending this architecture with a rules component. We argue that an …

Abstract The integration of Description Logics and Datalog rules presents many semantic
and computational problems. In particular, reasoning in a system fully integrating …