Picture for Razieh Mehri

Razieh Mehri

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

Add code
Apr 20, 2019
Figure 1 for Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners
Figure 2 for Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners
Figure 3 for Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners
Figure 4 for Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners
Viaarxiv icon

Optimizing Heuristics for Tableau-based OWL Reasoners

Add code
Oct 24, 2018
Figure 1 for Optimizing Heuristics for Tableau-based OWL Reasoners
Figure 2 for Optimizing Heuristics for Tableau-based OWL Reasoners
Figure 3 for Optimizing Heuristics for Tableau-based OWL Reasoners
Figure 4 for Optimizing Heuristics for Tableau-based OWL Reasoners
Viaarxiv icon