9 citations · 16 across the 5 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018★ 3 cited
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…
cs.AI2018
Handling Nominals and Inverse Roles using Algebraic Reasoning
Humaira Farid, Volker Haarslev
This paper presents a novel SHOI tableau calculus which incorporates algebraic reasoning for deciding ontology consistency. Numerical restrictions imposed by nominals, existential…