1 citations · 1 across the 1 of their papers we have counts for
3 papers
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…
Optimizing Heuristics for Tableau-based OWL Reasoners
Razieh Mehri, Volker Haarslev, Hamidreza Chinaei
Optimization techniques play a significant role in improving description logic reasoners covering the Web Ontology Language (OWL). These techniques are essential to speed up these…
Predicting health inspection results from online restaurant reviews
Samantha Wong, Hamidreza Chinaei, Frank Rudzicz
Informatics around public health are increasingly shifting from the professional to the public spheres. In this work, we apply linguistic analytics to restaurant reviews, from Yelp…