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