2009 |
97 | EE | Michael Wessel,
Ralf Möller:
Flexible software architectures for ontology-based information systems.
J. Applied Logic 7(1): 75-99 (2009) |
96 | EE | Ralf Möller:
Local visual homing by warping of two-dimensional images.
Robotics and Autonomous Systems 57(1): 87-101 (2009) |
2008 |
95 | EE | Irma Sofia Espinosa Peraldi,
Atila Kaya,
Sylvia Melzer,
Ralf Möller:
On Ontology Based Abduction for Text Interpretation.
CICLing 2008: 194-205 |
94 | EE | Jocelyne Faddoul,
Nasim Farsinia,
Volker Haarslev,
Ralf Möller:
A Hybrid Tableau Algorithm for ALCQ.
Description Logics 2008 |
93 | EE | Tobias Henrik Näth,
Ralf Möller:
ContraBovemRufum: A System for Probabilistic Lexicographic Entailment.
Description Logics 2008 |
92 | EE | Ralf Möller,
Volker Haarslev,
Sebastian Wandelt:
The Revival of Structural Subsumption in Tableau-based Reasoners.
Description Logics 2008 |
91 | EE | Jocelyne Faddoul,
Nasim Farsinia,
Volker Haarslev,
Ralf Möller:
A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ].
ECAI 2008: 725-726 |
90 | EE | Wolfram Schenck,
Dennis Sinder,
Ralf Möller:
Combining neural networks and optimization techniques for visuokinesthetic prediction and motor planning.
ESANN 2008: 523-528 |
89 | EE | Silvana Castano,
Alfio Ferrara,
Davide Lorusso,
Tobias Henrik Näth,
Ralf Möller:
Mapping Validation by Probabilistic Reasoning.
ESWC 2008: 170-184 |
88 | | Sebastian Wandelt,
Ralf Möller:
Island Reasoning for [Ascr ][Lscr ][Cscr ][Hscr ][Iscr ] Ontologies.
FOIS 2008: 164-177 |
87 | | Miguel García,
Ralf Möller:
Incremental Evaluation of OCL Invariants in the Essential MOF Object Model.
Modellierung 2008: 11-26 |
86 | EE | Jens 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) |
85 | EE | Bernd Neumann,
Ralf Möller:
On scene interpretation with description logics.
Image Vision Comput. 26(1): 82-101 (2008) |
84 | EE | Volker Haarslev,
Ralf Möller:
On the Scalability of Description Logic Instance Retrieval.
J. Autom. Reasoning 41(2): 99-142 (2008) |
2007 |
83 | EE | Atila Kaya,
Sylvia Melzer,
Ralf Möller,
Sergio Espinosa,
Michael Wessel:
Towards a Foundation for Knowledge Management: Multimedia Interpretation as Abduction.
Description Logics 2007 |
82 | EE | Wolfgang Stürzl,
Ralf Möller:
An Insect-Inspired Active Vision Approach for Orientation Estimation with Panoramic Images.
IWINAC (1) 2007: 61-70 |
81 | EE | Sebastian Wandelt,
Ralf Möller:
Scalability of OWL Reasoning: Role condensates.
OTM Workshops (2) 2007: 1145-1154 |
80 | EE | Alissa Kaplunova,
Ralf Möller,
Michael Wessel:
Leveraging the Expressivity of Grounded Conjunctive Query Languages.
OTM Workshops (2) 2007: 1176-1186 |
79 | EE | Michael Wessel,
Ralf Möller:
Design Principles and Realization Techniques for User Friendly, Interactive, and Scalable Ontology Browsing and Inspection Tools.
OWLED 2007 |
78 | EE | Atila Kaya,
Ralf Möller,
Alissa Kaplunova,
Tobias Berger:
Towards a Scalable and Efficient Middleware for Instance Retrieval Inference Services.
OWLED 2007 |
77 | | Miguel García,
Ralf Möller:
Certification of transformation algorithms in model-driven software development.
Software Engineering 2007: 107-118 |
76 | EE | Irma 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 |
75 | EE | Ralf Möller,
Andrew Vardy,
Sven Kreft,
Sebastian Ruwisch:
Visual homing in environments with anisotropic landmark distribution.
Auton. Robots 23(3): 231-245 (2007) |
74 | EE | DaeEun Kim,
Ralf Möller:
Biomimetic whiskers for shape recognition.
Robotics and Autonomous Systems 55(3): 229-243 (2007) |
2006 |
73 | EE | Irma Sofia Espinosa Peraldi,
Ralf Möller:
Cost-Efficient Web Service compositions for querying processes over reasoning services.
Description Logics 2006 |
72 | EE | Alissa Kaplunova,
Atila Kaya,
Ralf Möller:
Experiences with Load Balancing and Caching for Semantic Web Applications.
Description Logics 2006 |
71 | EE | Ralf Möller,
Sylvia Melzer:
How sensor data interpretation could benefit from description logics: A practical case study.
Description Logics 2006 |
70 | EE | Ralf Möller,
Volker Haarslev,
Michael Wessel:
On the Scalability of Description Logic Instance Retrieval.
Description Logics 2006 |
69 | EE | Ralf Möller,
Volker Haarslev,
Michael Wessel:
On the Scalability of Description Logic Instance Retrieval.
KI 2006: 188-201 |
68 | EE | Carsten 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 |
67 | EE | Wolfram Schenck,
Ralf Möller:
Training and Application of a Visual Forward Model for a Robot Camera Head.
SAB ABiALS 2006: 153-169 |
66 | EE | Ralf Möller,
Andrew Vardy:
Local visual homing by matched-filter descent in image distances.
Biological Cybernetics 95(5): 413-430 (2006) |
65 | EE | Ralf Möller:
First-order approximation of Gram-Schmidt orthonormalization beats deflation in coupled PCA learning rules.
Neurocomputing 69(13-15): 1582-1590 (2006) |
2005 |
64 | EE | Michael Wessel,
Ralf Möller:
A High Performance Semantic Web Query Answering Engine.
Description Logics 2005 |
63 | EE | Volker Haarslev,
Ralf Möller,
Michael Wessel:
Description Logic Inference Technology: Lessions Learned in the Trenches.
Description Logics 2005 |
62 | EE | Jan Galinski,
Atila Kaya,
Ralf Möller:
Development of a server to support the formal semantic web query language OWL-QL.
Description Logics 2005 |
61 | EE | Heiko Hoffmann,
Wolfram Schenck,
Ralf Möller:
Learning visuomotor transformations for gaze-control and grasping.
Biological Cybernetics 93(2): 119-130 (2005) |
60 | EE | Andrew Vardy,
Ralf Möller:
Biologically plausible visual homing methods based on optical flow techniques.
Connect. Sci. 17(1-2): 47-89 (2005) |
2004 |
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 |
58 | EE | 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 |
57 | | Volker Haarslev,
Ralf Möller:
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results.
KR 2004: 163-174 |
56 | EE | Ralf Möller:
A Self-Stabilizing Learning Rule for Minor Component Analysis.
Int. J. Neural Syst. 14(1): 1-8 (2004) |
55 | EE | Ralf Möller,
Heiko Hoffmann:
An extension of neural gas to local PCA.
Neurocomputing 62: 305-326 (2004) |
2003 |
54 | | Ralf Möller,
Volker Haarslev:
Description Logic Systems.
Description Logic Handbook 2003: 282-305 |
53 | EE | Ralf Möller,
Ronald Cornet,
Volker Haarslev:
Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents.
Description Logics 2003 |
52 | EE | Volker Haarslev,
Ralf Möller:
Incremental Query Answering for Implementing Document Retrieval Services.
Description Logics 2003 |
51 | EE | Sean Bechhofer,
Ralf Möller,
Peter Crowther:
The DIG Description Logic Interface.
Description Logics 2003 |
50 | EE | Volker Haarslev,
Ralf Möller:
Racer: A Core Inference Engine for the Semantic Web.
EON 2003 |
49 | EE | Heiko Hoffmann,
Ralf Möller:
Unsupervised Learning of a Kinematic Arm Model.
ICANN 2003: 463-470 |
48 | EE | Volker Haarslev,
Ralf Möller:
Description Logic Systems with Concrete Domains: Applications for the Semantic Web.
KRDB 2003 |
47 | EE | Amar 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) |
2002 |
45 | EE | Ralf Möller:
Interlocking of learning and orthonormalization in RRLSA.
Neurocomputing 49(1-4): 429-433 (2002) |
2001 |
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 |
43 | EE | Volker Haarslev,
Martina Timmann,
Ralf Möller:
Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions.
Description Logics 2001 |
42 | EE | Volker Haarslev,
Ralf Möller:
Description of the RACER System and its Applications.
Description Logics 2001 |
41 | EE | Volker 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 |
39 | EE | Volker Haarslev,
Ralf Möller,
Michael Wessel:
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach.
IJCAR 2001: 29-44 |
38 | EE | Volker Haarslev,
Ralf Möller,
Anni-Yasmin Turhan:
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.
IJCAR 2001: 61-75 |
37 | EE | Volker Haarslev,
Ralf Möller:
RACER System Description.
IJCAR 2001: 701-706 |
2000 |
36 | EE | Volker Haarslev,
Ralf Möller:
High Performance Reasoning with Very Large Knowledge Bases.
Description Logics 2000: 143-152 |
35 | EE | Volker Haarslev,
Ralf Möller:
Optimizing TBox and ABox Reasoning with Pseudo Models.
Description Logics 2000: 153-162 |
34 | EE | Michael 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 |
31 | EE | Dimitrios 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) |
1999 |
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 |
29 | EE | Ralf Möller,
Michael Wessel:
Terminological Default Reasoning about Spatial Information: A First Step.
COSIT 1999: 189-204 |
28 | EE | Volker Haarslev,
Ralf Möller:
An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics.
Description Logics 1999 |
27 | EE | Volker Haarslev,
Ralf Möller,
Anni-Yasmin Turhan,
Michael Wessel:
On Terminological Default Reasoning about Spatial Information: Extended Abstract.
Description Logics 1999 |
26 | EE | Volker Haarslev,
Ralf Möller:
RACE System Description.
Description Logics 1999 |
25 | EE | Thomas 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 |
23 | EE | Volker Haarslev,
Ralf Möller,
Michael Wessel:
On Specifying Semantics of Visual Spatial Query Languages.
VL 1999: 4-11 |
22 | EE | Ralf Möller:
Visual Homing in Analog Hardware.
Int. J. Neural Syst. 9(5): 383-389 (1999) |
21 | EE | 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) |
20 | EE | Ralf Möller,
Marinus Maris,
Dimitrios Lambrinos:
A neural model of landmark navigation in insects.
Neurocomputing 26-27: 801-808 (1999) |
1998 |
19 | EE | Volker Haarslev,
Ralf Möller,
Anni-Yasmin Turhan:
HAM-ALC.
Description Logics 1998 |
18 | EE | Volker 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 |
1997 |
16 | EE | Carsten Lutz,
Ralf Möller:
Defined Topological Relations in Description Logics.
Description Logics 1997 |
15 | EE | Volker Haarslev,
Ralf Möller:
Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences.
Description Logics 1997 |
1996 |
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) |
1994 |
8 | | Volker Haarslev,
Ralf Möller,
Carsten Schröder:
Combining Spatial and Terminological Reasoning.
KI 1994: 142-153 |
1993 |
7 | | Ralf Möller:
Visualisierung und Benutzungsschnittstellen: Anwendungen und Forschungsfragen.
GI Jahrestagung 1993: 322-327 |
1990 |
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 |
1989 |
3 | | Volker Haarslev,
Ralf Möller:
Visualisierungen beim Entwicklungsprozeß experimenteller Programmsysteme.
Software-Ergonomie 1989: 427-436 |
1988 |
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 |