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

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 …

Multi-processor/core systems have become ubiquitous but the vast majority of OWL
reasoners can process ontologies only sequentially. This observation motivates our work on …

Abstract General Concept Inclusion (GCI) absorption algorithms have shown to play an
important role in classical Description Logic (DL) reasoners. They allow to transform GCIs …

The tableaux algorithm is a general technique for deciding concept satisfiability problems in
description logics (DLs). It is useful not only for practical implementations, but also for …

General Concept Inclusion (GCIs) absorption algorithms have shown to play an important
role in classical Description Logics (DLs) reasoners, as they allow to transform GCIs into …

Description Logic has become one of the primary knowledge representation and reasoning
methodologies during the last twenty years. A lot of areas are benefiting from description …

Many information sources can be viewed as collections of objects and descriptions about
objects. The relationship between objects is often characterized by a set of constraints that …

The growning interest in the Semantic Web and Web Ontology Language (OWL)[2] reveals
the power of Description Logics in different projects and in industry. Description Logics (DLs) …