research
∙
06/18/2019
A Framework for Parallelizing OWL Classification in Description Logic Reasoners
In this paper we report on a black-box approach to parallelize existing ...
share
research
∙
04/20/2019
Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners
Web Ontology Language (OWL) reasoners are used to infer new logical rela...
research
∙
10/15/2018
Optimizing Heuristics for Tableau-based OWL Reasoners
Optimization techniques play a significant role in improving description...
research
∙
10/01/2018
Handling Nominals and Inverse Roles using Algebraic Reasoning
This paper presents a novel SHOI tableau calculus which incorporates alg...
research
∙
06/10/2009