Abstract The OWL Reasoner Evaluation competition is an annual competition (with an
associated workshop) that pits OWL 2 compliant reasoners against each other on various …

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 …

One of the foremost reasoning services for knowledge bases is finding all the justifications
for a query. This is useful for debugging purpose and for coping with uncertainty. Among …

Data captured in OWL ontologies is generally considered to be more prone to changes than
the schema in many situations. Such changes often necessitate consistency checking over …

Reasoning in very expressive Description Logics (DLs) such as SROIQ is often hard since
non-determinism, eg, from disjunctions or cardinality restrictions, requires a case-by-case …

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 …

Automated reasoning support is an important aspect of logic-based knowledge
representation. The development of specialised procedures and sophisticated optimisation …

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 …

We elaborate on earlier work in which we developed a novel method for evaluating instance
queries over DL knowledge bases that derives from binary absorption. An important feature …

Logic-based knowledge representation formalisms, such as Description Logics, constitute
the basis of well-known ontology languages, eg, the Web Ontology Language, and, thus, are …