Volker Haarslev

According to our database1, Volker Haarslev authored at least 145 papers between 1985 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
A parallel computing architecture for high-performance OWL reasoning.
Parallel Comput., 2019

A Framework for Parallelizing OWL Classification in Description Logic Reasoners.
CoRR, 2019

Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners.
CoRR, 2019

2018
Optimizing Heuristics for Tableau-based OWL Reasoners.
CoRR, 2018

Handling Nominals and Inverse Roles using Algebraic Reasoning.
Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017
A Parallel Shared-Memory Architecture for OWL Ontology Classification.
Proceedings of the 46th International Conference on Parallel Processing Workshops, 2017

Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions.
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

Applying Machine Learning to Enhance Optimization Techniques for OWL Reasoning.
Proceedings of the 30th International Workshop on Description Logics, 2017

A Consequence-based Algebraic Calculus for SHOQ.
Proceedings of the 30th International Workshop on Description Logics, 2017

2016
Abductive Conjunctive Query Answering w.r.t. Ontologies.
Künstliche Intell., 2016

A Saturation-based Algebraic Reasoner for ELQ.
Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), 2016

2015
Managing changes in distributed biomedical ontologies using hierarchical distributed graph transformation.
Int. J. Data Min. Bioinform., 2015

2013
Intelligent Tableau Algorithm for DL Reasoning.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

Parallel OWL Reasoning: Merge Classification.
Proceedings of the Semantic Technology - Third Joint International Conference, 2013

Exploring Parallelization of Conjunctive Branches in Tableau-Based Description Logic Reasoning.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Speed-forming your ontology or how to improve reasoning performance for your OWL ontology.
Proceedings of the 4th Canadian Semantic Web Symposium part of the Semantic Trilogy 2013, 2013

2012
The RacerPro knowledge representation and reasoning system.
Semantic Web, 2012

An OWL 2-Based Knowledge Platform Combining the Social and Semantic Webs for an Ambient Childhood Obesity Prevention System.
Proceedings of the 3rd International Conference on Ambient Systems, 2012

A Parallel Reasoner for the Description Logic ALC.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Algebraic Reasoning for SHIQ.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Concurrent Classification of OWL Ontologies - An Empirical Evaluation.
Proceedings of the 2012 International Workshop on Description Logics, 2012

When Mommy Blogs Are Semantically Tagged.
Proceedings of the Semantic Technology, Second Joint International Conference, 2012

2011
An abstract representation model for evolutionary analysis of multi-agent interactions.
Proceedings of the IEEE Congress on Evolutionary Computation, 2011

Automated Reasoning in <i>ALCQ</i>\mathcal{ALCQ} via SMT.
Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

An enhanced graph-oriented approach for change management in distributed biomedical ontologies and linked data.
Proceedings of the 2011 IEEE International Conference on Bioinformatics and Biomedicine Workshops, 2011

2010
Algebraic tableau reasoning for the description logic SHOQ.
J. Appl. Log., 2010

Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic <i>H</i>.
AI Commun., 2010

Strategic Health Information Management and Forecast: The Birdwatching Approach.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2010

Parallel TBox Classification in Description Logics - First Experimental Results.
Proceedings of the ECAI 2010, 2010

Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

TBox Classification in Parallel: Design and First Evaluation.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009
Bio-medical Ontologies Maintenance and Change Management.
Proceedings of the Biomedical Data and Applications, 2009

Tableau-Based Reasoning.
Proceedings of the Handbook on Ontologies, 2009

An empirical comparison of ontology matching techniques.
J. Inf. Sci., 2009

A formal framework for description logics with uncertainty.
Int. J. Approx. Reason., 2009

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

Optimizing Reasoning with Qualified Number Restrictions in SHQ.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Algebraic Tableau Algorithm for ALCOQ.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
On the Scalability of Description Logic Instance Retrieval.
J. Autom. Reason., 2008

Ontological approach for the semantic recovery of traceability links between software artefacts.
IET Softw., 2008

Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic.
Proceedings of the Uncertainty Reasoning for the Semantic Web I, 2008

DLRule: A Rule Editor plug-in for Protege.
Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

Incremental Biomedical Ontology Change Management through Learning Agents.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2008

Web-based dynamic learning through lexical chaining: a step forward towards knowledge-driven education.
Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2008

An Effective Ontology Matching Technique.
Proceedings of the Foundations of Intelligent Systems, 17th International Symposium, 2008

An ontology-empowered model for annotating protein-protein interaction data: a case study for budding yeast.
Proceedings of the IEEE International Conference on Information Reuse and Integration, 2008

A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ].
Proceedings of the ECAI 2008, 2008

Planning of Axiom Absorption.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

The Revival of Structural Subsumption in Tableau-based Reasoners.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Rewriting Rules into SROIQ Axioms.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

A Hybrid Tableau Algorithm for ALCQ.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Towards Parallel Classifcation of TBoxes.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Ontology-inferred phylogeny reconstruction for analyzing the evolutionary relationships between species: Ontological inference versus cladistics.
Proceedings of the 8th IEEE International Conference on Bioinformatics and Bioengineering, 2008

2007
Using Patterns to Explain Inferences in.
Comput. Intell., 2007

Resolving Quantifier and Number Restriction to Question OWL Ontologies.
Proceedings of the Third International Conference on Semantics, 2007

Towards a framework for requirement change management in healthcare software applications.
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Measuring Inconsistencies in Ontologies.
Proceedings of the Semantic Web: Research and Applications, 2007

Optimizing Tableau Reasoning in ALC Extended with Uncertainty.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

OntoVQL: A Graphical Query Language for OWL Ontologies.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

A New Mapping from ALCI to ALC.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

An ExpTime Tableau Decision Procedure for ALCQI.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Managing Conceptual Revisions in a Temporal Fungal Taxonomy.
Proceedings of the 20th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2007), 2007

Categorical Representation of Evolving Structure of an Ontology for Clinical Fungus.
Proceedings of the Artificial Intelligence in Medicine, 2007

2006
Semantic web infrastructure for fungal enzyme biotechnologists.
J. Web Semant., 2006

Ontology-based Program Comprehension Tool Supporting Website Architectural Evolution.
Proceedings of the Eighth IEEE International Workshop on Web Site Evolution (WSE 2006), 2006

OntoKBEval: DL-based Evaluation of OWL Ontologies.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

GLOO: A Graphical Query Language for OWL Ontologies.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

A Multi-level Matching Algorithm for Combining Similarity Measures in Ontology Integration.
Proceedings of the Ontologies-Based Databases and Information Systems, 2006

A Unified Ontology-Based Process Model for Software Maintenance and Comprehension.
Proceedings of the Models in Software Engineering, 2006

On the Scalability of Description Logic Instance Retrieval.
Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006

Uncertainty Reasoning in Description Logics: A Generic Approach.
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

High Performance Absorption Algorithms for Terminological Reasoning.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Tableau Caching for Description Logics with Inverse and Transitive Roles.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Completion Rules for Uncertainty Reasoning with the Description Logic <i>ALC</i>.
Proceedings of the Canadian Semantic Web, 2006

Resolution Based Explanations for Reasoning in the Description Logic <i>ALC</i>.
Proceedings of the Canadian Semantic Web, 2006

Ontoligent Interactive Query Tool.
Proceedings of the Canadian Semantic Web, 2006

An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005
The FungalWeb Ontology: Semantic Web Challenges in Bioinformatics and Genomics.
Proceedings of the Semantic Web, 2005

A Generic Framework for Description Logics with Uncertainty.
Proceedings of the International Semantic Web Conference, 2005

A Framework for Explaining Reasoning in Description Logics.
Proceedings of the Explanation-Aware Computing, 2005

Description Logic Inference Technology: Lessions Learned in the Trenches.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Towards Efficient Reasoning for Description Logics with Inverse Roles.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

A Resolution Based Framework to Explain Reasoning in Description Logics.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

LAS: Extending Racer by a Large ABox Store.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Fire - Extending Racer by an Engine for SWRL Rules.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

2004
ONTOXPL - Intelligent Exploration of OWL Ontologies.
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 2004

Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Extended Query Facilities for Racer and an Application to Software-Engineering Problems.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

OntoXpl: Exploration of OWL Ontologies.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003
Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems.
Künstliche Intell., 2003

Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning
CoRR, 2003

Description Logic Systems with Concrete Domains: Applications for the Semantic Web.
Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), 2003

Racer: A Core Inference Engine for the Semantic Web.
Proceedings of the EON2003, 2003

Description Logic Systems.
Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Incremental Query Answering for Implementing Document Retrieval Services.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

2002
Diagrammatic Reasoning.
Künstliche Intell., 2002

Adding ternary complex roles to ALCRP(D).
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Practical Reasoning in RACER with a Concrete Domain for Linear Inequations.
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Optimization Strategies for Instance Retrieval.
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Visual Spatial Query Languages: A Semantics Using Description Logic.
Proceedings of the Diagrammatic Representation and Reasoning, 2002

2001
High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

Optimizing Reasoning in Description Logics with Qualified Number Restrictions.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

Description of the RACER System and its Applications.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

The Description Logic ALCNH<sub>R+</sub> Extended with Concrete Domains: A Practically Motivated Approach.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

RACER System Description.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000
Consistency Testing: The RACE Experience.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles.
Proceedings of the KR 2000, 2000

ALCRA - ALC with Role Axioms.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Adapting Optimization Techniques to Description Logics with Concrete Domains.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Optimizing TBox and ABox Reasoning with Pseudo Models.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

High Performance Reasoning with Very Large Knowledge Bases.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

1999
A Logic-based Formalism for Reasoning about Visual Representations.
J. Vis. Lang. Comput., 1999

A Description Logic with Concrete Domains and a Role-forming Predicate Operator.
J. Log. Comput., 1999

On Specifying Semantics of Visual Spatial Query Languages.
Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

On Terminological Default Reasoning about Spatial Information: Extended Abstract.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

RACE System Description.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

1998
VISCO: Bringing Visual Spatial Querying to Reality.
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998

Foundations of Spatioterminological Reasoning with Description Logics.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Implementing an ALCRP(D) ABox Reasoner - Progress Report.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

HAM-ALC.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

1997
Querying GIS with Animated Spatial Sketches.
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997

Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences.
Proceedings of the 1997 International Workshop on Description Logics, 1997

1996
GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations.
Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996

Using Description Logic for Reasoning about Diagrammatical Notations.
Proceedings of the 1996 International Workshop on Description Logics, 1996

1995
Formal Semantics of Visual Languages using Spatial Reasoning.
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

Visualization of Strand(tm) Processes.
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995

1994
Combining Spatial and Terminological Reasoning.
Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

1992
Visualization and graphical layout in object-oriented systems.
J. Vis. Lang. Comput., 1992

1991
Pictorial Janus: Eine vollständig visuelle Programmiersprache und ihre Umgebung.
Proceedings of the Telekommunikation und multimediale Anwendungen der Informatik, 1991

1990
A Declarative Formalism for Specifying Graphical Layout.
Proceedings of the 1990 IEEE Workshop on Visual Languages, 1990

A Framework for Visualizing Object-Oriented Systems.
Proceedings of the Conference on Object-Oriented Programming Systems, 1990

Layoutspezifikationen für komplexe graphische Objekte.
Proceedings of the Graphik und KI, 1990

1989
Visualisierungen beim Entwicklungsprozeß experimenteller Programmsysteme.
Proceedings of the Software-Ergonomie '89, 1989

1988
Visualization of experimental systems.
Proceedings of the IEEE Workshop on Visual Languages, 1988

Visualisierung und Animation in der experimentellen Bildauswertung.
Proceedings of the Visualisierungstechniken und Algorithmen, 1988

Eine graphische Umgebung zur experimentellen Bildverarbeitung.
Proceedings of the Mustererkennung 1988, 1988

1987
Eine ergonomische Benutzerschnittstelle für den Anwendungsbereich der Bildfolgenauswertung.
Proceedings of the Software-Ergonomie '87, 1987

1986
Interaktion in Systemen zur Bildfolgenauswertung, basierend auf einem objektorientierten Ansatz.
PhD thesis, 1986

1985
Konzeption für ein Bildverarbeitungssystem zur Lösung des Korrespondenzproblems bei Stereo-Bildfolgen im Rahmen einer komfortablen ADA-Programmierumgebung.
Robotersysteme, 1985

Konzeption einer neuen Ada-Programmierumgebung für die Bildfolgenauswertung.
Proceedings of the Mustererkennung 1985, 1985


  Loading...