research
∙
04/20/2019
Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners
Web Ontology Language (OWL) reasoners are used to infer new logical rela...
share
research
∙
10/15/2018
Optimizing Heuristics for Tableau-based OWL Reasoners
Optimization techniques play a significant role in improving description...
research
∙
03/17/2016
Predicting health inspection results from online restaurant reviews
Informatics around public health are increasingly shifting from the prof...
research
∙
12/09/2015