A Framework for Parallelizing OWL Classification in Description Logic Reasoners

06/18/2019
by   Zixi Quan, et al.
0

In this paper we report on a black-box approach to parallelize existing description logic (DL) reasoners for the Web Ontology Language (OWL). We focus on OWL ontology classification, which is an important inference service and supported by every major OWL/DL reasoner. We propose a flexible parallel framework which can be applied to existing OWL reasoners in order to speed up their classification process. In order to test its performance, we evaluated our framework by parallelizing major OWL reasoners for concept classification. In comparison to the selected black-box reasoner our results demonstrate that the wall clock time of ontology classification can be improved by one order of magnitude for most real-world ontologies.

READ FULL TEXT
research
09/20/2017

Exact Learning of Lightweight Description Logic Ontologies

We study the problem of learning description logic (DL) ontologies in An...
research
12/19/2015

Test-Driven Development of ontologies (extended version)

Emerging ontology authoring methods to add knowledge to an ontology focu...
research
06/15/2022

On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)

When working with description logic ontologies, understanding entailment...
research
03/20/2019

Ontology of Card Sleights

We present a machine-readable movement writing for sleight-of-hand moves...
research
10/15/2018

Optimizing Heuristics for Tableau-based OWL Reasoners

Optimization techniques play a significant role in improving description...
research
01/21/2020

A Journey into Ontology Approximation: From Non-Horn to Horn

We study complete approximations of an ontology formulated in a non-Horn...
research
12/12/2012

Modeling in OWL 2 without Restrictions

The Semantic Web ontology language OWL 2 DL comes with a variety of lang...

Please sign up or login with your details

Forgot password? Click here to reset