The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ralf Möller: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Volker Haarslev, Ralf Möller
    RACER System Description. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:701-706 [Conf]
  2. Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
    Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:61-75 [Conf]
  3. Volker Haarslev, Ralf Möller, Michael Wessel
    The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:29-44 [Conf]
  4. Ralf Möller, Michael Wessel
    Terminological Default Reasoning about Spatial Information: A First Step. [Citation Graph (0, 0)][DBLP]
    COSIT, 1999, pp:189-204 [Conf]
  5. Volker Haarslev, Ralf Möller
    Eine graphische Umgebung zur experimentellen Bildverarbeitung. [Citation Graph (0, 0)][DBLP]
    DAGM-Symposium, 1988, pp:319-325 [Conf]
  6. Jan Galinski, Atila Kaya, Ralf Möller
    Development of a server to support the formal semantic web query language OWL-QL. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2005, pp:- [Conf]
  7. Sean Bechhofer, Ralf Möller, Peter Crowther
    The DIG Description Logic Interface. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  8. Volker Haarslev, Ralf Möller
    High Performance Reasoning with Very Large Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2000, pp:143-152 [Conf]
  9. Volker Haarslev, Ralf Möller
    Optimizing TBox and ABox Reasoning with Pseudo Models. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2000, pp:153-162 [Conf]
  10. Volker Haarslev, Ralf Möller
    Description of the RACER System and its Applications. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2001, pp:- [Conf]
  11. Volker Haarslev, Ralf Möller
    Optimizing Reasoning in Description Logics with Qualified Number Restrictions. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2001, pp:- [Conf]
  12. Volker Haarslev, Ralf Möller
    Incremental Query Answering for Implementing Document Retrieval Services. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  13. Volker Haarslev, Ralf Möller
    Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1997, pp:- [Conf]
  14. Volker Haarslev, Ralf Möller
    An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  15. Volker Haarslev, Ralf Möller
    RACE System Description. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  16. Volker Haarslev, Ralf Möller, Ragnhild Van Der Straeten, Michael Wessel
    Extended Query Facilities for Racer and an Application to Software-Engineering Problems. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2004, pp:- [Conf]
  17. Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
    HAM-ALC. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1998, pp:- [Conf]
  18. Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
    Implementing an ALCRP(D) ABox Reasoner - Progress Report. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1998, pp:- [Conf]
  19. Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan, Michael Wessel
    On Terminological Default Reasoning about Spatial Information: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  20. Volker Haarslev, Ralf Möller, Michael Wessel
    Description Logic Inference Technology: Lessions Learned in the Trenches. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2005, pp:- [Conf]
  21. Volker Haarslev, Martina Timmann, Ralf Möller
    Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2001, pp:- [Conf]
  22. Ralf Möller
    Object-Oriented Programming Support for CLASSIC. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1996, pp:170-174 [Conf]
  23. Ralf Möller, Ronald Cornet, Volker Haarslev
    Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  24. Ralf Möller, Volker Haarslev
    Description Logic Systems. [Citation Graph (0, 0)][DBLP]
    Description Logic Handbook, 2003, pp:282-305 [Conf]
  25. Carsten Lutz, Ralf Möller
    Defined Topological Relations in Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1997, pp:- [Conf]
  26. Michael Wessel, Volker Haarslev, Ralf Möller
    ALCRA - ALC with Role Axioms. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2000, pp:267-276 [Conf]
  27. Michael Wessel, Ralf Möller
    A High Performance Semantic Web Query Answering Engine. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2005, pp:- [Conf]
  28. Ralf Möller
    Knowledge-Based Dialog Structuring for Graphics Interaction. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:271-275 [Conf]
  29. Volker Haarslev, Ralf Möller
    Racer: A Core Inference Engine for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    EON, 2003, pp:- [Conf]
  30. Ralf Möller
    Visualisierung und Benutzungsschnittstellen: Anwendungen und Forschungsfragen. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1993, pp:322-327 [Conf]
  31. Ralf Möller, Volker Haarslev
    Layoutspezifikationen für komplexe graphische Objekte. [Citation Graph (0, 0)][DBLP]
    Graphik und KI, 1990, pp:78-91 [Conf]
  32. Heiko Hoffmann, Ralf Möller
    Unsupervised Learning of a Kinematic Arm Model. [Citation Graph (0, 0)][DBLP]
    ICANN, 2003, pp:463-470 [Conf]
  33. Volker Haarslev, Ralf Möller
    High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2001, pp:161-168 [Conf]
  34. Volker Haarslev, Ralf Möller, Carsten Schröder
    Combining Spatial and Terminological Reasoning. [Citation Graph (0, 0)][DBLP]
    KI, 1994, pp:142-153 [Conf]
  35. Harald Lange, Ralf Möller, Bernd Neumann
    Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning about Measurements is the Key. [Citation Graph (0, 0)][DBLP]
    KI, 1996, pp:213-226 [Conf]
  36. Thomas Mantay, Ralf Möller, Alissa Kaplunova
    Computing Probabilistic Least Common Subsumers in Description Logics. [Citation Graph (0, 0)][DBLP]
    KI, 1999, pp:89-100 [Conf]
  37. Volker Haarslev, Ralf Möller
    Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. [Citation Graph (0, 0)][DBLP]
    KR, 2000, pp:273-284 [Conf]
  38. Volker Haarslev, Carsten Lutz, Ralf Möller
    Foundations of Spatioterminological Reasoning with Description Logics. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:112-123 [Conf]
  39. Volker Haarslev, Ralf Möller
    Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. [Citation Graph (0, 0)][DBLP]
    KR, 2004, pp:163-174 [Conf]
  40. Volker Haarslev, Ralf Möller
    Description Logic Systems with Concrete Domains: Applications for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    KRDB, 2003, pp:- [Conf]
  41. Volker Haarslev, Ralf Möller
    A Framework for Visualizing Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    OOPSLA/ECOOP, 1990, pp:237-244 [Conf]
  42. Ralf Möller
    A Functional Layer for Description Logics: Knowledge Representation Meets Object-Oriented Programing. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1996, pp:198-213 [Conf]
  43. Volker Haarslev, Ralf Möller
    Visualisierungen beim Entwicklungsprozeß experimenteller Programmsysteme. [Citation Graph (0, 0)][DBLP]
    Software-Ergonomie, 1989, pp:427-436 [Conf]
  44. Volker Haarslev, Ralf Möller
    Consistency Testing: The RACE Experience. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:57-61 [Conf]
  45. Volker Haarslev, Ralf Möller
    Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1999, pp:24-28 [Conf]
  46. Volker Haarslev, Ralf Möller
    Visualisierung und Animation in der experimentellen Bildauswertung. [Citation Graph (0, 0)][DBLP]
    Visualisierungstechniken und Algorithmen, 1988, pp:213-223 [Conf]
  47. Volker Haarslev, Ralf Möller
    A Declarative Formalism for Specifying Graphical Layout. [Citation Graph (0, 0)][DBLP]
    VL, 1990, pp:54-59 [Conf]
  48. Volker Haarslev, Ralf Möller, Michael Wessel
    On Specifying Semantics of Visual Spatial Query Languages. [Citation Graph (0, 0)][DBLP]
    VL, 1999, pp:4-11 [Conf]
  49. Heiko Hoffmann, Wolfram Schenck, Ralf Möller
    Learning visuomotor transformations for gaze-control and grasping. [Citation Graph (0, 0)][DBLP]
    Biological Cybernetics, 2005, v:93, n:2, pp:119-130 [Journal]
  50. Ralf Möller, Andrew Vardy
    Local visual homing by matched-filter descent in image distances. [Citation Graph (0, 0)][DBLP]
    Biological Cybernetics, 2006, v:95, n:5, pp:413-430 [Journal]
  51. Andrew Vardy, Ralf Möller
    Biologically plausible visual homing methods based on optical flow techniques. [Citation Graph (0, 0)][DBLP]
    Connect. Sci., 2005, v:17, n:1-2, pp:47-89 [Journal]
  52. Amar Isli, Volker Haarslev, Ralf Möller
    Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  53. Ralf Möller
    A Self-Stabilizing Learning Rule for Minor Component Analysis. [Citation Graph (0, 0)][DBLP]
    Int. J. Neural Syst., 2004, v:14, n:1, pp:1-8 [Journal]
  54. Ralf Möller
    Visual Homing in Analog Hardware. [Citation Graph (0, 0)][DBLP]
    Int. J. Neural Syst., 1999, v:9, n:5, pp:383-389 [Journal]
  55. Ralf Möller
    Interlocking of learning and orthonormalization in RRLSA. [Citation Graph (0, 0)][DBLP]
    Neurocomputing, 2002, v:49, n:1-4, pp:429-433 [Journal]
  56. Ralf Möller, Heiko Hoffmann
    An extension of neural gas to local PCA. [Citation Graph (0, 0)][DBLP]
    Neurocomputing, 2004, v:62, n:, pp:305-326 [Journal]
  57. Ralf Möller, Marinus Maris, Dimitrios Lambrinos
    A neural model of landmark navigation in insects. [Citation Graph (0, 0)][DBLP]
    Neurocomputing, 1999, v:26, n:, pp:801-808 [Journal]
  58. Ralf Möller
    First-order approximation of Gram-Schmidt orthonormalization beats deflation in coupled PCA learning rules. [Citation Graph (0, 0)][DBLP]
    Neurocomputing, 2006, v:69, n:13-15, pp:1582-1590 [Journal]
  59. Ralf Möller, Volker Haarslev
    Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems. [Citation Graph (0, 0)][DBLP]
    KI, 2003, v:17, n:3, pp:10-0 [Journal]
  60. Volker Haarslev, Carsten Lutz, Ralf Möller
    A Description Logic with Concrete Domains and a Role-forming Predicate Operator. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:3, pp:351-384 [Journal]
  61. Ralf Möller, Peter Paschke
    Simulation of Cortex-Like Neural Networks on a CNAPS SIMD Neurocomputer. [Citation Graph (0, 0)][DBLP]
    Neural Processing Letters, 1996, v:4, n:2, pp:67-74 [Journal]
  62. Dimitrios Lambrinos, Ralf Möller, Thomas Labhart, Rolf Pfeifer, Rüdiger Wehner
    A mobile robot employing insect strategies for navigation. [Citation Graph (0, 0)][DBLP]
    Robotics and Autonomous Systems, 2000, v:30, n:1-2, pp:39-64 [Journal]
  63. DaeEun Kim, Ralf Möller
    Biomimetic whiskers for shape recognition. [Citation Graph (0, 0)][DBLP]
    Robotics and Autonomous Systems, 2007, v:55, n:3, pp:229-243 [Journal]
  64. Alissa Kaplunova, Atila Kaya, Ralf Möller
    Experiences with Load Balancing and Caching for Semantic Web Applications. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2006, pp:- [Conf]
  65. Irma Sofia Espinosa Peraldi, Ralf Möller
    Cost-Efficient Web Service compositions for querying processes over reasoning services. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2006, pp:- [Conf]
  66. Ralf Möller, Volker Haarslev, Michael Wessel
    On the Scalability of Description Logic Instance Retrieval. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2006, pp:- [Conf]
  67. Ralf Möller, Sylvia Melzer
    How sensor data interpretation could benefit from description logics: A practical case study. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2006, pp:- [Conf]
  68. Wolfgang Stürzl, Ralf Möller
    An Insect-Inspired Active Vision Approach for Orientation Estimation with Panoramic Images. [Citation Graph (0, 0)][DBLP]
    IWINAC (1), 2007, pp:61-70 [Conf]
  69. Ralf Möller, Volker Haarslev, Michael Wessel
    On the Scalability of Description Logic Instance Retrieval. [Citation Graph (0, 0)][DBLP]
    KI, 2006, pp:188-201 [Conf]
  70. Wolfram Schenck, Ralf Möller
    Training and Application of a Visual Forward Model for a Robot Camera Head. [Citation Graph (0, 0)][DBLP]
    SAB ABiALS, 2006, pp:153-169 [Conf]
  71. Miguel García, Ralf Möller
    Certification of transformation algorithms in model-driven software development. [Citation Graph (0, 0)][DBLP]
    Software Engineering, 2007, pp:107-118 [Conf]
  72. Ralf Möller, Andrew Vardy, Sven Kreft, Sebastian Ruwisch
    Visual homing in environments with anisotropic landmark distribution. [Citation Graph (0, 0)][DBLP]
    Auton. Robots, 2007, v:23, n:3, pp:231-245 [Journal]

  73. On Ontology Based Abduction for Text Interpretation. [Citation Graph (, )][DBLP]


  74. On Scene Interpretation with Description Logics. [Citation Graph (, )][DBLP]


  75. Towards a Foundation for Knowledge Management: Multimedia Interpretation as Abduction. [Citation Graph (, )][DBLP]


  76. A Hybrid Tableau Algorithm for ALCQ. [Citation Graph (, )][DBLP]


  77. The Revival of Structural Subsumption in Tableau-based Reasoners. [Citation Graph (, )][DBLP]


  78. ContraBovemRufum: A System for Probabilistic Lexicographic Entailment. [Citation Graph (, )][DBLP]


  79. What Happened to Bob? Semantic Data Mining of Context Histories. [Citation Graph (, )][DBLP]


  80. Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes. [Citation Graph (, )][DBLP]


  81. Algebraic Tableau Algorithm for ALCOQ. [Citation Graph (, )][DBLP]


  82. A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. [Citation Graph (, )][DBLP]


  83. Combining neural networks and optimization techniques for visuokinesthetic prediction and motor planning. [Citation Graph (, )][DBLP]


  84. Mapping Validation by Probabilistic Reasoning. [Citation Graph (, )][DBLP]


  85. Island Reasoning for [Ascr ][Lscr ][Cscr ][Hscr ][Iscr ] Ontologies. [Citation Graph (, )][DBLP]


  86. The BOEMIE Semantic Browser: A Semantic Application Exploiting Rich Semantic Metadata. [Citation Graph (, )][DBLP]


  87. Distributed Island-Based Query Answering for Expressive Ontologies. [Citation Graph (, )][DBLP]


  88. Towards Scalable Instance Retrieval over Ontologies. [Citation Graph (, )][DBLP]


  89. Incremental Evaluation of OCL Invariants in the Essential MOF Object Model. [Citation Graph (, )][DBLP]


  90. Scalability of OWL Reasoning: Role condensates. [Citation Graph (, )][DBLP]


  91. Leveraging the Expressivity of Grounded Conjunctive Query Languages. [Citation Graph (, )][DBLP]


  92. Querying Large-Scale Ontologies. [Citation Graph (, )][DBLP]


  93. Towards a Media Interpretation Framework for the Semantic Web. [Citation Graph (, )][DBLP]


  94. A Probabilistic Abduction Engine for Media Interpretation Based on Ontologies. [Citation Graph (, )][DBLP]


  95. Towards a Scalable and Efficient Middleware for Instance Retrieval Inference Services. [Citation Graph (, )][DBLP]


  96. Design Principles and Realization Techniques for User Friendly, Interactive, and Scalable Ontology Browsing and Inspection Tools. [Citation Graph (, )][DBLP]


  97. Reasoning Support for Ontology Design. [Citation Graph (, )][DBLP]


  98. Sound Summarizations for Alchi Ontologies - How to Speedup Instance Checking and Instance Retrieval. [Citation Graph (, )][DBLP]


  99. Updatable Island Reasoning for Alchi-ontologies. [Citation Graph (, )][DBLP]


  100. Saccadic flight strategy facilitates collision avoidance: closed-loop performance of a cyberfly. [Citation Graph (, )][DBLP]


  101. Insect visual homing strategies in a robot with analog processing. [Citation Graph (, )][DBLP]


Search in 0.008secs, Finished in 0.568secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002