default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVolker Haarslev
- > Home > Persons > Volker Haarslev
Publications
- 2016
[j17]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): 177-182 (2016)- 2012
- [j15]Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel:
The RacerPro knowledge representation and reasoning system. Semantic Web 3(3): 267-277 (2012) - 2009
- [c96]Jocelyne Faddoul, Volker Haarslev, Ralf Möller:
Algebraic Tableau Algorithm for ALCOQ. Description Logics 2009 - [p4]Ralf Möller, Volker Haarslev:
Tableau-Based Reasoning. Handbook on Ontologies 2009: 509-528 - 2008
- [j9]Volker Haarslev, Ralf Möller:
On the Scalability of Description Logic Instance Retrieval. J. Autom. Reason. 41(2): 99-142 (2008) - [c92]Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller:
A Hybrid Tableau Algorithm for ALCQ. Description Logics 2008 - [c90]Ralf Möller, Volker Haarslev, Sebastian Wandelt:
The Revival of Structural Subsumption in Tableau-based Reasoners. Description Logics 2008 - [c88]Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller:
A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. ECAI 2008: 725-726 - 2006
- [c67]Ralf Möller, Volker Haarslev, Michael Wessel:
On the Scalability of Description Logic Instance Retrieval. Description Logics 2006 - [c64]Ralf Möller, Volker Haarslev, Michael Wessel:
On the Scalability of Description Logic Instance Retrieval. KI 2006: 188-201 - 2005
- [c54]Volker Haarslev, Ralf Möller, Michael Wessel:
Description Logic Inference Technology: Lessions Learned in the Trenches. Description Logics 2005 - 2004
- [c49]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 - [c48]Volker Haarslev, Ralf Möller:
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. KR 2004: 163-174 - [e2]Volker Haarslev, Ralf Möller:
Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004. CEUR Workshop Proceedings 104, CEUR-WS.org 2004 [contents] - 2003
- [j6]Ralf Möller, Volker Haarslev:
Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems. Künstliche Intell. 17(3): 10- (2003) - [c46]Volker Haarslev, Ralf Möller:
Incremental Query Answering for Implementing Document Retrieval Services. Description Logics 2003 - [c45]Ralf Möller, Ronald Cornet, Volker Haarslev:
Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents. Description Logics 2003 - [c44]Volker Haarslev, Ralf Möller:
Racer: A Core Inference Engine for the Semantic Web. EON 2003 - [c43]Volker Haarslev, Ralf Möller:
Description Logic Systems with Concrete Domains: Applications for the Semantic Web. KRDB 2003 - [p2]Ralf Möller, Volker Haarslev:
Description Logic Systems. Description Logic Handbook 2003: 282-305 - [i1]Amar Isli, Volker Haarslev, Ralf Möller:
Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning. CoRR cs.AI/0307048 (2003) - 2002
- [c42]Volker Haarslev, Ralf Möller:
Optimization Strategies for Instance Retrieval. Description Logics 2002 - [c41]Volker Haarslev, Ralf Möller:
Practical Reasoning in RACER with a Concrete Domain for Linear Inequations. Description Logics 2002 - [c40]Alissa Kaplunova, Volker Haarslev, Ralf Möller:
Adding ternary complex roles to ALCRP(D). Description Logics 2002 - [p1]Volker Haarslev, Ralf Möller, Michael Wessel:
Visual Spatial Query Languages: A Semantics Using Description Logic. Diagrammatic Representation and Reasoning 2002: 387-403 - 2001
- [c39]Volker Haarslev, Ralf Möller, Michael Wessel:
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach. IJCAR 2001: 29-44 - [c38]Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan:
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. IJCAR 2001: 61-75 - [c37]Volker Haarslev, Ralf Möller:
RACER System Description. IJCAR 2001: 701-706 - [c36]Volker Haarslev, Ralf Möller:
Description of the RACER System and its Applications. Description Logics 2001 - [c35]Volker Haarslev, Ralf Möller:
Optimizing Reasoning in Description Logics with Qualified Number Restrictions. Description Logics 2001 - [c34]Volker Haarslev, Martina Timmann, Ralf Möller:
Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. Description Logics 2001 - [c33]Volker Haarslev, Ralf Möller:
High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. IJCAI 2001: 161-168 - 2000
- [c32]Volker Haarslev, Ralf Möller:
High Performance Reasoning with Very Large Knowledge Bases. Description Logics 2000: 143-152 - [c31]Volker Haarslev, Ralf Möller:
Optimizing TBox and ABox Reasoning with Pseudo Models. Description Logics 2000: 153-162 - [c29]Michael Wessel, Volker Haarslev, Ralf Möller:
ALCRA - ALC with Role Axioms. Description Logics 2000: 267-276 - [c28]Volker Haarslev, Ralf Möller:
Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. KR 2000: 273-284 - [c27]Volker Haarslev, Ralf Möller:
Consistency Testing: The RACE Experience. TABLEAUX 2000: 57-61 - 1999
- [j4]Volker Haarslev, Carsten Lutz, Ralf Möller:
A Description Logic with Concrete Domains and a Role-forming Predicate Operator. J. Log. Comput. 9(3): 351-384 (1999) - [c26]Volker Haarslev, Ralf Möller:
An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics. Description Logics 1999 - [c25]Volker Haarslev, Ralf Möller:
RACE System Description. Description Logics 1999 - [c24]Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan, Michael Wessel:
On Terminological Default Reasoning about Spatial Information: Extended Abstract. Description Logics 1999 - [c23]Volker Haarslev, Ralf Möller:
Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. TABLEAUX 1999: 24-28 - [c22]Volker Haarslev, Ralf Möller, Michael Wessel:
On Specifying Semantics of Visual Spatial Query Languages. VL 1999: 4-11 - 1998
- [c21]Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan:
HAM-ALC. Description Logics 1998 - [c20]Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan:
Implementing an ALCRP(D) ABox Reasoner - Progress Report. Description Logics 1998 - [c19]Volker Haarslev, Carsten Lutz, Ralf Möller:
Foundations of Spatioterminological Reasoning with Description Logics. KR 1998: 112-123 - 1997
- [c17]Volker Haarslev, Ralf Möller:
Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences. Description Logics 1997 - 1994
- [c11]Volker Haarslev, Ralf Möller, Carsten Schröder:
Combining Spatial and Terminological Reasoning. KI 1994: 142-153 - 1992
- [j2]Volker Haarslev, Ralf Möller:
Visualization and graphical layout in object-oriented systems. J. Vis. Lang. Comput. 3(1): 1-23 (1992) - 1990
- [c9]Ralf Möller, Volker Haarslev:
Layoutspezifikationen für komplexe graphische Objekte. Graphik und KI 1990: 78-91 - [c8]Volker Haarslev, Ralf Möller:
A Framework for Visualizing Object-Oriented Systems. OOPSLA/ECOOP 1990: 237-244 - [c7]Volker Haarslev, Ralf Möller:
A Declarative Formalism for Specifying Graphical Layout. VL 1990: 54-59 - 1989
- [c6]Volker Haarslev, Ralf Möller:
Visualisierungen beim Entwicklungsprozeß experimenteller Programmsysteme. Software-Ergonomie 1989: 427-436 - 1988
- [c5]Volker Haarslev, Ralf Möller:
Eine graphische Umgebung zur experimentellen Bildverarbeitung. DAGM-Symposium 1988: 319-325 - [c4]Volker Haarslev, Ralf Möller:
Visualisierung und Animation in der experimentellen Bildauswertung. Visualisierungstechniken und Algorithmen 1988: 213-223 - [c3]Volker Haarslev, Ralf Möller:
Visualization of experimental systems. VL 1988: 175-182
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-08-27 20:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
