dblp.uni-trier.dewww.uni-trier.de

Volker Haarslev Vis

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

*2009
104EEJocelyne Faddoul, Volker Haarslev, Ralf Möller: Algebraic Tableau Algorithm for ALCOQ. Description Logics 2009
103EENasim Farsinia, Volker Haarslev: Optimizing Reasoning with Qualified Number Restrictions in SHQ. Description Logics 2009
102EEArash Shaban-Nejad, Olga Ormandjieva, Mohamad Kassab, Volker Haarslev: Managing Requirement Volatility in an Ontology-Driven Clinical LIMS Using Category Theory. International Journal of Telemedicine and Applications CoRR abs/0906.1842: (2009)
2008
101EEArash Shaban-Nejad, Volker Haarslev: Ontology-inferred phylogeny reconstruction for analyzing the evolutionary relationships between species: Ontological inference versus cladistics. BIBE 2008: 1-7
100EEJocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller: A Hybrid Tableau Algorithm for ALCQ. Description Logics 2008
99EEJiewen Wu, Volker Haarslev: Planning of Axiom Absorption. Description Logics 2008
98EEFrancis Gasse, Ulrike Sattler, Volker Haarslev: Rewriting Rules into SROIQ Axioms. Description Logics 2008
97EERalf Möller, Volker Haarslev, Sebastian Wandelt: The Revival of Structural Subsumption in Tableau-based Reasoners. Description Logics 2008
96EEMina Aslani, Volker Haarslev: Towards Parallel Classifcation of TBoxes. Description Logics 2008
95EEJocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller: A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. ECAI 2008: 725-726
94EEArash Shaban-Nejad, Volker Haarslev: An ontology-empowered model for annotating protein-protein interaction data: a case study for budding yeast. IRI 2008: 357-362
93EEAhmed Alasoud, Volker Haarslev, Nematollaah Shiri: An Effective Ontology Matching Technique. ISMIS 2008: 585-590
92EEArash Shaban-Nejad, Volker Haarslev: Web-based dynamic learning through lexical chaining: a step forward towards knowledge-driven education. ITiCSE 2008: 375
91EEArash Shaban-Nejad, Volker Haarslev: Incremental Biomedical Ontology Change Management through Learning Agents. KES-AMSTA 2008: 526-535
90EEVolker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri: Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic. URSW (LNCS Vol.) 2008: 385-402
89EEYonggang Zhang, René Witte, Juergen Rilling, Volker Haarslev: Ontological approach for the semantic recovery of traceability links between software artefacts. IET Software 2(3): 185-203 (2008)
88EEVolker Haarslev, Ralf Möller: On the Scalability of Description Logic Instance Retrieval. J. Autom. Reasoning 41(2): 99-142 (2008)
2007
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
2006
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)
2005
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
2004
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
2003
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)
2002
43 Mary Hegarty, Volker Haarslev, N. Hari Narayanan: Diagrammatic Reasoning. KI 16(4): 38-39 (2002)
2001
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
2000
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
1999
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)
1998
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
1997
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
1996
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
1995
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
1994
11 Volker Haarslev, Ralf Möller, Carsten Schröder: Combining Spatial and Terminological Reasoning. KI 1994: 142-153
1991
10 Kenneth M. Kahn, Vijay A. Saraswat, Volker Haarslev: Pictorial Janus: Eine vollständig visuelle Programmiersprache und ihre Umgebung. GI Jahrestagung 1991: 427-436
1990
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
1989
6 Volker Haarslev, Ralf Möller: Visualisierungen beim Entwicklungsprozeß experimenteller Programmsysteme. Software-Ergonomie 1989: 427-436
1988
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
1987
3 Volker Haarslev: Eine ergonomische Benutzerschnittstelle für den Anwendungsbereich der Bildfolgenauswertung. Software-Ergonomie 1987: 176-186
1985
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] [93]
2Michael Anderson [35]
3Mina Aslani [96]
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 [95] [100] [104]
17Amineh Fadhil [67] [82]
18Dietrich Fahrenholtz [13]
19Nasim Farsinia [95] [100] [103]
20Enrico Franconi [87]
21Francis Gasse [98]
22Mary Hegarty [43]
23Amar Isli [45]
24Kenneth M. Kahn [10]
25Mohamad Kassab [102]
26Domenico Lembo [87]
27Qing Lu [66]
28Ying Lu [51] [53]
29Carsten Lutz [19] [23]
30Wen Jun Meng [69]
31Ralf 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] [95] [97] [100] [104]
32Boris Motik [87]
33N. Hari Narayanan [43]
34Olga Ormandjieva [102]
35Hsueh-Ieng Pai [57] [71] [75] [81] [90]
36Juergen Rilling [65] [69] [78] [89]
37Vijay A. Saraswat [10]
38Ulrike Sattler [98]
39Carsten Schröder [11]
40Arash Shaban-Nejad [56] [64] [79] [85] [86] [91] [92] [94] [101] [102]
41Nematollaah Shiri [51] [53] [57] [58] [63] [68] [71] [75] [76] [80] [81] [90] [93]
42Ragnhild Van Der Straeten [54]
43Xiao Su [64] [77]
44Sergio Tessaris [87]
45Martina Timmann [42]
46Anni-Yasmin Turhan [20] [21] [27] [32] [37] [87]
47Sebastian Wandelt [97]
48JiaoYue Wang [60]
49Michael Wessel [14] [16] [18] [24] [27] [31] [38] [54] [62] [70] [73]
50René Witte [65] [69] [89]
51Jiewen Wu [84] [99]
52Yonggang Zhang [65] [69] [78] [89]
53Ming Zuo [74]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)