Ralf Möller - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Logical Formalization of Multimedia InterpretationIrma Sofia Espinosa Peraldi, Atila Kaya, Ralf Möller. boemie 2011: 110-133 [doi]

2010

2009

2008

Mapping Validation by Probabilistic ReasoningSilvana Castano, Alfio Ferrara, Davide Lorusso, Tobias Henrik Näth, Ralf Möller. esws 2008: 170-184 [doi]

A Hybrid Tableau Algorithm for ALCQJocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller. dlog 2008: [doi]

A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller. ecai 2008: 725-726 [doi]

Incremental Evaluation of OCL Invariants in the Essential MOF Object ModelMiguel García, Ralf Möller. modellierung 2008: 11-26

On the Scalability of Description Logic Instance RetrievalVolker Haarslev, Ralf Möller. JAR, 41(2):99-142, 2008. [doi]

Saccadic flight strategy facilitates collision avoidance: closed-loop performance of a cyberflyJens Peter Lindemann, Holger Weiss, Ralf Möller, Martin Egelhaaf. bc, 98(3):213-227, 2008. [doi]

Bootstrapping Cognition from Behavior - A Computerized Thought ExperimentRalf Möller, Wolfram Schenck. cogsci, 32(3):504-542, 2008. [doi]

The Revival of Structural Subsumption in Tableau-based ReasonersRalf Möller, Volker Haarslev, Sebastian Wandelt. dlog 2008: [doi]

On scene interpretation with description logicsBernd Neumann, Ralf Möller. ivc, 26(1):82-101, 2008. [doi]

ContraBovemRufum: A System for Probabilistic Lexicographic EntailmentTobias Henrik Näth, Ralf Möller. dlog 2008: [doi]

On Ontology Based Abduction for Text InterpretationIrma Sofia Espinosa Peraldi, Atila Kaya, Sylvia Melzer, Ralf Möller. cicling 2008: 194-205 [doi]

Combining neural networks and optimization techniques for visuokinesthetic prediction and motor planningWolfram Schenck, Dennis Sinder, Ralf Möller. esann 2008: 523-528 [doi]

Island Reasoning for [Ascr ][Lscr ][Cscr ][Hscr ][Iscr ] OntologiesSebastian Wandelt, Ralf Möller. fois 2008: 164-177

2007

Certification of transformation algorithms in model-driven software developmentMiguel García, Ralf Möller. se 2007: 107-118

Leveraging the Expressivity of Grounded Conjunctive Query LanguagesAlissa Kaplunova, Ralf Möller, Michael Wessel. otm 2007: 1176-1186 [doi]

Towards a Scalable and Efficient Middleware for Instance Retrieval Inference ServicesAtila Kaya, Ralf Möller, Alissa Kaplunova, Tobias Berger. ifip5-7 2007: [doi]

Towards a Foundation for Knowledge Management: Multimedia Interpretation as AbductionAtila Kaya, Sylvia Melzer, Ralf Möller, Sergio Espinosa, Michael Wessel. dlog 2007: [doi]

Biomimetic whiskers for shape recognitionDaeEun Kim, Ralf Möller. ras, 55(3):229-243, 2007. [doi]

Visual homing in environments with anisotropic landmark distributionRalf Möller, Andrew Vardy, Sven Kreft, Sebastian Ruwisch. arobots, 23(3):231-245, 2007. [doi]

Towards a Media Interpretation Framework for the Semantic WebIrma Sofia Espinosa Peraldi, Atila Kaya, Sylvia Melzer, Ralf Möller, Michael Wessel. webist 2007: 374-380 [doi]

An Insect-Inspired Active Vision Approach for Orientation Estimation with Panoramic ImagesWolfgang Stürzl, Ralf Möller. iwinac 2007: 61-70 [doi]

Scalability of OWL Reasoning: Role condensatesSebastian Wandelt, Ralf Möller. otm 2007: 1145-1154 [doi]

Design Principles and Realization Techniques for User Friendly, Interactive, and Scalable Ontology Browsing and Inspection ToolsMichael Wessel, Ralf Möller. ifip5-7 2007: [doi]

2006

Experiences with Load Balancing and Caching for Semantic Web ApplicationsAlissa Kaplunova, Atila Kaya, Ralf Möller. dlog 2006: [doi]

Reasoning Support for Ontology DesignCarsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris. owled 2006: [doi]

Local visual homing by matched-filter descent in image distancesRalf Möller, Andrew Vardy. bc, 95(5):413-430, 2006. [doi]

On the Scalability of Description Logic Instance RetrievalRalf Möller, Volker Haarslev, Michael Wessel. dlog 2006: [doi]

On the Scalability of Description Logic Instance RetrievalRalf Möller, Volker Haarslev, Michael Wessel. ki 2007: 188-201 [doi]

How sensor data interpretation could benefit from description logics: A practical case studyRalf Möller, Sylvia Melzer. dlog 2006: [doi]

First-order approximation of Gram-Schmidt orthonormalization beats deflation in coupled PCA learning rulesRalf Möller. ijon, 69(13-15):1582-1590, 2006. [doi]

On Scene Interpretation with Description LogicsBernd Neumann, Ralf Möller. dagstuhl 2006: 247-275 [doi]

Cost-Efficient Web Service compositions for querying processes over reasoning servicesIrma Sofia Espinosa Peraldi, Ralf Möller. dlog 2006: [doi]

Training and Application of a Visual Forward Model for a Robot Camera HeadWolfram Schenck, Ralf Möller. sab 2007: 153-169 [doi]

2005

2004

2003

The DIG Description Logic InterfaceSean Bechhofer, Ralf Möller, Peter Crowther. dlog 2003: [doi]

Racer: A Core Inference Engine for the Semantic WebVolker Haarslev, Ralf Möller. eon 2003: [doi]

Description Logic Systems with Concrete Domains: Applications for the Semantic WebVolker Haarslev, Ralf Möller. krdb 2003: [doi]

Incremental Query Answering for Implementing Document Retrieval ServicesVolker Haarslev, Ralf Möller. dlog 2003: [doi]

Unsupervised Learning of a Kinematic Arm ModelHeiko Hoffmann, Ralf Möller. icann 2003: 463-470 [doi]

Graphical Interfaces for Racer: Querying DAML+OIL and RDF DocumentsRalf Möller, Ronald Cornet, Volker Haarslev. dlog 2003: [doi]

Description Logic SystemsRalf Möller, Volker Haarslev. dlog 2003: 282-305

Description Logics for the Semantic Web: Racer as a Basis for Building Agent SystemsRalf Möller, Volker Haarslev. ki, 17(3):10, 2003.

2002

Interlocking of learning and orthonormalization in RRLSARalf Möller. ijon, 49(1-4):429-433, 2002. [doi]

2001

Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001Carole A. Goble, Deborah L. McGuinness, Ralf Möller, Peter F. Patel-Schneider, editors, Volume 49 of CEUR Workshop Proceedings, CEUR-WS.org, 2001.

Description of the RACER System and its ApplicationsVolker Haarslev, Ralf Möller. dlog 2001: [doi]

RACER System DescriptionVolker Haarslev, Ralf Möller. cade 2001: 701-706 [doi]

Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description LogicsVolker Haarslev, Ralf Möller, Anni-Yasmin Turhan. cade 2001: 61-75 [doi]

Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number RestrictionsVolker Haarslev, Martina Timmann, Ralf Möller. dlog 2001: [doi]

Optimizing Reasoning in Description Logics with Qualified Number RestrictionsVolker Haarslev, Ralf Möller. dlog 2001: [doi]

High Performance Reasoning with Very Large Knowledge Bases: A Practical Case StudyVolker Haarslev, Ralf Möller. IJCAI 2001: 161-168

The Description Logic ALCNH::R+:: Extended with Concrete Domains: A Practically Motivated ApproachVolker Haarslev, Ralf Möller, Michael Wessel. cade 2001: 29-44 [doi]

2000

1999

RACE System DescriptionVolker Haarslev, Ralf Möller. dlog 1999: [doi]

On Terminological Default Reasoning about Spatial Information: Extended AbstractVolker Haarslev, Ralf Möller, Anni-Yasmin Turhan, Michael Wessel. dlog 1999: [doi]

A Description Logic with Concrete Domains and a Role-forming Predicate OperatorVolker Haarslev, Carsten Lutz, Ralf Möller. logcom, 9(3):351-384, 1999. [doi]

Applying an ALC ABox Consistency Tester to Modal Logic SAT ProblemsVolker Haarslev, Ralf Möller. tableaux 1999: 24-28

On Specifying Semantics of Visual Spatial Query LanguagesVolker Haarslev, Ralf Möller, Michael Wessel. vl 1999: 4-11 [doi]

An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description LogicsVolker Haarslev, Ralf Möller. dlog 1999: [doi]

Proceedings of the 1999 International Workshop on Description Logics (DL 99), Linköping, Sweden, July 30 - August 1, 1999Patrick Lambrix, Alexander Borgida, Maurizio Lenzerini, Ralf Möller, Peter F. Patel-Schneider, editors, Volume 22 of CEUR Workshop Proceedings, CEUR-WS.org, 1999.

Computing Probabilistic Least Common Subsumers in Description LogicsThomas Mantay, Ralf Möller, Alissa Kaplunova. ki 1999: 89-100 [doi]

Visual Homing in Analog HardwareRalf Möller. IJNS, 9(5):383-389, 1999. [doi]

Terminological Default Reasoning about Spatial Information: A First StepRalf Möller, Michael Wessel. cosit 1999: 189-204 [doi]

A neural model of landmark navigation in insectsRalf Möller, Marinus Maris, Dimitrios Lambrinos. ijon, 26-27:801-808, 1999. [doi]

1998

HAM-ALCVolker Haarslev, Ralf Möller, Anni-Yasmin Turhan. dlog 1998: [doi]

Implementing an ALCRP(D) ABox Reasoner - Progress ReportVolker Haarslev, Ralf Möller, Anni-Yasmin Turhan. dlog 1998: [doi]

Foundations of Spatioterminological Reasoning with Description LogicsVolker Haarslev, Carsten Lutz, Ralf Möller. kr 1998: 112-123

1997

Spatioterminological Reasoning: Subsumption Based on Geometrical InferencesVolker Haarslev, Ralf Möller. dlog 1997: [doi]

Defined Topological Relations in Description LogicsCarsten Lutz, Ralf Möller. dlog 1997: [doi]

1996

1994

Combining Spatial and Terminological ReasoningVolker Haarslev, Ralf Möller, Carsten Schröder. ki 1994: 142-153

1993

Visualisierung und Benutzungsschnittstellen: Anwendungen und ForschungsfragenRalf Möller. gi 1993: 322-327

1990

Layoutspezifikationen für komplexe graphische ObjekteRalf Möller, Volker Haarslev. graphik 1990: 78-91

PreviousNext