header

Konclude: System Description

10 Pages Posted: 9 Jul 2018 Publication Status: Accepted

See all articles by Andreas Steigmiller

Andreas Steigmiller

Ulm University - Institute of Artificial Intelligence

Thorsten Liebig

derivo GmbH

Birte Glimm

Ulm University - 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). Available at SSRN: https://ssrn.com/abstract=3199110 or http://dx.doi.org/10.2139/ssrn.3199110

Andreas Steigmiller (Contact Author)

Ulm University - 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

Ulm University - Institute of Artificial Intelligence ( email )

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

Do you have negative results from your research you’d like to share?

Paper statistics

Downloads
63
Abstract Views
644
PlumX Metrics