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…