Search Results for author:
Found 5 papers, 0 papers with code
A Framework for Parallelizing OWL Classification in Description Logic Reasoners
In this paper we report on a black-box approach to parallelize existing description logic (DL) reasoners for the Web Ontology Language (OWL).
Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners
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.
Optimizing Heuristics for Tableau-based OWL Reasoners
Compared to a top-down approach, the ToDo list technique has a better control over the application of expansion rules.
Handling Nominals and Inverse Roles using Algebraic Reasoning
This paper presents a novel SHOI tableau calculus which incorporates algebraic reasoning for deciding ontology consistency.
