header

Konclude: System Description

10 Pages Posted: 9 Jul 2018 First Look: Accepted

See all articles by Andreas Steigmiller

Andreas Steigmiller

University of Ulm - Institute of Artificial Intelligence

Thorsten Liebig

derivo GmbH

Birte Glimm

University of Ulm - Institute of Artificial Intelligence

Abstract

This paper introduces Konclude, a high-performance reasoner for the Description Logic SROIQV. The supported ontology language is a superset of the logic underlying OWL 2 extended by nominal schemas, which allows for expressing arbitrary DL-safe rules. Konclude’s reasoning core is primarily based on the well-known tableau calculus for expressive Description Logics. In addition, Konclude also incorporates adaptations of more specialised procedures, such as consequence-based reasoning, in order to support the tableau algorithm. Konclude is designed for performance and uses well-known optimisations such as absorption or caching, but also implements several new optimisation techniques. The system can furthermore take advantage of multiple CPU’s at several levels of its processing architecture. This paper describes Konclude’s interface options, reasoner architecture, processing workflow, and key optimisations. Furthermore, we provide results of a comparison with other widely used OWL 2 reasoning systems, which show that Konclude performs eminently well on ontologies from any language fragment of OWL 2.

Keywords: Web Ontology Language, Description Logics, Tableau Theorem Proving

Suggested Citation

Steigmiller, Andreas and Liebig, Thorsten and Glimm, Birte, Konclude: System Description (2014). Journal of Web Semantics First Look. Available at SSRN: https://ssrn.com/abstract=3199110 or http://dx.doi.org/10.2139/ssrn.3199110

Andreas Steigmiller (Contact Author)

University of Ulm - Institute of Artificial Intelligence ( email )

Albert-Einstein-Alee 11
Ulm, Baden-Württemberg D-89081
Germany

Thorsten Liebig

derivo GmbH ( email )

Münchner Str. 1
Ulm, 89073
Germany

Birte Glimm

University of Ulm - Institute of Artificial Intelligence ( email )

Albert-Einstein-Alee 11
Ulm, Baden-Württemberg D-89081
Germany

Register to save articles to
your library

Register

Paper statistics

Abstract Views
174
Downloads
4