Picture for Volker Haarslev

Volker Haarslev

A Framework for Parallelizing OWL Classification in Description Logic Reasoners

Add code
Jun 18, 2019
Figure 1 for A Framework for Parallelizing OWL Classification in Description Logic Reasoners
Figure 2 for A Framework for Parallelizing OWL Classification in Description Logic Reasoners
Figure 3 for A Framework for Parallelizing OWL Classification in Description Logic Reasoners
Figure 4 for A Framework for Parallelizing OWL Classification in Description Logic Reasoners
Viaarxiv icon

Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners

Add code
Apr 20, 2019
Figure 1 for Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners
Figure 2 for Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners
Figure 3 for Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners
Figure 4 for Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners
Viaarxiv icon

Optimizing Heuristics for Tableau-based OWL Reasoners

Add code
Oct 24, 2018
Figure 1 for Optimizing Heuristics for Tableau-based OWL Reasoners
Figure 2 for Optimizing Heuristics for Tableau-based OWL Reasoners
Figure 3 for Optimizing Heuristics for Tableau-based OWL Reasoners
Figure 4 for Optimizing Heuristics for Tableau-based OWL Reasoners
Viaarxiv icon

Handling Nominals and Inverse Roles using Algebraic Reasoning

Add code
Oct 01, 2018
Figure 1 for Handling Nominals and Inverse Roles using Algebraic Reasoning
Figure 2 for Handling Nominals and Inverse Roles using Algebraic Reasoning
Figure 3 for Handling Nominals and Inverse Roles using Algebraic Reasoning
Figure 4 for Handling Nominals and Inverse Roles using Algebraic Reasoning
Viaarxiv icon

Managing Requirement Volatility in an Ontology-Driven Clinical LIMS Using Category Theory. International Journal of Telemedicine and Applications

Add code
Jun 10, 2009
Figure 1 for Managing Requirement Volatility in an Ontology-Driven Clinical LIMS Using Category Theory. International Journal of Telemedicine and Applications
Figure 2 for Managing Requirement Volatility in an Ontology-Driven Clinical LIMS Using Category Theory. International Journal of Telemedicine and Applications
Figure 3 for Managing Requirement Volatility in an Ontology-Driven Clinical LIMS Using Category Theory. International Journal of Telemedicine and Applications
Figure 4 for Managing Requirement Volatility in an Ontology-Driven Clinical LIMS Using Category Theory. International Journal of Telemedicine and Applications
Viaarxiv icon