Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners.

Razieh Mehri Volker Haarslev Hamidreza Chinaei

Published in: CoRR (2019)

Keyphrases

learning algorithm
reinforcement learning
upper bound
optimization problems
constraint satisfaction problems
reasoning systems