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

We identify the computational complexity of (finite model) reasoning in the sublanguages of
the description logic SROIQ—the logic currently proposed as the basis for the next version of …

Answering conjunctive queries (CQs) over a set of facts extended with existential rules is a
prominent problem in knowledge representation and databases. This problem can be …

We propose a description-logic style extension of OWL 2 with nominal schemas which can
be used like" variable nominal classes" within axioms. This feature allows ontology …

This thesis introduces the" method of structural refinement", which serves as a means of
transforming the relational semantics of a modal and/or constructive logic into …

Description logics (DLs) have become a prominent paradigm for representing knowledge in
a variety of application areas, partly due to their ability to achieve a favourable balance …

Description logics (DLs) are a family of state-of-the-art knowledge representation languages,
and their expressive power has been carefully crafted to provide useful knowledge modeling …

We apply the framework of Bachmair and Ganzinger for saturation-based theorem proving to
derive a range of decision procedures for logical formalisms, starting with a simple …

Ontologies play a central role in the Semantic Web. Much research has focused on
extending ontologies and Semantic Web technologies to handle uncertain information. This …

We investigate the possibility of incorporating Boolean role constructors on simple roles into
some of today's most popular description logics, focussing on cases where those extensions …