Volker Haarslev

ORCID

Publication Activity (10 Years)

Years Active: 1985-2021
Publications (10 Years): 14

Top Venues

University of Hamburg, Germany (PHD)

Education History

University of Hamburg, Germany

PHD

Publications

Razieh Mehri, Volker Haarslev, Hamidreza Chinaei
A machine learning approach for optimizing heuristic decision-making in Web Ontology Language reasoners. Comput. Intell. 37 (1) (2021)
Zixi Quan, Volker Haarslev
A Framework for Parallelizing OWL Classification in Description Logic Reasoners. CoRR (2019)
Razieh Mehri, Volker Haarslev, Hamidreza Chinaei
Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners. CoRR (2019)
Zixi Quan, Volker Haarslev
A parallel computing architecture for high-performance OWL reasoning. Parallel Comput. 83 (2019)
Humaira Farid, Volker Haarslev
Handling Nominals and Inverse Roles using Algebraic Reasoning. Description Logics (2018)
Razieh Mehri, Volker Haarslev, Hamidreza Chinaei
Optimizing Heuristics for Tableau-based OWL Reasoners. CoRR (2018)
Humaira Farid, Volker Haarslev
Handling Nominals and Inverse Roles using Algebraic Reasoning. CoRR (2018)
Razieh Mehri, Volker Haarslev
Applying Machine Learning to Enhance Optimization Techniques for OWL Reasoning. Description Logics (2017)
Nikoo Zolfaghar Karahroodi, Volker Haarslev
A Consequence-based Algebraic Calculus for SHOQ. Description Logics (2017)
Jelena Vlasenko, Volker Haarslev, Brigitte Jaumard
Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions. FroCoS (2017)
Zixi Quan, Volker Haarslev
A Parallel Shared-Memory Architecture for OWL Ontology Classification. ICPP Workshops (2017)
Ralf Möller, Özgür L. Özçep, Volker Haarslev, Anahita Nafissi, Michael Wessel
Abductive Conjunctive Query Answering w.r.t. Ontologies. Künstliche Intell. 30 (2) (2016)
Jelena Vlasenko, Maryam Daryalal, Volker Haarslev, Brigitte Jaumard
A Saturation-based Algebraic Reasoner for ELQ. PAAR@IJCAR (2016)
Arash Shaban-Nejad, Volker Haarslev
Managing changes in distributed biomedical ontologies using hierarchical distributed graph transformation. Int. J. Data Min. Bioinform. 11 (1) (2015)
Volker Haarslev
Speed-forming your ontology or how to improve reasoning performance for your OWL ontology. CSWS (2013)
Kejia Wu, Volker Haarslev
Parallel OWL Reasoning: Merge Classification. JIST (2013)
Ming Zuo, Volker Haarslev
Intelligent Tableau Algorithm for DL Reasoning. TABLEAUX (2013)
Kejia Wu, Volker Haarslev
Exploring Parallelization of Conjunctive Branches in Tableau-Based Description Logic Reasoning. Description Logics (2013)
Mina Aslani, Volker Haarslev
Concurrent Classification of OWL Ontologies - An Empirical Evaluation. Description Logics (2012)
Laleh Roosta Pour, Volker Haarslev
Algebraic Reasoning for SHIQ. Description Logics (2012)
Kejia Wu, Volker Haarslev
A Parallel Reasoner for the Description Logic ALC. Description Logics (2012)
Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel
The RacerPro knowledge representation and reasoning system. Semantic Web 3 (3) (2012)
Jinan El-Hachem, Volker Haarslev
When Mommy Blogs Are Semantically Tagged. JIST (2012)
Jinan El-Hachem, Arash Shaban-Nejad, Volker Haarslev, Laurette Dubé, David L. Buckeridge
An OWL 2-Based Knowledge Platform Combining the Social and Semantic Webs for an Ambient Childhood Obesity Prevention System. ANT/MobiWIS (2012)
Volker Haarslev, Roberto Sebastiani, Michele Vescovi
\mathcal{ALCQ} via SMT. CADE (2011)
Arash Shaban-Nejad, Volker Haarslev
An abstract representation model for evolutionary analysis of multi-agent interactions. IEEE Congress on Evolutionary Computation (2011)
Arash Shaban-Nejad, Volker Haarslev
An enhanced graph-oriented approach for change management in distributed biomedical ontologies and linked data. BIBM Workshops (2011)
Jocelyne Faddoul, Volker Haarslev
Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results. Description Logics (2010)
Jocelyne Faddoul, Volker Haarslev
Algebraic tableau reasoning for the description logic SHOQ. J. Appl. Log. 8 (4) (2010)
Mina Aslani, Volker Haarslev
Parallel TBox Classification in Description Logics - First Experimental Results. ECAI (2010)
Mina Aslani, Volker Haarslev
TBox Classification in Parallel: Design and First Evaluation. Description Logics (2010)
Arash Shaban-Nejad, Volker Haarslev
Strategic Health Information Management and Forecast: The Birdwatching Approach. ICCCI (3) (2010)
Nasim Farsiniamarj, Volker Haarslev
. AI Commun. 23 (2-3) (2010)
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
A formal framework for description logics with uncertainty. Int. J. Approx. Reason. 50 (9) (2009)
Nasim Farsinia, Volker Haarslev
Optimizing Reasoning with Qualified Number Restrictions in SHQ. Description Logics (2009)
Arash Shaban-Nejad, Olga Ormandjieva, Mohamad Kassab, Volker Haarslev
Managing Requirement Volatility in an Ontology-Driven Clinical LIMS Using Category Theory. International Journal of Telemedicine and Applications CoRR (2009)
Jocelyne Faddoul, Volker Haarslev, Ralf Möller
Algebraic Tableau Algorithm for ALCOQ. Description Logics (2009)
Ahmed Alasoud, Volker Haarslev, Nematollaah Shiri
An empirical comparison of ontology matching techniques. J. Inf. Sci. 35 (4) (2009)
Arash Shaban-Nejad, Volker Haarslev
An ontology-empowered model for annotating protein-protein interaction data: a case study for budding yeast. IRI (2008)
Mina Aslani, Volker Haarslev
Towards Parallel Classifcation of TBoxes. Description Logics (2008)
Yonggang Zhang, René Witte, Juergen Rilling, Volker Haarslev
Ontological approach for the semantic recovery of traceability links between software artefacts. IET Softw. 2 (3) (2008)
Francis Gasse, Ulrike Sattler, Volker Haarslev
Rewriting Rules into SROIQ Axioms. Description Logics (2008)
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic. URSW (LNCS Vol.) (2008)
Francis Gasse, Volker Haarslev
DLRule: A Rule Editor plug-in for Protege. OWLED (Spring) (2008)
Volker Haarslev, Ralf Möller
On the Scalability of Description Logic Instance Retrieval. J. Autom. Reason. 41 (2) (2008)
Arash Shaban-Nejad, Volker Haarslev
Ontology-inferred phylogeny reconstruction for analyzing the evolutionary relationships between species: Ontological inference versus cladistics. BIBE (2008)
Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller
A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. ECAI (2008)
Arash Shaban-Nejad, Volker Haarslev
Web-based dynamic learning through lexical chaining: a step forward towards knowledge-driven education. ITiCSE (2008)
Arash Shaban-Nejad, Volker Haarslev
Incremental Biomedical Ontology Change Management through Learning Agents. KES-AMSTA (2008)
Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller
A Hybrid Tableau Algorithm for ALCQ. Description Logics (2008)
Ahmed Alasoud, Volker Haarslev, Nematollaah Shiri
An Effective Ontology Matching Technique. ISMIS (2008)
Jiewen Wu, Volker Haarslev
Planning of Axiom Absorption. Description Logics (2008)
Ralf Möller, Volker Haarslev, Sebastian Wandelt
The Revival of Structural Subsumption in Tableau-based Reasoners. Description Logics (2008)
Amineh Fadhil, Volker Haarslev
OntoVQL: A Graphical Query Language for OWL Ontologies. Description Logics (2007)
Arash Shaban-Nejad, Volker Haarslev
Categorical Representation of Evolving Structure of an Ontology for Clinical Fungus. AIME (2007)
Yu Ding, Volker Haarslev
An ExpTime Tableau Decision Procedure for ALCQI. Description Logics (2007)
Arash Shaban-Nejad, Volker Haarslev
Managing Conceptual Revisions in a Temporal Fungal Taxonomy. CBMS (2007)
Shamima Mithun, Leila Kosseim, Volker Haarslev
Resolving Quantifier and Number Restriction to Question OWL Ontologies. SKG (2007)
Arash Shaban-Nejad, Volker Haarslev
Towards a framework for requirement change management in healthcare software applications. OOPSLA Companion (2007)
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
Optimizing Tableau Reasoning in ALC Extended with Uncertainty. Description Logics (2007)
Yu Ding, Volker Haarslev, Jiewen Wu
A New Mapping from ALCI to ALC. Description Logics (2007)
Xi Deng, Volker Haarslev, Nematollaah Shiri
Using Patterns to Explain Inferences in. Comput. Intell. 23 (3) (2007)
Xi Deng, Volker Haarslev, Nematollaah Shiri
Measuring Inconsistencies in Ontologies. ESWC (2007)
Xi Deng, Volker Haarslev, Nematollaah Shiri
. CSWWS (2006)
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
. CSWWS (2006)
Qing Lu, Volker Haarslev
OntoKBEval: DL-based Evaluation of OWL Ontologies. OWLED (2006)
Amineh Fadhil, Volker Haarslev
GLOO: A Graphical Query Language for OWL Ontologies. OWLED (2006)
Juergen Rilling, Yonggang Zhang, Wen Jun Meng, René Witte, Volker Haarslev, Philippe Charland
A Unified Ontology-Based Process Model for Software Maintenance and Comprehension. MoDELS (Workshops) (2006)
Christopher J. O. Baker, Arash Shaban-Nejad, Xiao Su, Volker Haarslev, Greg Butler
Semantic web infrastructure for fungal enzyme biotechnologists. J. Web Semant. 4 (3) (2006)
Yu Ding, Volker Haarslev
Tableau Caching for Description Logics with Inverse and Transitive Roles. Description Logics (2006)
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
Uncertainty Reasoning in Description Logics: A Generic Approach. FLAIRS Conference (2006)
Christopher J. O. Baker, Xiao Su, Greg Butler, Volker Haarslev
Ontoligent Interactive Query Tool. CSWWS (2006)
Yonggang Zhang, Juergen Rilling, Volker Haarslev
An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns. COMPSAC (1) (2006)
Ralf Möller, Volker Haarslev, Michael Wessel
On the Scalability of Description Logic Instance Retrieval. Description Logics (2006)
Ralf Möller, Volker Haarslev, Michael Wessel
On the Scalability of Description Logic Instance Retrieval. KI (2006)
Ming Zuo, Volker Haarslev
High Performance Absorption Algorithms for Terminological Reasoning. Description Logics (2006)
Ahmed Alasoud, Volker Haarslev, Nematollaah Shiri
A Multi-level Matching Algorithm for Combining Similarity Measures in Ontology Integration. ODBIS (2006)
Yonggang Zhang, René Witte, Juergen Rilling, Volker Haarslev
Ontology-based Program Comprehension Tool Supporting Website Architectural Evolution. WSE (2006)
Volker Haarslev, Ralf Möller, Michael Wessel
Description Logic Inference Technology: Lessions Learned in the Trenches. Description Logics (2005)
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
A Generic Framework for Description Logics with Uncertainty. ISWC-URSW (2005)
Yu Ding, Volker Haarslev
Towards Efficient Reasoning for Description Logics with Inverse Roles. Description Logics (2005)
CuiMing Chen, Volker Haarslev, JiaoYue Wang
LAS: Extending Racer by a Large ABox Store. Description Logics (2005)
Arash Shaban-Nejad, Christopher J. O. Baker, Volker Haarslev, Greg Butler
The FungalWeb Ontology: Semantic Web Challenges in Bioinformatics and Genomics. ISWC (2005)
Kruthi Bhoopalam, Volker Haarslev
Fire - Extending Racer by an Engine for SWRL Rules. Description Logics (2005)
Xi Deng, Volker Haarslev, Nematollaah Shiri
A Resolution Based Framework to Explain Reasoning in Description Logics. Description Logics (2005)
Xi Deng, Volker Haarslev, Nematollaah Shiri
A Framework for Explaining Reasoning in Description Logics. ExaCt (2005)
Volker Haarslev, Ying Lu, Nematollaah Shiri
ONTOXPL - Intelligent Exploration of OWL Ontologies. Web Intelligence (2004)
Volker Haarslev, Ralf Möller
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. KR (2004)
Volker Haarslev, Ralf Möller, Ragnhild Van Der Straeten, Michael Wessel
Extended Query Facilities for Racer and an Application to Software-Engineering Problems. Description Logics (2004)
Volker Haarslev, Ying Lu, Nematollaah Shiri
OntoXpl: Exploration of OWL Ontologies. Description Logics (2004)
Ralf Möller, Ronald Cornet, Volker Haarslev
Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents. Description Logics (2003)
Volker Haarslev, Ralf Möller
Incremental Query Answering for Implementing Document Retrieval Services. Description Logics (2003)
Volker Haarslev, Ralf Möller
Description Logic Systems with Concrete Domains: Applications for the Semantic Web. KRDB (2003)
Volker Haarslev, Ralf Möller
Racer: A Core Inference Engine for the Semantic Web. EON (2003)
Ralf Möller, Volker Haarslev
Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems. Künstliche Intell. 17 (3) (2003)
Amar Isli, Volker Haarslev, Ralf Möller
Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning CoRR (2003)
Volker Haarslev, Ralf Möller
Practical Reasoning in RACER with a Concrete Domain for Linear Inequations. Description Logics (2002)
Alissa Kaplunova, Volker Haarslev, Ralf Möller
Adding ternary complex roles to ALCRP(D). Description Logics (2002)
Volker Haarslev, Ralf Möller
Optimization Strategies for Instance Retrieval. Description Logics (2002)
Mary Hegarty, Volker Haarslev, N. Hari Narayanan
Diagrammatic Reasoning. Künstliche Intell. 16 (4) (2002)

Volker Haarslev.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Volker Haarslev