no code implementations • 20 Apr 2019 • Razieh Mehri, Volker Haarslev, Hamidreza Chinaei
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.
no code implementations • 15 Oct 2018 • Razieh Mehri, Volker Haarslev, Hamidreza Chinaei
Compared to a top-down approach, the ToDo list technique has a better control over the application of expansion rules.