• Publications
  • Influence
Konclude: System description
TLDR
This paper introduces Konclude, a high-performance reasoner for the Description Logic SROIQV. Expand
  • 127
  • 19
Real-World Reasoning with OWL
TLDR
This paper tries to provide some insights into currently available reasoning approaches and aims at identifying requirements to make future benchmarks more useful for application developers. Expand
  • 50
  • 4
  • PDF
The OWLlink API: Teaching OWL Components a Common Protocol
TLDR
We introduce the OWLlink API that implements the OWWlink protocol on top of the Java-based OWL API. Expand
  • 10
  • 4
  • PDF
Pitfalls of OWL-S: a practical semantic web use case
TLDR
In this paper, we investigate the practical applicability of the current OWL-S specification and show that, in spite of the large momentum, significantly more work needs to be done before the vision of truly intelligent service provisioning on the Semantic Web can become true. Expand
  • 82
  • 3
  • PDF
Parallelizing Tableaux-Based Description Logic Reasoning
TLDR
This paper describes our approach for concurrent computation of the nondeterministic choices inherent to the standard tableau procedure. Expand
  • 46
  • 3
OntoTrack: Fast Browsing and Easy Editing of Large Ontologie
TLDR
OntoTrack is a new browsing and editing " in-one-view " on-tology authoring tool. Expand
  • 21
  • 3
  • PDF
DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners
TLDR
The DIG Interface provides an implementation-neutral mechanism for accessing Description Logic reasoner functionality. Expand
  • 41
  • 2
  • PDF
What ’ s Wrong with OWL Benchmarks ?
This paper is motivated by experiences in course of developing an ontology-based application within a real-world setting. When comparing these experiences with results of well-known benchmarks weExpand
  • 36
  • 2
  • PDF
Abstraction Refinement for Ontology Materialization
TLDR
We present a new procedure for ontology materialization (computing all entailed instances of every atomic concept) in which reasoning over large ABox is reduced to reasoning over a smaller "abstract" ABox. Expand
  • 23
  • 2
  • PDF
Understanding Large Volumes of Interconnected Individuals by Visual Exploration
TLDR
We present a new efficient visualiza- tion and editing approach which allows to investigate relationships within large volumes of interlinked individuals in order to grasp the structure of the assertional knowledge more easily. Expand
  • 10
  • 2
  • PDF
...
1
2
3
4
5
...