Volker Haarslev

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

100EEArash Shaban-Nejad, Volker Haarslev: Ontology-inferred phylogeny reconstruction for analyzing the evolutionary relationships between species: Ontological inference versus cladistics. BIBE 2008: 1-7
99EEJocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller: A Hybrid Tableau Algorithm for ALCQ. Description Logics 2008
98EEJiewen Wu, Volker Haarslev: Planning of Axiom Absorption. Description Logics 2008
97EEFrancis Gasse, Ulrike Sattler, Volker Haarslev: Rewriting Rules into SROIQ Axioms. Description Logics 2008
96EERalf Möller, Volker Haarslev, Sebastian Wandelt: The Revival of Structural Subsumption in Tableau-based Reasoners. Description Logics 2008
95EEMina Aslani, Volker Haarslev: Towards Parallel Classifcation of TBoxes. Description Logics 2008
94EEJocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller: A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. ECAI 2008: 725-726
93EEArash Shaban-Nejad, Volker Haarslev: An ontology-empowered model for annotating protein-protein interaction data: a case study for budding yeast. IRI 2008: 357-362
92EEAhmed Alasoud, Volker Haarslev, Nematollaah Shiri: An Effective Ontology Matching Technique. ISMIS 2008: 585-590
91EEArash Shaban-Nejad, Volker Haarslev: Web-based dynamic learning through lexical chaining: a step forward towards knowledge-driven education. ITiCSE 2008: 375
90EEArash Shaban-Nejad, Volker Haarslev: Incremental Biomedical Ontology Change Management through Learning Agents. KES-AMSTA 2008: 526-535
89EEVolker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri: Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic. URSW (LNCS Vol.) 2008: 385-402
88EEVolker Haarslev, Ralf Möller: On the Scalability of Description Logic Instance Retrieval. J. Autom. Reasoning 41(2): 99-142 (2008)
87 Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris: Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007 CEUR-WS.org 2007
86EEArash Shaban-Nejad, Volker Haarslev: Categorical Representation of Evolving Structure of an Ontology for Clinical Fungus. AIME 2007: 277-286
85EEArash Shaban-Nejad, Volker Haarslev: Managing Conceptual Revisions in a Temporal Fungal Taxonomy. CBMS 2007: 624-632
84EEYu Ding, Volker Haarslev, Jiewen Wu: A New Mapping from ALCI to ALC. Description Logics 2007
83EEYu Ding, Volker Haarslev: An ExpTime Tableau Decision Procedure for ALCQI. Description Logics 2007
82EEAmineh Fadhil, Volker Haarslev: OntoVQL: A Graphical Query Language for OWL Ontologies. Description Logics 2007
81EEVolker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri: Optimizing Tableau Reasoning in ALC Extended with Uncertainty. Description Logics 2007
80EEXi Deng, Volker Haarslev, Nematollaah Shiri: Measuring Inconsistencies in Ontologies. ESWC 2007: 326-340
79EEArash Shaban-Nejad, Volker Haarslev: Towards a framework for requirement change management in healthcare software applications. OOPSLA Companion 2007: 807-808
78EEYonggang Zhang, Juergen Rilling, Volker Haarslev: An Ontology-Based Approach to Software Comprehension - Reasoning about Security Concerns. COMPSAC (1) 2006: 333-342
77EEChristopher Baker, Xiao Su, Greg Butler, Volker Haarslev: Ontoligent Interactive Query Tool. CSWWS 2006: 155-169
76EEXi Deng, Volker Haarslev, Nematollaah Shiri: Resolution Based Explanations for Reasoning in the Description Logic ALC. CSWWS 2006: 189-204
75EEVolker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri: Completion Rules for Uncertainty Reasoning with the Description Logic ALC. CSWWS 2006: 205-225
74EEMing Zuo, Volker Haarslev: High Performance Absorption Algorithms for Terminological Reasoning. Description Logics 2006
73EERalf Möller, Volker Haarslev, Michael Wessel: On the Scalability of Description Logic Instance Retrieval. Description Logics 2006
72EEYu Ding, Volker Haarslev: Tableau Caching for Description Logics with Inverse and Transitive Roles. Description Logics 2006
71 Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri: Uncertainty Reasoning in Description Logics: A Generic Approach. FLAIRS Conference 2006: 818-823
70EERalf Möller, Volker Haarslev, Michael Wessel: On the Scalability of Description Logic Instance Retrieval. KI 2006: 188-201
69EEJuergen 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: 56-65
68EEAhmed Alasoud, Volker Haarslev, Nematollaah Shiri: A Multi-level Matching Algorithm for Combining Similarity Measures in Ontology Integration. ODBIS 2006: 1-17
67EEAmineh Fadhil, Volker Haarslev: GLOO: A Graphical Query Language for OWL Ontologies. OWLED 2006
66EEQing Lu, Volker Haarslev: OntoKBEval: DL-based Evaluation of OWL Ontologies. OWLED 2006
65EEYonggang Zhang, René Witte, Juergen Rilling, Volker Haarslev: Ontology-based Program Comprehension Tool Supporting Website Architectural Evolution. WSE 2006: 41-49
64EEChristopher Baker, Arash Shaban-Nejad, Xiao Su, Volker Haarslev, Greg Butler: Semantic web infrastructure for fungal enzyme biotechnologists. J. Web Sem. 4(3): 168-180 (2006)
63EEXi Deng, Volker Haarslev, Nematollaah Shiri: A Resolution Based Framework to Explain Reasoning in Description Logics. Description Logics 2005
62EEVolker Haarslev, Ralf Möller, Michael Wessel: Description Logic Inference Technology: Lessions Learned in the Trenches. Description Logics 2005
61EEKruthi Bhoopalam, Volker Haarslev: Fire – Extending Racer by an Engine for SWRL Rules. Description Logics 2005
60EECuiMing Chen, Volker Haarslev, JiaoYue Wang: LAS: Extending Racer by a Large ABox Store. Description Logics 2005
59EEYu Ding, Volker Haarslev: Towards Efficient Reasoning for Description Logics with Inverse Roles. Description Logics 2005
58 Xi Deng, Volker Haarslev, Nematollaah Shiri: A Framework for Explaining Reasoning in Description Logics. ExaCt 2005: 55-61
57 Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri: A Generic Framework for Description Logics with Uncertainty. ISWC-URSW 2005: 77-86
56EEArash Shaban-Nejad, Christopher Baker, Volker Haarslev, Greg Butler: The FungalWeb Ontology: Semantic Web Challenges in Bioinformatics and Genomics. International Semantic Web Conference 2005: 1063-1066
55 Volker Haarslev, Ralf Möller: Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004 CEUR-WS.org 2004
54EEVolker 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
53EEVolker Haarslev, Ying Lu, Nematollaah Shiri: OntoXpl: Exploration of OWL Ontologies. Description Logics 2004
52 Volker Haarslev, Ralf Möller: Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. KR 2004: 163-174
51EEVolker Haarslev, Ying Lu, Nematollaah Shiri: ONTOXPL - Intelligent Exploration of OWL Ontologies. Web Intelligence 2004: 624-627
50 Ralf Möller, Volker Haarslev: Description Logic Systems. Description Logic Handbook 2003: 282-305
49EERalf Möller, Ronald Cornet, Volker Haarslev: Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents. Description Logics 2003
48EEVolker Haarslev, Ralf Möller: Incremental Query Answering for Implementing Document Retrieval Services. Description Logics 2003
47EEVolker Haarslev, Ralf Möller: Racer: A Core Inference Engine for the Semantic Web. EON 2003
46EEVolker Haarslev, Ralf Möller: Description Logic Systems with Concrete Domains: Applications for the Semantic Web. KRDB 2003
45EEAmar Isli, Volker Haarslev, Ralf Möller: Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning CoRR cs.AI/0307048: (2003)
44 Ralf Möller, Volker Haarslev: Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems. KI 17(3): 10- (2003)
43 Mary Hegarty, Volker Haarslev, N. Hari Narayanan: Diagrammatic Reasoning. KI 16(4): 38-39 (2002)
42EEVolker Haarslev, Martina Timmann, Ralf Möller: Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. Description Logics 2001
41EEVolker Haarslev, Ralf Möller: Description of the RACER System and its Applications. Description Logics 2001
40EEVolker Haarslev, Ralf Möller: Optimizing Reasoning in Description Logics with Qualified Number Restrictions. Description Logics 2001
39 Volker Haarslev, Ralf Möller: High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. IJCAI 2001: 161-168
38EEVolker Haarslev, Ralf Möller, Michael Wessel: The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach. IJCAR 2001: 29-44
37EEVolker Haarslev, Ralf Möller, Anni-Yasmin Turhan: Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. IJCAR 2001: 61-75
36EEVolker Haarslev, Ralf Möller: RACER System Description. IJCAR 2001: 701-706
35 Michael Anderson, Peter Cheng, Volker Haarslev: Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings Springer 2000
34EEVolker Haarslev, Ralf Möller: High Performance Reasoning with Very Large Knowledge Bases. Description Logics 2000: 143-152
33EEVolker Haarslev, Ralf Möller: Optimizing TBox and ABox Reasoning with Pseudo Models. Description Logics 2000: 153-162
32EEAnni-Yasmin Turhan, Volker Haarslev: Adapting Optimization Techniques to Description Logics with Concrete Domains. Description Logics 2000: 247-256
31EEMichael Wessel, Volker Haarslev, Ralf Möller: ALCRA - ALC with Role Axioms. Description Logics 2000: 267-276
30 Volker Haarslev, Ralf Möller: Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. KR 2000: 273-284
29 Volker Haarslev, Ralf Möller: Consistency Testing: The RACE Experience. TABLEAUX 2000: 57-61
28EEVolker Haarslev, Ralf Möller: An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics. Description Logics 1999
27EEVolker Haarslev, Ralf Möller, Anni-Yasmin Turhan, Michael Wessel: On Terminological Default Reasoning about Spatial Information: Extended Abstract. Description Logics 1999
26EEVolker Haarslev, Ralf Möller: RACE System Description. Description Logics 1999
25 Volker Haarslev, Ralf Möller: Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. TABLEAUX 1999: 24-28
24EEVolker Haarslev, Ralf Möller, Michael Wessel: On Specifying Semantics of Visual Spatial Query Languages. VL 1999: 4-11
23EEVolker 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)
22 Volker Haarslev: A Logic-based Formalism for Reasoning about Visual Representations. J. Vis. Lang. Comput. 10(4): 421-445 (1999)
21EEVolker Haarslev, Ralf Möller, Anni-Yasmin Turhan: HAM-ALC. Description Logics 1998
20EEVolker Haarslev, Ralf Möller, Anni-Yasmin Turhan: Implementing an ALCRP(D) ABox Reasoner - Progress Report. Description Logics 1998
19 Volker Haarslev, Carsten Lutz, Ralf Möller: Foundations of Spatioterminological Reasoning with Description Logics. KR 1998: 112-123
18 Michael Wessel, Volker Haarslev: VISCO: Bringing Visual Spatial Querying to Reality. VL 1998: 170-177
17EEVolker Haarslev, Ralf Möller: Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences. Description Logics 1997
16 Volker Haarslev, Michael Wessel: Querying GIS with Animated Spatial Sketches. VL 1997: 201-208
15 Volker Haarslev: Using Description Logic for Reasoning about Diagrammatical Notations. Description Logics 1996: 124-128
14 Volker Haarslev, Michael Wessel: GenEd - An Editor with Generic Semantics for Formal Reasoning about Visual Notations. VL 1996: 204-211
13EEDietrich Fahrenholtz, Volker Haarslev: Visualization of Strand(tm) Processes. VL 1995: 114-115
12EEVolker Haarslev: Formal Semantics of Visual Languages using Spatial Reasoning. VL 1995: 156-163
11 Volker Haarslev, Ralf Möller, Carsten Schröder: Combining Spatial and Terminological Reasoning. KI 1994: 142-153
10 Kenneth M. Kahn, Vijay A. Saraswat, Volker Haarslev: Pictorial Janus: Eine vollständig visuelle Programmiersprache und ihre Umgebung. GI Jahrestagung 1991: 427-436
9 Ralf Möller, Volker Haarslev: Layoutspezifikationen für komplexe graphische Objekte. Graphik und KI 1990: 78-91
8 Volker Haarslev, Ralf Möller: A Framework for Visualizing Object-Oriented Systems. OOPSLA/ECOOP 1990: 237-244
7 Volker Haarslev, Ralf Möller: A Declarative Formalism for Specifying Graphical Layout. VL 1990: 54-59
6 Volker Haarslev, Ralf Möller: Visualisierungen beim Entwicklungsprozeß experimenteller Programmsysteme. Software-Ergonomie 1989: 427-436
5 Volker Haarslev, Ralf Möller: Eine graphische Umgebung zur experimentellen Bildverarbeitung. DAGM-Symposium 1988: 319-325
4 Volker Haarslev, Ralf Möller: Visualisierung und Animation in der experimentellen Bildauswertung. Visualisierungstechniken und Algorithmen 1988: 213-223
3 Volker Haarslev: Eine ergonomische Benutzerschnittstelle für den Anwendungsbereich der Bildfolgenauswertung. Software-Ergonomie 1987: 176-186
2 Helmut Faasch, Volker Haarslev: Konzeption einer neuen Ada-Programmierumgebung für die Bildfolgenauswertung. DAGM-Symposium 1985: 191-195
1 Leonie S. Dreschler-Fischer, Volker Haarslev: Konzeption für ein Bildverarbeitungssystem zur Lösung des Korrespondenzproblems bei Stereo-Bildfolgen im Rahmen einer komfortablen ADA-Programmierumgebung. Robotersysteme 1: 29-34 (1985)

Coauthor Index

1Ahmed Alasoud [68] [92]
2Michael Anderson [35]
3Mina Aslani [95]
4Christopher Baker [56] [64] [77]
5Kruthi Bhoopalam [61]
6Gregory Butler (Greg Butler) [56] [64] [77]
7Diego Calvanese [87]
8Philippe Charland [69]
9CuiMing Chen [60]
10Peter Cheng [35]
11Ronald Cornet [49]
12Xi Deng [58] [63] [76] [80]
13Yu Ding [59] [72] [83] [84]
14Leonie S. Dreschler-Fischer [1]
15Helmut Faasch [2]
16Jocelyne Faddoul [94] [99]
17Amineh Fadhil [67] [82]
18Dietrich Fahrenholtz [13]
19Nasim Farsinia [94] [99]
20Enrico Franconi [87]
21Francis Gasse [97]
22Mary Hegarty [43]
23Amar Isli [45]
24Kenneth M. Kahn [10]
25Domenico Lembo [87]
26Qing Lu [66]
27Ying Lu [51] [53]
28Carsten Lutz [19] [23]
29Wen Jun Meng [69]
30Ralf Möller [4] [5] [6] [7] [8] [9] [11] [17] [19] [20] [21] [23] [24] [25] [26] [27] [28] [29] [30] [31] [33] [34] [36] [37] [38] [39] [40] [41] [42] [44] [45] [46] [47] [48] [49] [50] [52] [54] [55] [62] [70] [73] [88] [94] [96] [99]
31Boris Motik [87]
32N. Hari Narayanan [43]
33Hsueh-Ieng Pai [57] [71] [75] [81] [89]
34Juergen Rilling [65] [69] [78]
35Vijay A. Saraswat [10]
36Ulrike Sattler [97]
37Carsten Schröder [11]
38Arash Shaban-Nejad [56] [64] [79] [85] [86] [90] [91] [93] [100]
39Nematollaah Shiri [51] [53] [57] [58] [63] [68] [71] [75] [76] [80] [81] [89] [92]
40Ragnhild Van Der Straeten [54]
41Xiao Su [64] [77]
42Sergio Tessaris [87]
43Martina Timmann [42]
44Anni-Yasmin Turhan [20] [21] [27] [32] [37] [87]
45Sebastian Wandelt [96]
46JiaoYue Wang [60]
47Michael Wessel [14] [16] [18] [24] [27] [31] [38] [54] [62] [70] [73]
48René Witte [65] [69]
49Jiewen Wu [84] [98]
50Yonggang Zhang [65] [69] [78]
51Ming Zuo [74]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)