Ralf Möller 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

101EEJocelyne Faddoul, Volker Haarslev, Ralf Möller: Algebraic Tableau Algorithm for ALCOQ. Description Logics 2009
100EEIrma Sofia Espinosa Peraldi, Atila Kaya, Ralf Möller: Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes. Description Logics 2009
99EEMichael Wessel, Marko Luther, Ralf Möller: What Happened to Bob? Semantic Data Mining of Context Histories. Description Logics 2009
98EEMichael Wessel, Ralf Möller: Flexible software architectures for ontology-based information systems. J. Applied Logic 7(1): 75-99 (2009)
97EERalf Möller: Local visual homing by warping of two-dimensional images. Robotics and Autonomous Systems 57(1): 87-101 (2009)
96EEIrma Sofia Espinosa Peraldi, Atila Kaya, Sylvia Melzer, Ralf Möller: On Ontology Based Abduction for Text Interpretation. CICLing 2008: 194-205
95EEJocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller: A Hybrid Tableau Algorithm for ALCQ. Description Logics 2008
94EETobias Henrik Näth, Ralf Möller: ContraBovemRufum: A System for Probabilistic Lexicographic Entailment. Description Logics 2008
93EERalf Möller, Volker Haarslev, Sebastian Wandelt: The Revival of Structural Subsumption in Tableau-based Reasoners. Description Logics 2008
92EEJocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller: A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. ECAI 2008: 725-726
91EEWolfram Schenck, Dennis Sinder, Ralf Möller: Combining neural networks and optimization techniques for visuokinesthetic prediction and motor planning. ESANN 2008: 523-528
90EESilvana Castano, Alfio Ferrara, Davide Lorusso, Tobias Henrik Näth, Ralf Möller: Mapping Validation by Probabilistic Reasoning. ESWC 2008: 170-184
89 Sebastian Wandelt, Ralf Möller: Island Reasoning for [Ascr ][Lscr ][Cscr ][Hscr ][Iscr ] Ontologies. FOIS 2008: 164-177
88 Miguel García, Ralf Möller: Incremental Evaluation of OCL Invariants in the Essential MOF Object Model. Modellierung 2008: 11-26
87EEJens Peter Lindemann, Holger Weiss, Ralf Möller, Martin Egelhaaf: Saccadic flight strategy facilitates collision avoidance: closed-loop performance of a cyberfly. Biological Cybernetics 98(3): 213-227 (2008)
86EEBernd Neumann, Ralf Möller: On scene interpretation with description logics. Image Vision Comput. 26(1): 82-101 (2008)
85EEVolker Haarslev, Ralf Möller: On the Scalability of Description Logic Instance Retrieval. J. Autom. Reasoning 41(2): 99-142 (2008)
84EEAtila Kaya, Sylvia Melzer, Ralf Möller, Sergio Espinosa, Michael Wessel: Towards a Foundation for Knowledge Management: Multimedia Interpretation as Abduction. Description Logics 2007
83EEWolfgang Stürzl, Ralf Möller: An Insect-Inspired Active Vision Approach for Orientation Estimation with Panoramic Images. IWINAC (1) 2007: 61-70
82EESebastian Wandelt, Ralf Möller: Scalability of OWL Reasoning: Role condensates. OTM Workshops (2) 2007: 1145-1154
81EEAlissa Kaplunova, Ralf Möller, Michael Wessel: Leveraging the Expressivity of Grounded Conjunctive Query Languages. OTM Workshops (2) 2007: 1176-1186
80EEMichael Wessel, Ralf Möller: Design Principles and Realization Techniques for User Friendly, Interactive, and Scalable Ontology Browsing and Inspection Tools. OWLED 2007
79EEAtila Kaya, Ralf Möller, Alissa Kaplunova, Tobias Berger: Towards a Scalable and Efficient Middleware for Instance Retrieval Inference Services. OWLED 2007
78 Miguel García, Ralf Möller: Certification of transformation algorithms in model-driven software development. Software Engineering 2007: 107-118
77EEIrma Sofia Espinosa Peraldi, Atila Kaya, Sylvia Melzer, Ralf Möller, Michael Wessel: Towards a Media Interpretation Framework for the Semantic Web. Web Intelligence 2007: 374-380
76EERalf Möller, Andrew Vardy, Sven Kreft, Sebastian Ruwisch: Visual homing in environments with anisotropic landmark distribution. Auton. Robots 23(3): 231-245 (2007)
75EEDaeEun Kim, Ralf Möller: Biomimetic whiskers for shape recognition. Robotics and Autonomous Systems 55(3): 229-243 (2007)
74EEBernd Neumann, Ralf Möller: On Scene Interpretation with Description Logics. Cognitive Vision Systems 2006: 247-275
73EEIrma Sofia Espinosa Peraldi, Ralf Möller: Cost-Efficient Web Service compositions for querying processes over reasoning services. Description Logics 2006
72EEAlissa Kaplunova, Atila Kaya, Ralf Möller: Experiences with Load Balancing and Caching for Semantic Web Applications. Description Logics 2006
71EERalf Möller, Sylvia Melzer: How sensor data interpretation could benefit from description logics: A practical case study. Description Logics 2006
70EERalf Möller, Volker Haarslev, Michael Wessel: On the Scalability of Description Logic Instance Retrieval. Description Logics 2006
69EERalf Möller, Volker Haarslev, Michael Wessel: On the Scalability of Description Logic Instance Retrieval. KI 2006: 188-201
68EECarsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris: Reasoning Support for Ontology Design. OWLED 2006
67EEWolfram Schenck, Ralf Möller: Training and Application of a Visual Forward Model for a Robot Camera Head. SAB ABiALS 2006: 153-169
66EERalf Möller, Andrew Vardy: Local visual homing by matched-filter descent in image distances. Biological Cybernetics 95(5): 413-430 (2006)
65EERalf Möller: First-order approximation of Gram-Schmidt orthonormalization beats deflation in coupled PCA learning rules. Neurocomputing 69(13-15): 1582-1590 (2006)
64EEMichael Wessel, Ralf Möller: A High Performance Semantic Web Query Answering Engine. Description Logics 2005
63EEVolker Haarslev, Ralf Möller, Michael Wessel: Description Logic Inference Technology: Lessions Learned in the Trenches. Description Logics 2005
62EEJan Galinski, Atila Kaya, Ralf Möller: Development of a server to support the formal semantic web query language OWL-QL. Description Logics 2005
61EEHeiko Hoffmann, Wolfram Schenck, Ralf Möller: Learning visuomotor transformations for gaze-control and grasping. Biological Cybernetics 93(2): 119-130 (2005)
60EEAndrew Vardy, Ralf Möller: Biologically plausible visual homing methods based on optical flow techniques. Connect. Sci. 17(1-2): 47-89 (2005)
59 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
58EEVolker 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
57 Volker Haarslev, Ralf Möller: Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. KR 2004: 163-174
56EERalf Möller: A Self-Stabilizing Learning Rule for Minor Component Analysis. Int. J. Neural Syst. 14(1): 1-8 (2004)
55EERalf Möller, Heiko Hoffmann: An extension of neural gas to local PCA. Neurocomputing 62: 305-326 (2004)
54 Ralf Möller, Volker Haarslev: Description Logic Systems. Description Logic Handbook 2003: 282-305
53EERalf Möller, Ronald Cornet, Volker Haarslev: Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents. Description Logics 2003
52EEVolker Haarslev, Ralf Möller: Incremental Query Answering for Implementing Document Retrieval Services. Description Logics 2003
51EESean Bechhofer, Ralf Möller, Peter Crowther: The DIG Description Logic Interface. Description Logics 2003
50EEVolker Haarslev, Ralf Möller: Racer: A Core Inference Engine for the Semantic Web. EON 2003
49EEHeiko Hoffmann, Ralf Möller: Unsupervised Learning of a Kinematic Arm Model. ICANN 2003: 463-470
48EEVolker Haarslev, Ralf Möller: Description Logic Systems with Concrete Domains: Applications for the Semantic Web. KRDB 2003
47EEAmar Isli, Volker Haarslev, Ralf Möller: Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning CoRR cs.AI/0307048: (2003)
46 Ralf Möller, Volker Haarslev: Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems. KI 17(3): 10- (2003)
45EERalf Möller: Interlocking of learning and orthonormalization in RRLSA. Neurocomputing 49(1-4): 429-433 (2002)
44 Carole A. Goble, Deborah L. McGuinness, Ralf Möller, Peter F. Patel-Schneider: Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001 CEUR-WS.org 2001
43EEVolker Haarslev, Martina Timmann, Ralf Möller: Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. Description Logics 2001
42EEVolker Haarslev, Ralf Möller: Description of the RACER System and its Applications. Description Logics 2001
41EEVolker Haarslev, Ralf Möller: Optimizing Reasoning in Description Logics with Qualified Number Restrictions. Description Logics 2001
40 Volker Haarslev, Ralf Möller: High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. IJCAI 2001: 161-168
39EEVolker Haarslev, Ralf Möller, Michael Wessel: The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach. IJCAR 2001: 29-44
38EEVolker Haarslev, Ralf Möller, Anni-Yasmin Turhan: Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. IJCAR 2001: 61-75
37EEVolker Haarslev, Ralf Möller: RACER System Description. IJCAR 2001: 701-706
36EEVolker Haarslev, Ralf Möller: High Performance Reasoning with Very Large Knowledge Bases. Description Logics 2000: 143-152
35EEVolker Haarslev, Ralf Möller: Optimizing TBox and ABox Reasoning with Pseudo Models. Description Logics 2000: 153-162
34EEMichael Wessel, Volker Haarslev, Ralf Möller: ALCRA - ALC with Role Axioms. Description Logics 2000: 267-276
33 Volker Haarslev, Ralf Möller: Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. KR 2000: 273-284
32 Volker Haarslev, Ralf Möller: Consistency Testing: The RACE Experience. TABLEAUX 2000: 57-61
31EEDimitrios Lambrinos, Ralf Möller, Thomas Labhart, Rolf Pfeifer, Rüdiger Wehner: A mobile robot employing insect strategies for navigation. Robotics and Autonomous Systems 30(1-2): 39-64 (2000)
30 Patrick Lambrix, Alexander Borgida, Maurizio Lenzerini, Ralf Möller, Peter F. Patel-Schneider: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999 CEUR-WS.org 1999
29EERalf Möller, Michael Wessel: Terminological Default Reasoning about Spatial Information: A First Step. COSIT 1999: 189-204
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
25EEThomas Mantay, Ralf Möller, Alissa Kaplunova: Computing Probabilistic Least Common Subsumers in Description Logics. KI 1999: 89-100
24 Volker Haarslev, Ralf Möller: Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. TABLEAUX 1999: 24-28
23EEVolker Haarslev, Ralf Möller, Michael Wessel: On Specifying Semantics of Visual Spatial Query Languages. VL 1999: 4-11
22EERalf Möller: Visual Homing in Analog Hardware. Int. J. Neural Syst. 9(5): 383-389 (1999)
21EEVolker 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)
20EERalf Möller, Marinus Maris, Dimitrios Lambrinos: A neural model of landmark navigation in insects. Neurocomputing 26-27: 801-808 (1999)
19EEVolker Haarslev, Ralf Möller, Anni-Yasmin Turhan: HAM-ALC. Description Logics 1998
18EEVolker Haarslev, Ralf Möller, Anni-Yasmin Turhan: Implementing an ALCRP(D) ABox Reasoner - Progress Report. Description Logics 1998
17 Volker Haarslev, Carsten Lutz, Ralf Möller: Foundations of Spatioterminological Reasoning with Description Logics. KR 1998: 112-123
16EECarsten Lutz, Ralf Möller: Defined Topological Relations in Description Logics. Description Logics 1997
15EEVolker Haarslev, Ralf Möller: Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences. Description Logics 1997
14 Ralf Möller: HAMVIS: Generierung von Visualisierungen in einem Rahmensystem zur systematischen Entwicklung von Benutzungsschnittstellen. Infix Verlag, St. Augustin, Germany 1996
13 Ralf Möller: Object-Oriented Programming Support for CLASSIC. Description Logics 1996: 170-174
12 Ralf Möller: Knowledge-Based Dialog Structuring for Graphics Interaction. ECAI 1996: 271-275
11 Harald Lange, Ralf Möller, Bernd Neumann: Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning about Measurements is the Key. KI 1996: 213-226
10 Ralf Möller: A Functional Layer for Description Logics: Knowledge Representation Meets Object-Oriented Programing. OOPSLA 1996: 198-213
9 Ralf Möller, Peter Paschke: Simulation of Cortex-Like Neural Networks on a CNAPS SIMD Neurocomputer. Neural Processing Letters 4(2): 67-74 (1996)
8 Volker Haarslev, Ralf Möller, Carsten Schröder: Combining Spatial and Terminological Reasoning. KI 1994: 142-153
7 Ralf Möller: Visualisierung und Benutzungsschnittstellen: Anwendungen und Forschungsfragen. GI Jahrestagung 1993: 322-327
6 Ralf Möller, Volker Haarslev: Layoutspezifikationen für komplexe graphische Objekte. Graphik und KI 1990: 78-91
5 Volker Haarslev, Ralf Möller: A Framework for Visualizing Object-Oriented Systems. OOPSLA/ECOOP 1990: 237-244
4 Volker Haarslev, Ralf Möller: A Declarative Formalism for Specifying Graphical Layout. VL 1990: 54-59
3 Volker Haarslev, Ralf Möller: Visualisierungen beim Entwicklungsprozeß experimenteller Programmsysteme. Software-Ergonomie 1989: 427-436
2 Volker Haarslev, Ralf Möller: Eine graphische Umgebung zur experimentellen Bildverarbeitung. DAGM-Symposium 1988: 319-325
1 Volker Haarslev, Ralf Möller: Visualisierung und Animation in der experimentellen Bildauswertung. Visualisierungstechniken und Algorithmen 1988: 213-223

Coauthor Index

1Franz Baader [68]
2Sean Bechhofer [51]
3Tobias Berger [79]
4Alexander Borgida [30]
5Silvana Castano [90]
6Ronald Cornet [53]
7Peter Crowther [51]
8Martin Egelhaaf [87]
9Sergio Espinosa [84]
10Jocelyne Faddoul [92] [95] [101]
11Nasim Farsinia [92] [95]
12Alfio Ferrara [90]
13Enrico Franconi [68]
14Jan Galinski [62]
15Miguel García [78] [88]
16Carole A. Goble [44]
17Volker Haarslev [1] [2] [3] [4] [5] [6] [8] [15] [17] [18] [19] [21] [23] [24] [26] [27] [28] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [46] [47] [48] [50] [52] [53] [54] [57] [58] [59] [63] [69] [70] [85] [92] [93] [95] [101]
18Heiko Hoffmann [49] [55] [61]
19Amar Isli [47]
20Alissa Kaplunova [25] [72] [79] [81]
21Atila Kaya [62] [72] [77] [79] [84] [96] [100]
22DaeEun Kim [75]
23Sven Kreft [76]
24Thomas Labhart [31]
25Dimitrios Lambrinos [20] [31]
26Patrick Lambrix [30]
27Harald Lange [11]
28Domenico Lembo [68]
29Maurizio Lenzerini [30]
30Jens Peter Lindemann [87]
31Davide Lorusso [90]
32Marko Luther [99]
33Carsten Lutz [16] [17] [21] [68]
34Thomas Mantay [25]
35Marinus Maris [20]
36Deborah L. McGuinness [44]
37Sylvia Melzer [71] [77] [84] [96]
38Tobias Henrik Näth [90] [94]
39Bernd Neumann [11] [74] [86]
40Peter Paschke [9]
41Peter F. Patel-Schneider [30] [44]
42Irma Sofia Espinosa Peraldi [73] [77] [96] [100]
43Rolf Pfeifer [31]
44Riccardo Rosati [68]
45Sebastian Ruwisch [76]
46Ulrike Sattler [68]
47Wolfram Schenck [61] [67] [91]
48Carsten Schröder [8]
49Dennis Sinder [91]
50Ragnhild Van Der Straeten [58]
51Wolfgang Stürzl [83]
52Boontawee Suntisrivaraporn [68]
53Sergio Tessaris [68]
54Martina Timmann [43]
55Anni-Yasmin Turhan [18] [19] [27] [38]
56Andrew Vardy [60] [66] [76]
57Sebastian Wandelt [82] [89] [93]
58Rüdiger Wehner [31]
59Holger Weiss [87]
60Michael Wessel [23] [27] [29] [34] [39] [58] [63] [64] [69] [70] [77] [80] [81] [84] [98] [99]

Colors in the list of coauthors

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