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

We present a novel reasoning calculus for the description logic SHOIQ^+---a knowledge
representation formalism with applications in areas such as the Semantic Web …

In this paper, we propose a set of tasks that are relevant for the modular reuse of ontologies.
In order to formalize these tasks as reasoning problems, we introduce the notions of …

Semantic MediaWiki is an extension of MediaWiki–a widely used wiki-engine that also
powers Wikipedia. Its aim is to make semantic technologies available to a broad community …

In this paper we study data complexity of answering conjunctive queries over description
logic (DL) knowledge bases constituted by a TBox and an ABox. In particular, we are …

Ontology-based data access is concerned with querying incomplete data sources in the
presence of domain-specific knowledge provided by an ontology. A central notion in this …

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 …

The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog
systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this …

RacerPro is a software system for building applications based on ontologies. The backbone
of RacerPro is a description logic reasoner. It provides inference services for terminological …

Abstract The Web Ontology Language, OWL, is the latest standard in logic based ontology
languages. It is built upon the foundations of highly expressive Description Logics, which are …