9 citations · 13 across the 3 of their papers we have counts for
Showing 2019 · cs.AIShow all
2 papers · 2 filters
cs.AI2019★ 3 cited
A Framework for Parallelizing OWL Classification in Description Logic Reasoners
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). We focus on OWL ontology classificatio…
cs.AI2019★ 1 cited
Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners
Razieh Mehri, Volker Haarslev, Hamidreza Chinaei
Web Ontology Language (OWL) reasoners are used to infer new logical relations from ontologies. While inferring new facts, these reasoners can be further optimized, e.g., by properl…