1 citations · 1 across the 1 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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…
cs.AI2018
Optimizing Heuristics for Tableau-based OWL Reasoners
Razieh Mehri, Volker Haarslev, Hamidreza Chinaei
Optimization techniques play a significant role in improving description logic reasoners covering the Web Ontology Language (OWL). These techniques are essential to speed up these…