Volker Haarslev

Identifiers

• name variant Volker Haarslev 0.60 · backfill

Papers (5)

1. A Framework for Parallelizing OWL Classification in Description Logic Reasoners cs.AI · 2019 · author #2
2. Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners cs.AI · 2019 · author #2
3. Optimizing Heuristics for Tableau-based OWL Reasoners cs.AI · 2018 · author #2
4. Handling Nominals and Inverse Roles using Algebraic Reasoning cs.AI · 2018 · author #2
5. Managing Requirement Volatility in an Ontology-Driven Clinical LIMS Using Category Theory. International Journal of Telemedicine and Applications cs.AI · 2009 · author #4

Mentions

• 0906.1842 #4 · backfill · confidence 0.70 Volker Haarslev

Frequent Coauthors

• Hamidreza Chinaei 2 shared papers
• Razieh Mehri 2 shared papers
• Arash Shaban-Nejad 1 shared papers
• Humaira Farid 1 shared papers
• Mohamad Kassab 1 shared papers
• Olga Ormandjieva 1 shared papers
• Zixi Quan 1 shared papers