Konclude: System description
Introduction
The current version of the Web Ontology Language (OWL 2) [1] is based on the very expressive Description Logic (DL) (see [2] for a DL introduction) and extends the first version of OWL with more expressive language features such as qualified cardinality restrictions and property chains.
Many existing reasoning systems have been adapted to OWL 2 and several new optimisations have been developed to deal with the latest language features or specific profiles. Despite all the progress, reasoning performance still shows up as a noticeable issue for users. Because of the N2EXPTIME-complete worst-case complexity for standard reasoning tasks in [3], this is expected at least for some ontologies. However, there are several clues which indicate that further improvements are possible. For instance, an effective coupling of fully-fledged OWL 2 reasoning procedures with tractable procedures for OWL 2 profiles could improve the overall performance. Moreover, multi-core computers are ubiquitous now, but state-of-the-art reasoners for expressive DLs do not yet implement an effective parallelised processing architecture.
In this system description, we introduce the novel reasoning system Konclude,1 which addresses both aforementioned issues. It incorporates different reasoning procedures and implements new as well as extensions of existing optimisations adapted to concurrent processing within a multi-core, shared memory architecture. This significantly improves the running time of reasoning tasks for many real-world ontologies.
As of now, Konclude handles the DL and also supports nominal schemas [4] which generalise arbitrary DL-safe rules [5]. Konclude supports the most common reasoning services such as classification, realisation, queries for sub-classes, class instances or types of individuals and it can be used as server or via command line on various platforms.
The rest of this system description is organised as follows: we next introduce the system’s architecture; in Section 3 we give an overview of the integrated optimisations; in Section 4 we present the result of a comprehensive evaluation and comparison to other state-of-the-art reasoners before we conclude in Section 5.
Section snippets
System architecture
Konclude is implemented in C++ and makes use of the cross-platform application framework Qt.2 The reasoner runs on all Qt supported platforms including Windows, OS X, Linux, and Solaris.
Konclude offers two communication options: First, it is an OWLlink server that exposes ontology management and reasoner functionality to one or more clients (usually ontology-based applications) via the W3C OWLlink protocol [6]. As OWLlink server, Konclude supports OWL 2 XML as content
Optimisations
A naive tableau algorithm is not suitable for handling typical real-world ontologies since completion graphs can easily become very large and may contain many sources of non-determinism. To tackle these challenges, Konclude applies a significant range of state-of-the-art and new optimisations. The main conceptual and technical challenge of the system was to extend important optimisations to work with more expressive languages as well as to effectively implement them within an inherently
Evaluation
In this section we provide an evaluation that compares the current version (0.5.0) of Konclude and the state-of-the-art reasoners FaCT++ 1.6.2 [18], HermiT 1.3.8 [19], Pellet 2.3.1 [20], and ELK 0.4.1 [21] (for EL ontologies). The evaluation uses a large test corpus of ontologies that have been obtained by collecting all downloadable and parseable ontologies from the Gardiner ontology suite [22], the NCBO BioPortal,5 the National Cancer Institute thesaurus
Conclusions and future work
In this system description we have introduced Konclude, a new OWL 2 DL reasoner that supports the DL . We have described Konclude’s parallel processing architecture and the integrated key optimisation techniques that result in remarkable overall reasoning performance. In order to support the latter, we have presented and discussed results of a comprehensive comparison between Konclude and other state-of-the-art reasoners for different reasoning tasks and many ontologies. The comparison
References (26)
- et al.
A novel approach to ontology classification
J. Web Sem.
(2012) - et al.
Pellet: a practical OWL-DL reasoner
J. Web Sem.
(2007) - W3C OWL Working Group, OWL 2 web ontology language: document overview, W3C Recommendation, 27 October...
- et al.
The Description Logic Handbook: Theory, Implementation, and Applications
(2007) and are harder than
- et al.
A better uncle for OWL: nominal schemas for integrating rules and ontologies
- I. Horrocks, P.F. Patel-Schneider, H. Boley, S. Tabet, B.N. Grosof, M. Dean, SWRL: a semantic web rule language, W3C...
- et al.
OWLlink
Semant. Web - Interoperability, Usability, Applicability
(2011) - et al.
The even more irresistible
- et al.
Pushing the envelope
Consequence-driven reasoning for horn ontologies
Nominal schema absorption
Binary absorption in tableaux-based reasoning for description logics
Cited by (134)
A multiplatform reasoning engine for the Semantic Web of Everything
2022, Journal of Web SemanticsCitation Excerpt :Concerning automated reasoning at a Web scale, algorithm optimization for distributed execution in Cloud environments has been first proposed by WebPIE [37]. Tiny-ME aims to support cloud environments through an extension of the OWLlink protocol [9] for client–server interaction: the standard specification is supported by Konclude [10] and many more Semantic Web reasoners. Table 1 summarizes relevant features of related reasoning systems, highlighting Tiny-ME’s contributions.
A multiplatform energy-aware OWL reasoner benchmarking framework
2022, Journal of Web SemanticsOptimizing a tableau reasoner and its implementation in Prolog
2021, Journal of Web SemanticsPay-as-you-go consequence-based reasoning for the description logic SROIQ
2021, Artificial IntelligenceTowards an Ontology for Robot Introspection and Metacognition
2023, Frontiers in Artificial Intelligence and ApplicationsConjunctive query answering over unrestricted OWL 2 ontologies
2023, Semantic Web