9 citations · 13 across the 3 of their papers we have counts for
5 papers · 1 filter
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…
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…
Handling Nominals and Inverse Roles using Algebraic Reasoning
Humaira Farid, Volker Haarslev
This paper presents a novel SHOI tableau calculus which incorporates algebraic reasoning for deciding ontology consistency. Numerical restrictions imposed by nominals, existential…
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…