9 citations · 13 across the 3 of their papers we have counts for
3 papers
cs.AI2019★ 3 cited
A Framework for Parallelizing OWL Classification in Description Logic Reasoners
Zixi Quan, Volker Haarslev
In this paper we report on a black-box approach to parallelize existing description logic (DL) reasoners for the Web Ontology Language (OWL). We focus on OWL ontology classificatio…
cs.AI2019★ 1 cited
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…
cs.AI2009★ 9 cited
Managing Requirement Volatility in an Ontology-Driven Clinical LIMS Using Category Theory. International Journal of Telemedicine and Applications
Arash Shaban-Nejad, Olga Ormandjieva, Mohamad Kassab +1
Requirement volatility is an issue in software engineering in general, and in Web-based clinical applications in particular, which often originates from an incomplete knowledge of…