no code implementations • 18 Jun 2019 • Zixi Quan, Volker Haarslev
In this paper we report on a black-box approach to parallelize existing description logic (DL) reasoners for the Web Ontology Language (OWL).
no code implementations • 20 Apr 2019 • Razieh Mehri, Volker Haarslev, Hamidreza Chinaei
The built-in heuristics in these reasoners determine the order for branches in search trees while each heuristic choice causes different effects for various ontologies depending on the ontologies' syntactic structure and probably other features as well.
no code implementations • 15 Oct 2018 • Razieh Mehri, Volker Haarslev, Hamidreza Chinaei
Compared to a top-down approach, the ToDo list technique has a better control over the application of expansion rules.
no code implementations • 1 Oct 2018 • Humaira Farid, Volker Haarslev
This paper presents a novel SHOI tableau calculus which incorporates algebraic reasoning for deciding ontology consistency.