TY  - RPRT
TI  - Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners
AU  - Razieh Mehri
AU  - Volker Haarslev
AU  - Hamidreza Chinaei
PY  - 2019
UR  - https://arxiv.org/abs/1904.09443
ID  - 1904.09443
ER  -