• Publications
  • Influence
Modular Reuse of Ontologies: Theory and Practice
TLDR
We introduce the notion of a safety class, which characterizes any sufficient condition for safety of an ontology w.r.t. a signature. Expand
  • 397
  • 54
  • PDF
Just the right amount: extracting modules from ontologies
TLDR
The ability to extract meaningful fragments from an ontology is key for ontology re-use. Expand
  • 259
  • 21
  • PDF
Consequence-Driven Reasoning for Horn SHIQ Ontologies
TLDR
We present a novel reasoning procedure for Horn SHIQ ontologies--SHIQ ontology that can be translated to the Horn fragment of first-order logic. Expand
  • 214
  • 21
  • PDF
Concurrent Classification of EL Ontologies
TLDR
We describe an optimised consequence-based procedure for classification of ontologies expressed in a polynomial fragment \({\mathcal{ELH_{R^+}}}\) of the OWL 2 EL profile. Expand
  • 151
  • 21
  • PDF
From Polynomial Procedures to Efficient Reasoning with EL Ontologies
TLDR
This paper describes ELK—a high performance reasoner for OWL EL ontologies—and details various aspects from theory to implementation that make ELK one of the most competitive reasoning systems for EL ontology available today. Expand
  • 80
  • 18
  • PDF
RIQ and SROIQ Are Harder than SHOIQ
TLDR
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 the web ontology language OWL. Expand
  • 148
  • 17
  • PDF
The Incredible ELK
TLDR
This paper describes ELK—a high performance reasoner for OWL EL ontologies—and details various aspects from theory to implementation that make ELK one of the most competitive reasoning systems for ontology classification. Expand
  • 142
  • 14
A Logical Framework for Modularity of Ontologies
TLDR
We propose a logic-based notion of modularity that allows the modeler to specify the external signature of their ontology, whose symbols are assumed to be defined in some other ontology. Expand
  • 158
  • 12
  • PDF
SRIQ and SROIQ are Harder than SHOIQ
TLDR
We identify the complexity of (finite model) reasoning in the DL SROIQ to be N2ExpTime-complete. Expand
  • 103
  • 11
  • PDF
Consequence-Based Reasoning beyond Horn Ontologies
TLDR
We present a consequence-based ontology reasoning procedure that scales well to non-Horn ontologies without adversely affecting performance on Horn ontologies. Expand
  • 101
  • 8
  • PDF