Konzeption einer neuen Ada-Programmierumgebung für die Bildfolgenauswertung. - Helmut Faasch; Volker Haarslev (DAGM-Symposium, 1985)

Konzeption für ein Bildverarbeitungssystem zur Lösung des Korrespondenzproblems bei Stereo-Bildfolgen im Rahmen einer komfortablen ADA-Programmierumgebung. - Leonie S. Dreschler-Fischer; Volker Haarslev (Robotersysteme, 1985)

Interaktion in Systemen zur Bildfolgenauswertung, basierend auf einem objektorientierten Ansatz. - Volker Haarslev (1986)

Eine ergonomische Benutzerschnittstelle für den Anwendungsbereich der Bildfolgenauswertung. - Volker Haarslev (Software-Ergonomie, 1987)

Eine graphische Umgebung zur experimentellen Bildverarbeitung. - Volker Haarslev; Ralf Möller 001 (DAGM-Symposium, 1988)

Visualisierung und Animation in der experimentellen Bildauswertung. - Volker Haarslev; Ralf Möller 001 (Visualisierungstechniken und Algorithmen, 1988)

Visualization of experimental systems. - Volker Haarslev; Ralf Möller 001 (VL, 1988)

Visualisierungen beim Entwicklungsprozeß experimenteller Programmsysteme. - Volker Haarslev; Ralf Möller 001 (Software-Ergonomie, 1989)

Layoutspezifikationen für komplexe graphische Objekte. - Ralf Möller 001; Volker Haarslev (Graphik und KI, 1990)

A Framework for Visualizing Object-Oriented Systems. - Volker Haarslev; Ralf Möller 001 (OOPSLA/ECOOP, 1990)

A Declarative Formalism for Specifying Graphical Layout. - Volker Haarslev; Ralf Möller 001 (VL, 1990)

Pictorial Janus: Eine vollständig visuelle Programmiersprache und ihre Umgebung. - Kenneth M. Kahn; Vijay A. Saraswat; Volker Haarslev (GI Jahrestagung, 1991)

Visualization and graphical layout in object-oriented systems. - Volker Haarslev; Ralf Möller 001 (J. Vis. Lang. Comput., 1992)

Combining Spatial and Terminological Reasoning. - Volker Haarslev; Ralf Möller 001; Carsten Schröder (KI, 1994)

Visualization of Strand(tm) Processes. - Dietrich Fahrenholtz; Volker Haarslev (VL, 1995)

Formal Semantics of Visual Languages using Spatial Reasoning. - Volker Haarslev (VL, 1995)

Using Description Logic for Reasoning about Diagrammatical Notations. - Volker Haarslev (Description Logics, 1996)

GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations. - Volker Haarslev; Michael Wessel (VL, 1996)

Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences. - Volker Haarslev; Ralf Möller 001 (Description Logics, 1997)

Querying GIS with Animated Spatial Sketches. - Volker Haarslev; Michael Wessel (VL, 1997)

HAM-ALC. - Volker Haarslev; Ralf Möller 001; Anni-Yasmin Turhan (Description Logics, 1998)

Implementing an ALCRP(D) ABox Reasoner - Progress Report. - Volker Haarslev; Ralf Möller 001; Anni-Yasmin Turhan (Description Logics, 1998)

Foundations of Spatioterminological Reasoning with Description Logics. - Volker Haarslev; Carsten Lutz; Ralf Möller 001 (KR, 1998)

VISCO: Bringing Visual Spatial Querying to Reality. - Michael Wessel; Volker Haarslev (VL, 1998)

An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics. - Volker Haarslev; Ralf Möller 001 (Description Logics, 1999)

RACE System Description. - Volker Haarslev; Ralf Möller 001 (Description Logics, 1999)

On Terminological Default Reasoning about Spatial Information: Extended Abstract. - Volker Haarslev; Ralf Möller 001; Anni-Yasmin Turhan; Michael Wessel (Description Logics, 1999)

Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. - Volker Haarslev; Ralf Möller 001 (TABLEAUX, 1999)

On Specifying Semantics of Visual Spatial Query Languages. - Volker Haarslev; Ralf Möller 001; Michael Wessel (VL, 1999)

A Description Logic with Concrete Domains and a Role-forming Predicate Operator. - Volker Haarslev; Carsten Lutz; Ralf Möller 001 (J. Log. Comput., 1999)

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

High Performance Reasoning with Very Large Knowledge Bases. - Volker Haarslev; Ralf Möller 001 (Description Logics, 2000)

Optimizing TBox and ABox Reasoning with Pseudo Models. - Volker Haarslev; Ralf Möller 001 (Description Logics, 2000)

Adapting Optimization Techniques to Description Logics with Concrete Domains. - Anni-Yasmin Turhan; Volker Haarslev (Description Logics, 2000)

ALCRA - ALC with Role Axioms. - Michael Wessel; Volker Haarslev; Ralf Möller 001 (Description Logics, 2000)

Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. - Volker Haarslev; Ralf Möller 001 (KR, 2000)

Consistency Testing: The RACE Experience. - Volker Haarslev; Ralf Möller 001 (TABLEAUX, 2000)

RACER System Description. - Volker Haarslev; Ralf Möller 001 (IJCAR, 2001)

Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. - Volker Haarslev; Ralf Möller 001; Anni-Yasmin Turhan (IJCAR, 2001)

The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach. - Volker Haarslev; Ralf Möller 001; Michael Wessel (IJCAR, 2001)

Description of the RACER System and its Applications. - Volker Haarslev; Ralf Möller 001 (Description Logics, 2001)

Optimizing Reasoning in Description Logics with Qualified Number Restrictions. - Volker Haarslev; Ralf Möller 001 (Description Logics, 2001)

Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. - Volker Haarslev; Martina Timmann; Ralf Möller 001 (Description Logics, 2001)

High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. - Volker Haarslev; Ralf Möller 001 (IJCAI, 2001)

Visual Spatial Query Languages: A Semantics Using Description Logic. - Volker Haarslev; Ralf Möller 001; Michael Wessel (Diagrammatic Representation and Reasoning, 2002)

Optimization Strategies for Instance Retrieval. - Volker Haarslev; Ralf Möller 001 (Description Logics, 2002)

Practical Reasoning in RACER with a Concrete Domain for Linear Inequations. - Volker Haarslev; Ralf Möller 001 (Description Logics, 2002)

Adding ternary complex roles to ALCRP(D). - Alissa Kaplunova; Volker Haarslev; Ralf Möller 001 (Description Logics, 2002)

Diagrammatic Reasoning. - Mary Hegarty; Volker Haarslev; N. Hari Narayanan (Künstliche Intell., 2002)

Incremental Query Answering for Implementing Document Retrieval Services. - Volker Haarslev; Ralf Möller 001 (Description Logics, 2003)

Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents. - Ralf Möller 001; Ronald Cornet; Volker Haarslev (Description Logics, 2003)

Description Logic Systems. - Ralf Möller 001; Volker Haarslev (Description Logic Handbook, 2003)

Racer: A Core Inference Engine for the Semantic Web. - Volker Haarslev; Ralf Möller 001 (EON, 2003)

Description Logic Systems with Concrete Domains: Applications for the Semantic Web. - Volker Haarslev; Ralf Möller 001 (KRDB, 2003)

Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning - Amar Isli; Volker Haarslev; Ralf Möller 001 (CoRR, 2003)

Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems. - Ralf Möller 001; Volker Haarslev (Künstliche Intell., 2003)

OntoXpl: Exploration of OWL Ontologies. - Volker Haarslev; Ying Lu 003; Nematollaah Shiri (Description Logics, 2004)

Extended Query Facilities for Racer and an Application to Software-Engineering Problems. - Volker Haarslev; Ralf Möller 001; Ragnhild Van Der Straeten; Michael Wessel (Description Logics, 2004)

Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. - Volker Haarslev; Ralf Möller 001 (KR, 2004)

ONTOXPL - Intelligent Exploration of OWL Ontologies. - Volker Haarslev; Ying Lu 003; Nematollaah Shiri (Web Intelligence, 2004)

Fire - Extending Racer by an Engine for SWRL Rules. - Kruthi Bhoopalam; Volker Haarslev (Description Logics, 2005)

LAS: Extending Racer by a Large ABox Store. - CuiMing Chen; Volker Haarslev; JiaoYue Wang (Description Logics, 2005)

A Resolution Based Framework to Explain Reasoning in Description Logics. - Xi Deng; Volker Haarslev; Nematollaah Shiri (Description Logics, 2005)

Towards Efficient Reasoning for Description Logics with Inverse Roles. - Yu Ding 004; Volker Haarslev (Description Logics, 2005)

Description Logic Inference Technology: Lessions Learned in the Trenches. - Volker Haarslev; Ralf Möller 001; Michael Wessel (Description Logics, 2005)

A Framework for Explaining Reasoning in Description Logics. - Xi Deng; Volker Haarslev; Nematollaah Shiri (ExaCt, 2005)

A Generic Framework for Description Logics with Uncertainty. - Volker Haarslev; Hsueh-Ieng Pai; Nematollaah Shiri (ISWC-URSW, 2005)

The FungalWeb Ontology: Semantic Web Challenges in Bioinformatics and Genomics. - Arash Shaban-Nejad; Christopher J. O. Baker; Volker Haarslev; Greg Butler (ISWC, 2005)

An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns. - Yonggang Zhang; Juergen Rilling; Volker Haarslev (COMPSAC (1), 2006)

Ontoligent Interactive Query Tool. - Christopher J. O. Baker; Xiao Su; Greg Butler; Volker Haarslev (CSWWS, 2006)

Resolution Based Explanations for Reasoning in the Description Logic ALC. - Xi Deng; Volker Haarslev; Nematollaah Shiri (CSWWS, 2006)

Completion Rules for Uncertainty Reasoning with the Description Logic ALC. - Volker Haarslev; Hsueh-Ieng Pai; Nematollaah Shiri (CSWWS, 2006)

Tableau Caching for Description Logics with Inverse and Transitive Roles. - Yu Ding 004; Volker Haarslev (Description Logics, 2006)

High Performance Absorption Algorithms for Terminological Reasoning. - Ming Zuo; Volker Haarslev (Description Logics, 2006)

Uncertainty Reasoning in Description Logics: A Generic Approach. - Volker Haarslev; Hsueh-Ieng Pai; Nematollaah Shiri (FLAIRS, 2006)

On the Scalability of Description Logic Instance Retrieval. - Ralf Möller 001; Volker Haarslev; Michael Wessel (KI, 2006)

A Unified Ontology-Based Process Model for Software Maintenance and Comprehension. - Juergen Rilling; Yonggang Zhang; Wen Jun Meng; René Witte; Volker Haarslev; Philippe Charland (MoDELS (Workshops), 2006)

A Multi-level Matching Algorithm for Combining Similarity Measures in Ontology Integration. - Ahmed Alasoud; Volker Haarslev; Nematollaah Shiri (ODBIS, 2006)

GLOO: A Graphical Query Language for OWL Ontologies. - Amineh Fadhil; Volker Haarslev (OWLED, 2006)

OntoKBEval: DL-based Evaluation of OWL Ontologies. - Qing Lu; Volker Haarslev (OWLED, 2006)

Ontology-based Program Comprehension Tool Supporting Website Architectural Evolution. - Yonggang Zhang; René Witte; Juergen Rilling; Volker Haarslev (WSE, 2006)

Semantic web infrastructure for fungal enzyme biotechnologists. - Christopher J. O. Baker; Arash Shaban-Nejad; Xiao Su; Volker Haarslev; Greg Butler (J. Web Semant., 2006)

Categorical Representation of Evolving Structure of an Ontology for Clinical Fungus. - Arash Shaban-Nejad; Volker Haarslev (AIME, 2007)

Managing Conceptual Revisions in a Temporal Fungal Taxonomy. - Arash Shaban-Nejad; Volker Haarslev (CBMS, 2007)

An ExpTime Tableau Decision Procedure for ALCQI. - Yu Ding 004; Volker Haarslev (Description Logics, 2007)

A New Mapping from ALCI to ALC. - Yu Ding 004; Volker Haarslev; Jiewen Wu (Description Logics, 2007)

OntoVQL: A Graphical Query Language for OWL Ontologies. - Amineh Fadhil; Volker Haarslev (Description Logics, 2007)

Optimizing Tableau Reasoning in ALC Extended with Uncertainty. - Volker Haarslev; Hsueh-Ieng Pai; Nematollaah Shiri (Description Logics, 2007)

Measuring Inconsistencies in Ontologies. - Xi Deng; Volker Haarslev; Nematollaah Shiri (ESWC, 2007)

Towards a framework for requirement change management in healthcare software applications. - Arash Shaban-Nejad; Volker Haarslev (OOPSLA Companion, 2007)

Resolving Quantifier and Number Restriction to Question OWL Ontologies. - Shamima Mithun; Leila Kosseim; Volker Haarslev (SKG, 2007)

Using Patterns to Explain Inferences in. - Xi Deng; Volker Haarslev; Nematollaah Shiri (Comput. Intell., 2007)

Ontology-inferred phylogeny reconstruction for analyzing the evolutionary relationships between species: Ontological inference versus cladistics. - Arash Shaban-Nejad; Volker Haarslev (BIBE, 2008)

Towards Parallel Classification of TBoxes. - Mina Aslani; Volker Haarslev (Description Logics, 2008)

A Hybrid Tableau Algorithm for ALCQ. - Jocelyne Faddoul; Nasim Farsinia; Volker Haarslev; Ralf Möller 001 (Description Logics, 2008)

Rewriting Rules into SROIQ Axioms. - Francis Gasse; Ulrike Sattler; Volker Haarslev (Description Logics, 2008)

The Revival of Structural Subsumption in Tableau-based Reasoners. - Ralf Möller 001; Volker Haarslev; Sebastian Wandelt (Description Logics, 2008)

Planning of Axiom Absorption. - Jiewen Wu; Volker Haarslev (Description Logics, 2008)

A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. - Jocelyne Faddoul; Nasim Farsinia; Volker Haarslev; Ralf Möller 001 (ECAI, 2008)

An ontology-empowered model for annotating protein-protein interaction data: a case study for budding yeast. - Arash Shaban-Nejad; Volker Haarslev (IRI, 2008)

An Effective Ontology Matching Technique. - Ahmed Alasoud; Volker Haarslev; Nematollaah Shiri (ISMIS, 2008)

Web-based dynamic learning through lexical chaining: a step forward towards knowledge-driven education. - Arash Shaban-Nejad; Volker Haarslev (ITiCSE, 2008)

Incremental Biomedical Ontology Change Management through Learning Agents. - Arash Shaban-Nejad; Volker Haarslev (KES-AMSTA, 2008)

DLRule: A Rule Editor plug-in for Protege. - Francis Gasse; Volker Haarslev (OWLED (Spring), 2008)

Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic. - Volker Haarslev; Hsueh-Ieng Pai; Nematollaah Shiri (URSW (LNCS Vol.), 2008)

Ontological approach for the semantic recovery of traceability links between software artefacts. - Yonggang Zhang; René Witte; Juergen Rilling; Volker Haarslev (IET Softw., 2008)

On the Scalability of Description Logic Instance Retrieval. - Volker Haarslev; Ralf Möller 001 (J. Autom. Reason., 2008)

Algebraic Tableau Algorithm for ALCOQ. - Jocelyne Faddoul; Volker Haarslev; Ralf Möller 001 (Description Logics, 2009)

Optimizing Reasoning with Qualified Number Restrictions in SHQ. - Nasim Farsinia; Volker Haarslev (Description Logics, 2009)

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; Volker Haarslev (CoRR, 2009)

A formal framework for description logics with uncertainty. - Volker Haarslev; Hsueh-Ieng Pai; Nematollaah Shiri (Int. J. Approx. Reason., 2009)

An empirical comparison of ontology matching techniques. - Ahmed Alasoud; Volker Haarslev; Nematollaah Shiri (J. Inf. Sci., 2009)

Tableau-Based Reasoning. - Ralf Möller 001; Volker Haarslev (Handbook on Ontologies, 2009)

Bio-medical Ontologies Maintenance and Change Management. - Arash Shaban-Nejad; Volker Haarslev (Biomedical Data and Applications, 2009)

TBox Classification in Parallel: Design and First Evaluation. - Mina Aslani; Volker Haarslev (Description Logics, 2010)

Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results. - Jocelyne Faddoul; Volker Haarslev (Description Logics, 2010)

Parallel TBox Classification in Description Logics - First Experimental Results. - Mina Aslani; Volker Haarslev (ECAI, 2010)

Strategic Health Information Management and Forecast: The Birdwatching Approach. - Arash Shaban-Nejad; Volker Haarslev (ICCCI (3), 2010)

Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic H. - Nasim Farsiniamarj; Volker Haarslev (AI Commun., 2010)

Algebraic tableau reasoning for the description logic SHOQ. - Jocelyne Faddoul; Volker Haarslev (J. Appl. Log., 2010)

An enhanced graph-oriented approach for change management in distributed biomedical ontologies and linked data. - Arash Shaban-Nejad; Volker Haarslev (BIBM Workshops, 2011)

Automated Reasoning in ALCQ mathcal{ALCQ} via SMT. - Volker Haarslev; Roberto Sebastiani; Michele Vescovi (CADE, 2011)

An abstract representation model for evolutionary analysis of multi-agent interactions. - Arash Shaban-Nejad; Volker Haarslev (IEEE Congress on Evolutionary Computation, 2011)

When Mommy Blogs Are Semantically Tagged. - Jinan El-Hachem; Volker Haarslev (JIST, 2012)

Concurrent Classification of OWL Ontologies - An Empirical Evaluation. - Mina Aslani; Volker Haarslev (Description Logics, 2012)

Algebraic Reasoning for SHIQ. - Laleh Roosta Pour; Volker Haarslev (Description Logics, 2012)

A Parallel Reasoner for the Description Logic ALC. - Kejia Wu; Volker Haarslev (Description Logics, 2012)

An OWL 2-Based Knowledge Platform Combining the Social and Semantic Webs for an Ambient Childhood Obesity Prevention System. - Jinan El-Hachem; Arash Shaban-Nejad; Volker Haarslev; Laurette Dubé; David L. Buckeridge (ANT/MobiWIS, 2012)

The RacerPro knowledge representation and reasoning system. - Volker Haarslev; Kay Hidde; Ralf Möller 001; Michael Wessel (Semantic Web, 2012)

Speed-forming your ontology or how to improve reasoning performance for your OWL ontology. - Volker Haarslev (CSWS, 2013)

Exploring Parallelization of Conjunctive Branches in Tableau-Based Description Logic Reasoning. - Kejia Wu; Volker Haarslev (Description Logics, 2013)

Parallel OWL Reasoning: Merge Classification. - Kejia Wu; Volker Haarslev (JIST, 2013)

Intelligent Tableau Algorithm for DL Reasoning. - Ming Zuo; Volker Haarslev (TABLEAUX, 2013)

Managing changes in distributed biomedical ontologies using hierarchical distributed graph transformation. - Arash Shaban-Nejad; Volker Haarslev (Int. J. Data Min. Bioinform., 2015)

A Saturation-based Algebraic Reasoner for ELQ. - Jelena Vlasenko; Maryam Daryalal; Volker Haarslev; Brigitte Jaumard (PAAR@IJCAR, 2016)

Abductive Conjunctive Query Answering w.r.t. Ontologies. - Ralf Möller 001; Özgür L. Özçep; Volker Haarslev; Anahita Nafissi; Michael Wessel (Künstliche Intell., 2016)

A Consequence-based Algebraic Calculus for SHOQ. - Nikoo Zolfaghar Karahroodi; Volker Haarslev (Description Logics, 2017)

Applying Machine Learning to Enhance Optimization Techniques for OWL Reasoning. - Razieh Mehri; Volker Haarslev (Description Logics, 2017)

Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions. - Jelena Vlasenko; Volker Haarslev; Brigitte Jaumard (FroCoS, 2017)

A Parallel Shared-Memory Architecture for OWL Ontology Classification. - Zixi Quan; Volker Haarslev (ICPP Workshops, 2017)

Handling Nominals and Inverse Roles using Algebraic Reasoning. - Humaira Farid; Volker Haarslev (Description Logics, 2018)

Optimizing Heuristics for Tableau-based OWL Reasoners. - Razieh Mehri; Volker Haarslev; Hamidreza Chinaei (CoRR, 2018)

Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners. - Razieh Mehri; Volker Haarslev; Hamidreza Chinaei (CoRR, 2019)

A Framework for Parallelizing OWL Classification in Description Logic Reasoners. - Zixi Quan; Volker Haarslev (CoRR, 2019)

A parallel computing architecture for high-performance OWL reasoning. - Zixi Quan; Volker Haarslev (Parallel Comput., 2019)

A machine learning approach for optimizing heuristic decision-making in Web Ontology Language reasoners. - Razieh Mehri; Volker Haarslev; Hamidreza Chinaei (Comput. Intell., 2021)