Click here for my publications at IFIS

Index

• 2013
• 2012
• 2011
• 2010
• 2009
• 2008
• 2007
• 2006
• 2005
• 2004
• 2003
• 2002
• 2001
• 2000
• 1999
• 1998
• 1997
• 1996
• 1994
• 1993
• 1992
• 1991
• 1990
• 1989 and older

Diego Calvanese, Martin Giese, Peter Haase, Ian Horrocks, Thomas Hubauer, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Herald Kllapi, Johan W. Klüwer, Manolis Koubarakis, Steffen Lamparter, Ralf Möller, Christian Neuenstadt, T. Nordtveit, Özgür L. Özçep, Mariano Rodriguez-Muro, Mikhail Roshchin, Domenico Fabio Savo, Michael Schmidt, Ahmet Soylu, Arild Waaler, and Dmitriy Zheleznyakov. Optique: OBDA Solutions for Big Data. In Proc. ESWC (Satellite Events), pages 293–295, 2013.
Bibtex entry  Paper (PDF)

Diego Calvanese, Martin Giese, Peter Haase, Ian Horrocks, Thomas Hubauer, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Herald Kllapi, Manolis Koubarakis, Steffen Lamparter, Ralf Möller, Christian Neuenstadt, Oezguer Oezcep, Mariano Rodriguez-Muro, Mikhail Roshchin, Marco Ruzzi, Domenico Fabio Savo, Michael Schmidt, Ahmet Soylu, Arild Waaler, and Dmitriy Zheleznyakov. The Optique Project: Towards OBDA Systems for Industry (Short Paper). In Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013.
Bibtex entry  Paper (PDF)

Robert J. Hendley, Russell Beale, Chris P. Bowers, Christos Georgousopoulos, Charalampos Vassiliou, Petridis Sergios, Ralf Moeller, Eric Karstens, and Dimitris Spiliotopoulos. CASAM: collaborative human-machine annotation of multimedia. Multimedia Tools and Applications Journal (MTAP), March 2013.
Bibtex entry  Paper (PDF)

Ian Horrocks, Thomas Hubauer, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Manolis Koubarakis, Ralf Möller, Konstantina Bereta, Christian Neuenstadt, Özgür L. Özçep, Mikhail Roshchin, Panayiotis Smeros, and Dmitriy Zheleznyakov. Addressing Streaming and Historical Data in OBDA Systems: Optique's Approach. In Proceedings of the Second International Workshop on Knowledge Discovery and Data Mining Meets Linked Open Data, pages 33–40, 2013.
Bibtex entry  Paper (PDF)

Ralf Möller, Christian Neuenstadt, Özgür L. Özçep, and Sebastian Wandelt. Advances in Accessing Big Data with Expressive Ontologies. In Proc. 26th International Workshop on Description Logics, 2013.
Bibtex entry  Paper (PDF)

Ralf Möller, Christian Neuenstadt, Özgür L. Özçep, and Sebastian Wandelt. Advances in Accessing Big Data with Expressive Ontologies. In KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, pages 118–129, 2013.
Bibtex entry  Paper (PDF)

Özgür L. Özçep and Ralf Möller. Spatial Semantics for Concepts. In Intern. Workshop on Description Logics, 2013.
Bibtex entry Paper (PDF)

Georgios Petasis, Ralf Möller, and Vangelis Karkaletsis. BOEMIE: Reasoning-based Information Extraction. In Proceedings of the 1st Workshop on Natural Language Processing and Automated Reasoning co-located with 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), pages 60–75, 2013.
Bibtex entry  Paper (PDF)

Volker Haarslev, Kay Hidde, Ralf Möller, and Michael Wessel. The RacerPro knowledge representation and reasoning system. Semantic Web Journal, 3(3):267–277, 2012.
Bibtex entry  Abstract  Paper (PDF)

Özgür L. Özçep, Rolf Grütter, and Ralf Möller. Dynamics of a Nearness Relation—First Results. In Mehul Bhatt, Hans W. Guesgen, and Ernest Davis, editors, Proceedings of the International Workshop on Spatio-Temporal Dynamics (STeDy 2012), 2012.
Bibtex entry  Abstract  Paper (PDF)

Özgür L. Özçep, Rolf Grütter, and Ralf Möller. Nearness Rules and Scaled Proximity. In Proc. ECAI 2012, 20th European Conference on Artificial Intelligence, pages 636–641, 2012.
Bibtex entry  Abstract  Paper (PDF)

Özgür L. Özçep, Rolf Grütter, and Ralf Möller. Nearness Rules and Scaled Proximity. Technical report (extended version of a paper accepted for publication at ECAI 2012), Institute for Softwaresysteme (STS), Hamburg University of Technology, 2012. Available online at http://www.sts.tu-harburg.de/tech-reports/papers.html.
Bibtex entry  Abstract  Paper (PDF)

Özgür L. Özçep and Ralf Möller. Combining DL-Lite with Spatial Calculi for Feasible Geo-thematic Query Answering. In Yevgeny Kazakov, Domenico Lembo, and Frank Wolter, editors, Proceedings of the 25th Iternational Workshop on Description Logics (DL 2012), volume 846, 2012.
Bibtex entry  Abstract  Paper (PDF)

Özgür Lütfü Özçep and Ralf Möller. Computationally Feasible Query Answering over Spatio-thematic Ontologies. In Prof. The Fourth International Conference on Advanced Geographic Information Systems, Applications, and Services, GEOProcessing 2012, 2012.
Bibtex entry  Abstract  Paper (PDF)

Özgür Lütfü Özçep and Ralf Möller. Scalable Geo-thematic Query Answering. In Proc. International Semantic Web Conference (ISWC 2012), pages 658–673, 2012.
Bibtex entry  Abstract  Paper (PDF)

Sebastian Wandelt and Ralf Möller. Towards ABox Modularization of Semi-expressive Description Logics. Journal of Applied Ontology, 7(2):133–167, 2012.
Bibtex entry  Abstract  Paper (PDF)

Sofia Espinosa, Atila Kaya, and Ralf Möller. Knowledge-Driven Multimedia Information Extraction and Ontology Evolution, volume 6050 of LNCS, chapter Logical Formalization of Multimedia Interpretation, pages 110–133. Springer, 2011.
Bibtex entry  Abstract  Paper (PDF)

Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, and Sebastian Wandelt. Dealing Efficiently with Ontology-Enhanced Linked Data for Multimedia. Technical report, Hamburg University of Technology, 2011.
Bibtex entry  Abstract  Paper (PDF)

Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, and Michael Wessel. Media Interpretation and Companion Feedback for Multimedia Annotation. Technical report, Hamburg University of Technology, 2011.
Bibtex entry  Abstract  Paper (PDF)

Ralf Möller. Zur Rolle der Logik bei der Entwicklung Intelligenter Systeme. KI-Zeitschrift, 25(4):309–311, 2011.
Bibtex entry  Paper (PDF)

Özgür L. Özçep and Ralf Möller. Combining Lightweight Description Logics with the Region Connection Calculus. Technical report, Institute for Softwaresystems (STS), Hamburg University of Technology, 2011. Available online at http://www.sts.tu-harburg.de/tech-reports/papers.html.
Bibtex entry  Paper (PDF)

Didier Verna and Ralf Möller, editors. Proc. European Lisp Symposium. Hamburg University of Technology, 2011.
Bibtex entry  Paper (PDF)

Sebastian Wandelt and Ralf Möller. Islands and Query Answering for ALCHI-Ontologies. In Proc. Third International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, Heidelberg, Germany, volume 128 of CCIS, pages 224–236. Springer, 2011.
Bibtex entry  Paper (PDF)

Sebastian Wandelt and Ralf Möller. Sound and Complete SHI Instance Retreival for 1 Billion ABox Assertions. In A. Fokuoe, Th. Liebig, and Y. Guo, editors, Workshop on Scalable Semantic Web Systems, pages 75–89, 2011.
Bibtex entry  Abstract  Paper (PDF)

O. Gries and R. Möller. Gibbs Sampling in Probabilistic Description Logics with Deterministic Dependencies. In Thomas Lukasiewicz, Rafael Penaloza, and Anni-Yasmin Turhan, editors, Proc. International Workshop on Uncertainty in Description Logics (UnIDL-2010), 2010.
Bibtex entry  Abstract  Paper (PDF)

Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, and Michael Wessel. Meta-level reasoning engine, Report on meta-level reasoning for disambiguation and preference elicitation. Technical report, CASAM Project Deliverable D3.4, 2010.
Bibtex entry  Abstract  Paper (PDF)

Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, and Michael Wessel. A Probabilistic Abduction Engine for Media Interpretation. In Thomas Lukasiewicz, Rafael Penaloza, and Anni-Yasmin Turhan, editors, Proc. International Workshop on Uncertainty in Description Logics (UnIDL-2010), 2010.
Bibtex entry  Abstract  Paper (PDF)

Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, and Michael Wessel. A Probabilistic Abduction Engine for Media Interpretation based on Ontologies. In J. Alferes, P. Hitzler, and Th. Lukasiewicz, editors, Proc. International Conference on Web Reasoning and Rule Systems (RR-2010), 2010.
Bibtex entry  Abstract  Paper (PDF)

Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, and Michael Wessel. A Probabilistic Abduction Engine for Media Interpretation (Extended Version). Technical report, Hamburg University of Technology, 2010.
Bibtex entry  Abstract  Paper (PDF)

Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, and Michael Wessel. Probabilistic abduction engine: Report on algorithms and the optimization techniques used in the implementation. Technical report, CASAM Project Deliverable D3.3, 2010.
Bibtex entry  Abstract  Paper (PDF)

Alissa Kaplunova, Ralf Moeller, Sebastian Wandelt, and Michael Wessel. Towards Scalable Instance Retrieval over Ontologies. In Bi Yaxin and Williams Mary-Anne, editors, Knowledge Science, Engineering and Management, Fourth International Conference, KSEM 2010, Proceedings, volume 6291 of Lecture Notes in Computer Science. Springer, 2010.
Bibtex entry  Abstract  Paper (PDF)

S. Wandelt and R. Möller. Distributed Island-based Query Answering for Expressive Ontologies. In Volker Haarslev, David Toman, and Grant Weddell, editors, Proceedings of the 2010 International Workshop on Description Logics (DL2010), volume 573 of CEUR-WS, pages 185–196, 2010.
Bibtex entry  Abstract  Paper (PDF)

S. Wandelt and R. Möller. Sound Summarizations for Alchi Ontologies - How to Speedup Instance Checking and Instance Retrieval. In Second International Conference on Agents and Artificial Intelligence (ICAART). INSTICC Press, 2010.
Bibtex entry  Abstract  Paper (PDF)

Sebastian Wandelt and Ralf Möller. Distributed Island-Based Query Answering for Expressive Ontologies. In Paolo Bellavista, Ruay-Shiung Chang, Han-Chieh Chao, Shin-Feng Lin, and Peter M. A. Sloot, editors, Advances in Grid and Pervasive Computing, 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings, volume 6104 of Lecture Notes in Computer Science, pages 461–470. Springer, 2010.
Bibtex entry  Abstract  Paper (PDF)

Sebastian Wandelt and Ralf Möller. Distributed Island-based Query Answering for Semi-Expressive Ontologies (Extended Version). Technical report, Hamburg University of Technology, 2010.
Bibtex entry  Abstract  Paper (PDF)

Sebastian Wandelt, Ralf Möller, and Michael Wessel. Towards Scalable Instance Retrieval over Ontologies (Extended Version). Journal of Software and Informatics, 2010.
Bibtex entry  Abstract  Paper (PDF)

S. Espinosa, A. Kaya, and R. Möller. The BOEMIE Semantic Browser: A Semantic Application Exploiting Rich Semantic Metadata. In Proceedings of the Applications of Semantic Technologies Workshop (AST-2009), Lübeck, Germany, 2009.
Bibtex entry  Abstract  Paper (PDF)

S. Espinosa, A. Kaya, and R. Möller. Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes. In Proc. of the 2009 International Workshop on Description Logics DL- 2009, 27 to 30 July 2009, Oxford, United Kingdom, 2009. CEUR Workshop Proceedings (Vol. 477).
Bibtex entry  Abstract  Paper (PDF)

J. Faddoul, V. Haarslev, and R. Möller. Algebraic Tableau Algorithm for ALCOQ. In Proc. of the 2009 International Workshop on Description Logics DL- 2009, 27 to 30 July 2009, Oxford, United Kingdom, 2009. CEUR Workshop Proceedings (Vol. 477).
Bibtex entry  Paper (PDF)

O. Gries, R. Möller, A. Nafissi, K. Sokolski, and M. Rosenfeld. Basic reasoning engine: Report on optimization techniques for first-order probabilistic reasoning. Technical report, Hamburg University of Technology, 2009.
Bibtex entry  Abstract  Paper (PDF)

O. Gries, R. Möller, A. Nafissi, K. Sokolski, and M. Rosenfeld. CASAM Domain Ontology. Technical report, Hamburg University of Technology, 2009.
Bibtex entry  Abstract  Paper (PDF)

O. Gries, R. Möller, A. Nafissi, K. Sokolski, and M. Rosenfeld. Formalisms Supporting First-order Probabilistic Structures. Technical report, Hamburg University of Technology, 2009.
Bibtex entry  Abstract  Paper (PDF)

R. Möller and V. Haarslev. Tableaux-based Reasoning. In S. Staab and R. Studer, editors, Handbook of Ontologies, pages 509–528. Springer, 2009.
Bibtex entry  Abstract  Paper (PDF)

S. Wandelt and R. Möller. Updatable Island Reasoning over ALCHI Ontologies. In Conference on Knowledge Engineering and Ontology Development (KEOD), 2009. CEUR Workshop Proceedings (Vol. 477).
Bibtex entry  Abstract  Paper (PDF)

M. Wessel, M. Luther, and R. Möller. What Happened to Bob? Semantic Data Mining of Context Histories. In Proc. of the 2009 International Workshop on Description Logics DL- 2009, 27 to 30 July 2009, Oxford, United Kingdom, 2009. CEUR Workshop Proceedings (Vol. 477).
Bibtex entry  Paper (PDF)

S. Castano, S. Espinosa, A. Ferrara, V. Karkaletsis, A. Kaya, R. Möller, S. Montanelli, G. Petasis, and M. Wessel. Multimedia Interpretation for Dynamic Ontology Evolution. In Journal of Logic and Computation, volume 19, pages 859–897. Oxford University Press, 2008.
Bibtex entry  Abstract  Paper (PDF)

S. Castano, A. Ferrara, D. Lorusso, T. H. Näth, and R. Möller. Mapping Validation by Probabilistic Reasoning. In Proc. 5th European Semantic Web Conference (ESWC 2008).
Bibtex entry  Abstract  Paper (PDF)

A. G. Cohn, D. C. Hogg, R. Möller, and B. Neumann, editors. Logic and Probability for Scene Interpretation. Dagstuhl Seminar Proceedings, 2008.
Bibtex entry

J. Faddoul, N. Farsinia, V. Haarslev, and R. Möller. A Hybrid Tableau Algorithm for ALCQ. In Proceedings of the 18th European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, July 21-25, pages 725–726, 2008.
Bibtex entry  Abstract  Paper (PDF)

J. Faddoul, N. Farsinia, V. Haarslev, and R. Möller. A Hybrid Tableau Algorithm for ALCQ. In Proceedings of the 2008 International Workshop on Description Logics (DL-2008), Dresden, Germany, May 13-16, 2008.
Bibtex entry  Abstract  Paper (PDF)

Jocelyne Faddoul, Volker Haarslev, and Ralf Möller. Hybrid Reasoning for Description Logics with Nominals and Qualified Number Restrictions. Technical report, Institute for Software Systems (STS), Hamburg University of Technology, Germany, 2008. See http://www.sts.tu-harburg.de/tech-reports/papers.html.
Bibtex entry  Paper (PDF)

Miguel Garcia and Ralf Möller. Incremental evaluation of OCL invariants in the Essential MOF object model. In Thomas Kühne, Wolfgang Reisig, and Friedrich Steimann, editors, Modellierung 2008, volume 127 of GI-Edition Lecture Notes in Informatics, pages 11–26, 2008.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. On the Scalability of Description Logic Instance Retrieval. Journal of Automated Reasoning, 41(2):99–142, 2008.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. The revival of structural subsumption in tableau-based description logic reasoners. In Proceedings of the 2008 International Workshop on Description Logics (DL-2008), 2008.
Bibtex entry  Abstract  Paper (PDF)

R. Möller and B. Neumann. Ontology-based Reasoning Techniques for Multimedia Interpretation and Retrieval. In Semantic Multimedia and Ontologies : Theory and Applications, pages 55–98. 2008.
Bibtex entry  Paper (PDF)

T. Näth and R. Möller. ContraBovemRufum: A System for Probabilistic Lexicographic Entailment. In Proc. 21st International Workshop on Description Logics (DL2008), 2008.
Bibtex entry

S. Espinosa Peraldi, A. Kaya, S. Melzer, and R. Möller. On Ontology Based Abduction for Text Interpretation. In A. Gelbukh, editor, Proc. of 9th International Conference on Intelligent Text Processing and Computational Linguistics (CICLing-2008), number 4919 in LNCS, pages 194–205. Springer, 2008.
Bibtex entry  Abstract  Paper (PDF)

S. Wandelt and R. Möller. Island Reasoning for ALCHI Ontologies. In C. Eschenbach and M. Gr"uninger, editors, Proceedings of the Fifth International Conference on Formal Ontology in Information Systems (FOIS'08), pages 164–177. IOS Press, 2008.
Bibtex entry  Abstract  Paper (PDF)

M. Wessel and R. Möller. Software Abstractions for Description Logic Systems. In Proceedings of the 5th European Lisp Workshop (ELW'08), 2008.
Bibtex entry  Abstract  Paper (PDF)

F. Baader, R. Bernardi, D. Calvanese, A. Calì, B. Cuenca Grau, M. Garcia, G. De Giacomo, A. Kaplunova, O. Kutz, D. Lembo, M. Lenzerini, L. Lubyte, C. Lutz, M. Milicic, R. Möller, B. Parsia, R. Rosati, U. Sattler, B. Sertkaya, S. Tessaris, C. Thorne, and A.-Y. Turhan. D13: Techniques for Ontology Design and Maintenance. Project deliverable, TONES, 2007. http://www.tonesproject.org.
Bibtex entry  Abstract  Paper (PDF)

T. Berger, A. Kaplunova, A. Kaya, and R. Möller. Towards a Scalable and Efficient Middleware for Instance Retrieval Inference Services. In International Workshop on OWL: Experiences and Directions (OWLED 2007), 2007.
Bibtex entry  Abstract  Paper (PDF)

D. Calvanese, P. Dongilli, G. De Giacomo, A. Kaplunova, D. Lembo, M. Lenzerini, R. Möller, R. Rosati, S. Tessaris, M. Wessel, and I. Zorzi. D21: Software Tools for Ontology Access, Processing, and Usage. Project deliverable, TONES, 2007. http://www.tonesproject.org.
Bibtex entry  Paper (PDF)

D. Calvanese, G. De Giacomo, B. Glimm, B. C. Grau, V. Haarslev, I. Horrocks, A. Kaplunova, D. Lembo, M. Lenzerini, C. Lutz, M. Milicic, R. Möller, R. Rosati, U. Sattler, and M. Wessel. D18: Techniques for Ontology Access, Processing, and Usage. Project deliverable, TONES, 2007. http://www.tonesproject.org.
Bibtex entry  Abstract  Paper (PDF)

D. Calvanese, G. De Giacomo, B. C. Grau, A. Kaplunova, D. Lembo, M. Lenzerini, R. Möller, R. Rosati, U. Sattler, B. Sertkaya, B. Suntisrivaraporn, S. Tessaris, A.-Y. Turhan, and S. Wandelt. D14: Ontology-Based Services: Usage Scenarios and Test Ontologies. Project deliverable, TONES, 2007. http://www.tonesproject.org.
Bibtex entry  Abstract  Paper (PDF)

D. Calvanese, B. Cuenca Grau, E. Franconi, I. Horrocks, A. Kaplunova, C. Lutz, R. Möller, B. Sertkaya, S. Tessaris, and A.-Y. Turhan. D15: Software Tools for Ontology Design and Maintenance. Project deliverable, TONES, 2007. http://www.tonesproject.org.
Bibtex entry  Abstract  Paper (PDF)

S. Castano, S. Espinosa, A. Ferrara, V. Karkaletsis, A. Kaya, S. Melzer, R. Möller, and G. Petasis. Ontology Dynamics with Multimedia Information: The BOEMIE Evolution Methodology. In International Workshop on Ontology Dynamics, 2007.
Bibtex entry  Abstract  Paper (PDF)

S. Espinosa, V. Haarslev, A. Kaplunova, A. Kaya, S. Melzer, R. Möller, and M. Wessel. Reasoning Engine Version 1 and State of the Art in Reasoning Techniques. Technical report, Hamburg University Of Technology, 2007. BOEMIE Project Deliverable D4.2.
Bibtex entry  Paper (PDF)

S. Espinosa, A. Kaya, S. Melzer, R. Möller, T. Näth, and M. Wessel. Reasoning Engine Version 2. Technical report, Hamburg University Of Technology, 2007. BOEMIE Project Deliverable D4.5.
Bibtex entry  Paper (PDF)

M. Garcia and R. Möller. Certification of Transformations Algorithms in Model-Driven Software Development. In W.-G. Bleek, J. Räsch, and H. Züllighoven, editors, Software Engineering 2007, volume 105 of GI-Edition Lecture Notes in Informatics, pages 107–118, 2007.
Bibtex entry  Abstract  Paper (PDF)

Miguel Garcia, Alissa Kaplunova, and Ralf Möller. Model Generation in Description Logics: What Can We Learn From Software Engineering?. Technical report, Institute for Software Systems (STS), Hamburg University of Technology, Germany, 2007. See http://www.sts.tu-harburg.de/tech-reports/papers.html.
Bibtex entry  Abstract  Paper (PDF)

G. De Giacomo, E. Franconi, B. Cuenca Grau, V. Haarslev, A. Kaplunova, A. Kaya, D. Lembo, C. Lutz, M. Milicic, R. Möller, U. Sattler, B. Sertkaya, B. Suntisrivaraporn, A.-Y. Turhan, S. Wandelt, and M. Wessel. D23: Analysis of Test Results on Individual Test Ontologies. Project deliverable, TONES, 2007. http://www.tonesproject.org.
Bibtex entry  Paper (PDF)

A. Kaplunova, R. Möller, and M. Wessel. Leveraging the Expressivity of Grounded Conjunctive Query Languages. In Proc. International Workshop on Scalable Semantic Web Systems, 2007.
Bibtex entry  Paper (PDF)

Alissa Kaplunova and Ralf Möller. Probabilistic LCS in a P-Classic Implementation. Technical report, Institute for Software Systems (STS), Hamburg University of Technology, Germany, 2007. See http://www.sts.tu-harburg.de/tech-reports/papers.html.
Bibtex entry  Abstract  Paper (PDF)

B. Neumann and R. Möller. On Scene Interpretation with Description Logics. Image and Vision Computing, Special Issue on Cognitive Vision, 2007. to appear.
Bibtex entry  Paper (PDF)

S. Espinosa Peraldi, A. Kaya, S. Melzer, R. Möller, and M. Wessel. Multimedia Interpretation as Abduction. In Proc. DL-2007: International Workshop on Description Logics, 2007.
Bibtex entry  Abstract  Paper (PDF)

S. Espinosa Peraldi, A. Kaya, S. Melzer, R. Möller, and M. Wessel. Towards a Media Interpretation Framework for the Semantic Web. In Janusz Kacprzyk Rajeev Motwani Andrei Broder Howard Ho Tsau Young (T.Y.) Lin, Laura Haas, editor, Proc. of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence (WI`07), number 1331876, pages 374–380. IEEE Computer Society, OPTnote = , OPTannote = , 2007.
Bibtex entry  Abstract  Paper (PDF)

C. Schultz and R. Möller. Quantifier Elimination of Real Closed Fields in the Context of Applied Description Logic. Verlag Dr. Müller, 2007.
Bibtex entry  Abstract  Paper (PDF)

S. Wandelt and R. Möller. Scalability of OWL Reasoning: Role condensates. In Proc. International Workshop on Scalable Semantic Web Systems, 2007.
Bibtex entry  Abstract  Paper (PDF)

M. Wessel and R. Möller. Design Principles and Realization Techniques for User Friendly, Interactive, and Scalable Ontology Browsing and Inspection Tools. In International Workshop on OWL: Experiences and Directions (OWLED 2007), 2007.
Bibtex entry  Abstract  Paper (PDF)

M. Wessel and R. Möller. Flexible Software Architectures for Ontology-Based Information Systems. Journal of Applied Logic, Special Issue on Emperically Sucessful Systems (2007), 2007. to appear.
Bibtex entry  Abstract  Paper (PDF)

F. Baader, D. Calvanese, G. De Giacomo, P. Fillottrani, E. Franconi, B. Cuenca Grau, I. Horrocks, A. Kaplunova, D. Lembo, M. Lenzerini, C. Lutz, R. Moeller, B. Parsia, P. Patel-Schneider, R. Rosati, B. Suntisrivaraporn, and S. Tessaris. Formalisms for Representing Ontologies: State of the Art Survey, May 2005.
Bibtex entry  Abstract  Paper (PDF)

D. Calvanese, B. Cuenca Grau, G. De Giacomo, I. Horrocks E. Franconi1, A. Kaplunova, D. Lembo, M. Lenzerini, C. Lutz, D. Martinenghi, R. Moeller, R. Rosati, S. Tessaris, and A.-Y. Turhan. Common Framework for Representing Ontologies, July 2006.
Bibtex entry  Abstract  Paper (PDF)

Diego Calvanese, Enrico Franconi, Birte Glimm, Bernardo Cuenca Grau, Ian Horrocks, Alissa Kaplunova, Domenico Lembo, Maurizio Lenzerini, Carsten Lutz, Ralf Moeller, Riccardo Rosati, Ulrike Sattler, Sergio Tessaris, and Anni-Yasmin Turhan. State of the Art Survey Deliverable D01, December 2005.
Bibtex entry  Abstract  Paper (PDF)

Diego Calvanese, Enrico Franconi, Birte Glimm, Bernardo Cuenca Grau, Ian Horrocks, Alissa Kaplunova, Domenico Lembo, Maurizio Lenzerini, Carsten Lutz, Ralf Moeller, Riccardo Rosati, Ulrike Sattler, Sergio Tessaris, and Anni-Yasmin Turhan. Tasks for Ontology Access, Processing, and Usage, August 2006.
Bibtex entry  Abstract  Paper (PDF)

S. Castano, K. Dalakleidi, S. Dasiopoulou, S. Espinosa, A. Ferrara, G. N. Hess, V. Karkaletsis, A. Kaya, S. Melzer, R. Möller, S. Montanelli, and G. Petasis. Methodology and Architecture for Multimedia Ontology Evolution. Technical report, BOEMIE Project Deliverable D4.1, 2006.
Bibtex entry  Paper (PDF)

Enrico Franconi (editor), Sergio Tessaris, Bernardo Cuenca Grau, Boontawee Suntisrivaraporn, Carsten Lutz, Ralf Moeller, and Domenico Lembo. Revised Ontology Task Handbook, 2006.
Bibtex entry  Abstract  Paper (PDF)

Sofia Espinosa and Ralf Möller. Cost-efficient web service composition for processes with distributed retrieval queries: Position paper. In Proc. of the 2006 International Workshop on Description Logics DL'06, 2006.
Bibtex entry  Paper (PDF)

Alissa Kaplunova, Atila Kaya, and Ralf Möller. Experiences with Load Balancing and Caching for Semantic Web Applications. In Proc. of the 2006 International Workshop on Description Logics DL'06, 2006.
Bibtex entry  Paper (PDF)

Alissa Kaplunova, Atila Kaya, and Ralf Möller. First Experiences with Load Balancing and Caching for Semantic Web Applications. Technical report, Institute for Software Systems (STS), Hamburg University of Technology, Germany, 2006. See http://www.sts.tu-harburg.de/papers/techreports.html.
Bibtex entry  Abstract  Paper (PDF)

C. Lutz, F. Baader, E. Franconi, D. Lembo, R. Möller, R. Rosati, U. Sattler, B. Suntisrivaraporn, and S. Tessaris. Reasoning Support for Ontology Design. In B. Coence Grau, P. Hitzler, C. Shankey, and E. Wallace, editors, OWL: Experiences and Directions 2006, 2006.
Bibtex entry  Abstract  Paper (PDF)

Sylvia Melzer and Ralf Möller. How sensor data interpretation could benefit from description logics: Position paper. In Proc. of the 2006 International Workshop on Description Logics DL'06, 2006.
Bibtex entry  Paper (PDF)

Ralf Möller, Volker Haarslev, and Michael Wessel. On the Scalability of Description Logic Instance Retrieval. In Chr. Freksa and M. Kohlhase, editors, 29. Deutsche Jahrestagung für Künstliche Intelligenz, Lecture Notes in Artificial Intelligence. Springer Verlag, 2006.
Bibtex entry  Abstract  Paper (PDF)

Ralf Möller, Volker Haarslev, and Michael Wessel. On the Scalability of Description Logic Instance Retrieval. In Proc. of the 2006 International Workshop on Description Logics DL'06, 2006.
Bibtex entry  Paper (PDF)

B. Neumann and R. Möller. On Scene Interpretation with Description Logics. In H.I. Christensen and H.-H. Nagel, editors, Cognitive Vision Systems: Samping the Spectrum of Approaches, number 3948 in LNCS, pages 247–278. Springer, 2006.
Bibtex entry  Abstract  Paper (PDF)

S. Petridis, N. Tsapatsoulis, D. Kosmopoulos, Y. Pratikakis, V. Gatos, S. Perantonis, G. Petasis, P. Fragou, V. Karkaletsis, K. Biatov, C. Seibert, S. Espinosa, S. Melzer, A. Kaya, and R. Möller. Methodology for Semantics Extraction from Multimedia Content. Technical report, BOEMIE Project Deliverable D2.1, 2006.
Bibtex entry  Paper (PDF)

Anni-Yasmin Turhan, Sean Bechhofer, Alissa Kaplunova, Thorsten Liebig, Marko Luther, Ralf Moeller, Olaf Noppens, Peter Patel-Schneider, Boontawee Suntisrivaraporn, and Timo Weithoener. DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners. In B. Coence Grau, P. Hitzler, C. Shankey, and E. Wallace, editors, OWL: Experiences and Directions 2006, 2006.
Bibtex entry  Paper (PDF)

M. Wessel and R. Möller. A Flexible DL-based Architecture for Deductive Information Systems. In G. Sutcliffe, R. Schmidt, and S. Schulz, editors, Proc. IJCAR-06 Workshop on Empirically Successful Computerized Reasoning (ESCoR), pages 92–111, 2006.
Bibtex entry  Paper (PDF)

J. Galinski, A. Kaya, and R. Möller. Development of a server to support the formal semantic web query language OWL-QL. In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International Workshop on Description Logics, 2005.
Bibtex entry  Paper (PDF)

V. Haarslev, R. Möller, and M. Wessel. Description Logic Inference Technology: Lessons Learned in the Trenches. In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International Workshop on Description Logics, 2005.
Bibtex entry  Abstract  Paper (PDF)

C. Schultz and R. Möller. Quantifier Elimination over Real Closed Fields in the Context of Applied Description Logics. Technical Report FBI-HH-M-333/05, University of Hamburg, Computer Science Department, 2005.
Bibtex entry  Abstract  Paper (PDF)

M. Wessel and R. Möller. A High Performance Semantic Web Query Answering Engine. In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International Workshop on Description Logics, 2005.
Bibtex entry  Abstract  Paper (PDF)

S. Bechhofer, V. Haarslev, C. Lutz, and R. Möller, editors. KI-2004 Workshop on Applications of Description Logics (ADL'04), 2004. Available at CEUR Workshop Proceedings</A>.
Bibtex entry

V. Haarslev and R. Möller, editors. International Workshop on Description Logics (DL2004), 2004. Available as CEUR Workshop Proceedings</A>.
Bibtex entry  Paper (PDF)

V. Haarslev and R. Möller. Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. In Ninth International Conference on the Principles of Knowledge Representation and Reasoning, KR 2004, Whistler, BC, Canada, June 2-5, pages 163–173, 2004.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev, R. Möller, R. van der Straeten, and M. Wessel. Extended Query Facilities for Racer and an Application to Software-Engineering Problems. In Proceedings of the 2004 International Workshop on Description Logics (DL-2004), Whistler, BC, Canada, June 6-8, pages 148–157, 2004.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev, R. Möller, and M. Wessel. Querying the Semantic Web with Racer + nRQL. In Proceedings of the KI-2004 International Workshop on Applications of Description Logics (ADL'04), Ulm, Germany, September 24, 2004.
Bibtex entry  Abstract  Paper (PDF)

R. Möller, V. Haarslev, and B. Neumann. Expressive Description Logics for Agent-Based Information Retrieval. In Y J. Cuena, Demazeau, A. Garcia, and J. Treur, editors, Knowledge Engineering and Agent Technology, Volume 52, Frontiers in Artificial Intelligence and Applications. IOS Press, 2004.
Bibtex entry  Abstract  Paper (PDF)

B. Neumann and R. Möller. On Scene Interpretation with Description Logics. Technical Report FBI-B-257/04, University of Hamburg, Computer Science Department, 2004.
Bibtex entry  Abstract  Paper (PDF)

S. Bechhofer, R. Möller, and P. Crowther. The DIG Description Logic Interface. In Proceedings of the International Workshop on Description Logics (DL-2003), Rome, Italy, September 5-7, 2003.
Bibtex entry  Paper (PDF)

V. Haarslev and R. Möller. Description Logic Systems with Concrete Domains: Applications for the Semantic Web. In Proceedings of the International Workshop on Knowledge Representation meets Databases (KRDB-2003), Hamburg, Germany, September 15-1, 2003.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. Incremental Query Answering for Implementing Document Retrieval Services. In Proceedings of the International Workshop on Description Logics (DL-2003), Rome, Italy, September 5-7, pages 85–94, 2003.
Bibtex entry  Paper (PDF)

V. Haarslev and R. Möller. Racer: A Core Inference Engine for the Semantic Web. In Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools (EON2003), located at the 2nd International Semantic Web Conference ISWC 2003, Sanibel Island, Florida, USA, October 20, pages 27–36, 2003.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. Racer: An OWL Reasoning Agent for the Semantic Web. In Proceedings of the International Workshop on Applications, Products and Services of Web-based Support Systems, in conjunction with the 2003 IEEE/WIC International Conference on Web Intelligence,Halifax, Canada, October 13, pages 91–95, 2003.
Bibtex entry  Paper (PDF)

R. Möller and V. Haarslev. Description Logic Systems. In F. Baader and D. Nardi P. Patel-Schneider D. Calvanese, D. McGuinness, editors, The Description Logic Handbook, chapter 8, pages 282–305. Cambridge University Press, 2003.
Bibtex entry

R. Möller and V. Haarslev. Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems. Künstliche Intelligenz, pages 10–15, 2003.
Bibtex entry  Paper (PDF)

G. Görz, V. Haarslev, C. Lutz, and R. Möller, editors. ADL-2002: KI-2002 Workshop on Applications of Description Logics, 2002.
Bibtex entry  Paper (PDF)

V. Haarslev and R. Möller. Optimization Strategies for Instance Retrieval. In Proceedings of the International Workshop on Description Logics (DL-2002), Toulouse, France, April 19-21, pages 83–90, 2002.
Bibtex entry

V. Haarslev and R. Möller. Practical Reasoning in RACER with a Concrete Domain for Linear Inequations. In Proceedings of the International Workshop on Description Logics (DL-2002), Toulouse, France, April 19-21, pages 91–98, 2002.
Bibtex entry  Abstract  Paper (PDF)

A. Kaplunova, V. Haarslev, and R. Möller. Optimization Strategies for Instance Retrieval. In Proceedings of the International Workshop on Description Logics (DL-2002), Toulouse, France, April 19-21, pages 45–52, 2002.
Bibtex entry

R. Möller. Grundlagen für Anwendungen: Ausdrucksstarke Beschreibungslogiken. Auditorium, Jahresschrift 2001, Fachhochschule Wedel, Univ. of Applied Sciences, 2001.
Bibtex entry  Paper (PDF)

G. Görz, V. Haarslev, C. Lutz, and R. Möller, editors. ADL-2001: KI-2001 Workshop on Applications of Description Logics, 2001.
Bibtex entry  Paper (PDF)

V. Haarslev and R. Möller. Description of the RACER System and its Applications. In Proceedings International Workshop on Description Logics (DL-2001), Stanford, USA, 1.-3. August, pages 131–141, 2001.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study. In B. Nebel, editor, Proceedings of Seventeenth International JointÊ Conference on Artificial Intelligence, IJCAI-01, pages 161–166, 2001.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. Optimizing Reasoning in Description Logics with Qualified Number Restrictions. In Proceedings International Workshop on Description Logics (DL-2001), Stanford, USA, 1.-3. August, pages 142–151, 2001.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. RACER System Description. In R. Goré, A. Leitsch, and T. Nipkow, editors, International Joint Conference on Automated Reasoning, IJCAR'2001, June 18-23, Siena, Italy, pages 701–705. Springer-Verlag, 2001.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

V. Haarslev and R. Möller. RACER User's Guide and Reference Manual Version 1.6. Technical report, University of Hamburg, Computer Science Department, 2001.
Bibtex entry  Paper (PDF)

V. Haarslev, R. Möller, and A.Y. Turhan. Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics. In R. Goré, A. Leitsch, and T. Nipkow, editors, International Joint Conference on Automated Reasoning, IJCAR'2001, June 18-23, Siena, Italy, pages 29–44. Springer-Verlag, 2001.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

V. Haarslev, R. Möller, and M. Wessel. The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach. In R. Goré, A. Leitsch, and T. Nipkow, editors, International Joint Conference on Automated Reasoning, IJCAR'2001, June 18-23, Siena, Italy, pages 29–44. Springer-Verlag, 2001.
Bibtex entry  Abstract  Paper (PDF)  ©Springer-Verlag

V. Haarslev, R. Möller, and M. Wessel. Visual Spatial Query Languages: A Semantics Using Description Logic. In P. Olivier, M. Anderson, and B. Meyer, editors, Diagrammatic Representation and Reasoning. Springer-Verlag, 2001.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev, M. Timmann, and R. Möller. Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. In Proceedings International Workshop on Description Logics (DL-2001), Stanford, USA, 1.-3. August, pages 152–161, 2001.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev, M. Timmann, and R. Möller. Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions. In Proceedings of the International Workshop on Methods for Modalities 2 (M4M-2), Amsterdam, Netherlands, November 29-30, 2001.
Bibtex entry  Abstract  Paper (PDF)

A. Isli, V. Haarslev, and R. Möller. Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning. Technical Report FBI-HH-M-304/01, Fachbereich Informatik, Universitöt Hamburg, 2001.
Bibtex entry  Abstract  Paper (PDF)

R. Möller. Expressive Description Logics: Foundations for Practical Applications, Habilitation Thesis. University of Hamburg, Computer Science Department, July 2001.
Bibtex entry  Paper (PDF)

V. Haarslev and R. Möller. Consistency Testing: The RACE Experience. In Roy Dyckhoff, editor, Proc. of TABLEAUX'2000, International Conference, Automated Reasoning with Analytic Tableaux and Related Methods, St. Andrews, Scotland, UK, July 3-7, pages 57–61. Springer-Verlag, 2000.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. In Fausto Giunchiglia and Bart Selman, editors, Proceedings of Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), Breckenridge, Colorado, USA, 12-15 April, pages 273–284. Morgan Kaufmann, 2000.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. High Performance Reasoning with Very Large Knowledge Bases. In Proceedings of the International Workshop in Description Logics 2000 (DL2000), Aachen, Germany, pages 143–152, 2000.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. Optimizing TBox and ABox Reasoning with Pseudo Models. In Proceedings of the International Workshop in Description Logics 2000 (DL2000), Aachen, Germany, pages 153–162, 2000.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev, R. Möller, and M. Wessel. The Description Logic ALCNHR+ Extended with Concrete Domains. Technical Report FBI-HH-M-290/00, University of Hamburg, Computer Science Department, 2000.
Bibtex entry  Abstract  Paper (PDF)

M. Wessel, V. Haarslev, and R. Möller. ALCRA – ALC with Role Axioms. In Proceedings of the International Workshop in Description Logics 2000 (DL2000), Aachen, Germany, pages 267–276, 2000.
Bibtex entry  Abstract  Paper (PDF)

Proceedings of the International Workshop on Description Logics, Linkoeping, Sweden, 1999. Electronically available as CEUR Workshop Proceedings Volume 22.
Bibtex entry  Paper (PDF)

V. Haarslev, C. Lutz, and R. Möller. A Description Logic with Concrete Domains and a Role-forming Predicate Operator. Journal of Logic and Computation, 9(3):351–384, 1999.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems. In Neil Murray, editor, Proc. of TABLEAUX'99, The 6th International Conference on Theorem Proving with Analytic Tableaux andÊ Related Methods, Saratoga Springs, NY/USA, number 1617 in Lecture Notes in Artificial Intelligence, pages 24–28. Springer-Verlag, June 1999.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics. In roc. of DL99, International Workshop on Description Logics, Linköping, pages 115–119, 1999.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles. Technical report, University of Hamburg, Computer Science Department, Oct. 1999.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. RACE System Description. In Proc. of DL99, International Workshop on Description Logics, Linköping, pages 130–132, 1999.
Bibtex entry  Paper (PDF)

V. Haarslev, R. Möller, and A.-Y. Turhan. RACE User's Guide and Reference Manual Version 1.1. Technical report, University of Hamburg,Computer Science Department, 1999.
Bibtex entry  Abstract

V. Haarslev, R. Möller, and M. Wessel. On Specifying Semantics of Visual Spatial Query Languages. In Proceedings of the 15th IEEE Symposium on Visual Languages 1999, Sept. 13-16, Tokyo, Japan, pages 4–11. IEEE Press, 1999.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev, R. Möller, M. Wessel, and A.Y. Turhan. On Terminological Default Reasoning about Spatial Information: Extended Abstract. In Proc. of DL99, International Workshop on Description Logics, Linköping, pages 155–159, 1999.
Bibtex entry  Abstract  Paper (PDF)

Th. Mantay, R. Möller, and A. Kaplunova. Computing Probabilistic Least Common Subsumers in Description Logics. In Proceedings KI-99, 23. Deutsche Jahrestagung für Künstliche Intelligenz, pages 89–100. Springer-Verlag, 1999.
Bibtex entry  Abstract  Paper (PDF)

R. Möller, K. Hidde, R. Joswig, Th. Mantay, and B. Neumann. Bericht über das Projekt BAND: Benutzeradaptiver Netzinformationsdienst. Technical Report LKI-Memo LKI-M-99/01, Labor für Künstliche Intelligenz, Fachbereich Informatik, Universität Hamburg, 1999.
Bibtex entry  Abstract  Paper (PDF)

R. Möller, B. Neumann, and M. Wessel. Towards Computer Vision with Description Logics: Some Recent Progress. In Proceedings Integration of Speech and Image Understanding, Corfu, Greece, pages 101–115, 1999.
Bibtex entry  Abstract  Paper (PDF)

R. Möller and M. Wessel. Terminological Default Reasoning about Spatial Information: A First Step. In Proc. of COSIT'99, International Conference on Spatial Information Theory, Stade, pages 189–204. Springer-Verlag, 1999.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev, Carsten Lutz, and R. Möller. Foundations of Spatioterminological Reasoning with Description Logics. In S.C.Shapiro G. Cohn, L.K. Schubert, editor, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR'98), pages 112–123. Morgan-Kaufmann, 1998.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev, R. Möller, and Anni-Yasmin Turhan. HAM-ALC - Performance Measurements. In Proc. DL-98 International Description Logic Workshop 1998, June 6 - June 8, Trento, Italy, pages 64–65, 1998.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev, R. Möller, and Anni-Yasmin Turhan. Implementing an ALCRP(D) ABox Reasoner - Progress Report -. In Proc. DL-98 International Description Logic Workshop 1998, June 6 - June 8, Trento, Italy, pages 82–86, 1998.
Bibtex entry  Abstract  Paper (PDF)

Th. Mantay and R. Möller. Content-Based Information Retrieval by Computation of Least Common Subsumers in a Probabilistic Description Logic. In Proc. International Workshop on Intelligent Information Integration, ECAI'98, Aug. 23-28, Brighton UK, 1998,, 1998.
Bibtex entry  Abstract  Paper (PDF)

R. Möller. HAMVIS: Generierung von Visualisierungen in einem Rahmensystem zur systematischen Entwicklung von Benutzungsschnittstellen. In usgezeichnete Informatikdissertationen 1996, Reihe Dissertationspreise Gesellschaft fuer Informatik, pages 62–78. Teubner Verlag, 1998.
Bibtex entry  Abstract  Paper (PDF)

R. Möller. User Interface Development Environments – The CLIM Perspective. Technical report, University of Hamburg, Computer Science Department, 1998. Unpublished Manuscript.
Bibtex entry  Paper (PDF)

R. Möller, V. Haarslev, and B. Neumann. Semantics-Based Information Retrieval. In Proc. IT&KNOWS-98: International Conference on Information Technology and Knowledge Systems, 31. August- 4. September, Vienna, Budapest, pages 49–6, 1998.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. SBox: A Qualitative Spatial Reasoner -Progress Report-. In Proceedings, 11th International Workshop on Qualitative Reasoning, L. Ironi, editor, Cortona, Tuscany, Italy, June 3-6, 1997, Pubblicazioni N. 1036, Istituto di Analisi Numerica C.N.R. Pavia (Italy), pages 105–113, 1997.
Bibtex entry  Abstract  Paper (PDF)

L. Hotz, H. Milde, R. Möller, and Bernd Neumann. Using Behavior Deviations and an Interval-Based Calculus for Modeling Electronic Circuits. In Proc. Workshop der Fachgruppe Modellbasiertes und Qualitatives Schließen, 1997. also published as LKI-Memo No. 97/1, 1997.
Bibtex entry  Abstract  Paper (PDF)

R. Möller. HAMVIS: Generierung von Visualisierungen in einem Rahmensystem zur systematischen Entwicklung von Benutzungsschnittstellen. Infix-Verlag, 1997.
Bibtex entry  Abstract

H. Lange, R. Möller, and Bernd Neumann. Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning about Measurements is the Key. In St. Hölldobler G. Görz, editor, Proc. KI'96, Dresden, pages 213–226, September 1996.
Bibtex entry  Abstract  Paper (PDF)

R. Möller. A Functional Layer for Description Logics: Knowledge Representation Meets Object-Oriented Programming. In Proc. OOPSLA'96 Object-Oriented Programming, Systems, Languages, and Applications, San Jose, 1996.
Bibtex entry  Abstract  Paper (PDF)

R. Möller. Knowledge-Based Dialog Structuring for Graphics Interaction. In Proc. ECAI'96 European Conference on Artificial Intelligence, Budapest, Hungary, 1996.
Bibtex entry  Paper (PDF)

R. Möller. Reasoning about Domain Knowledge and User Actions for Interactive Systems Development. Chapman & Hall, 1996.
Bibtex entry  Abstract  Paper (PDF)

R. Möller, C. Schröder, and R. Carsten Lutz. Analyzing configuration systems with description logics: A case study. Technical report, University of Hamburg, Computer Science Department, 1996.
Bibtex entry  Abstract  Paper (PDF)

C. Schröder, R. Möller, and Carsten Lutz. A Partial Logical Reconstruction of PLAKON/KONWERK. In Proceedings of the Workshop on Knowledge Representation and Configuration, KI'96, Dresden, pages 55–64. DFKI, September 1996. DFKI-Memo D-96-04.
Bibtex entry  Paper (PDF)

V. Haarslev, R. Möller, and C. Schröder. Combining Spatial and Terminological Reasoning. In B. Nebel and L. Dreschler-Fischer, editors, Proc. KI-94: Advances in Artificial Intelligence, Saarbrücken, volume 861 of Lecture Notes in Artificial Intelligence, pages 145–153. Springer-Verlag, 1994.
Bibtex entry  Abstract  Paper (PDF)

R. Möller. Visualisierungen und Benutzungsschnittstellen: Anwendungen und Forschungsfragen. In H. Reichel, editor, Proceedings 23. GI-Jahrestagung Dresden, pages 322–327. Springer-Verlag, 1993.
Bibtex entry

R. Möller. Wissensrepräsentationsaspekte in Systemen zur automatischen Generierung von Visualisierungen. In A.B. Cremers and G. Lakemeyer, editors, Proceedings AKI-Workshop Wissensrepräsentation, 1993.
Bibtex entry

V. Haarslev and R. Möller. Visualization and Graphical Layout in Object-Oriented Systems. Journal of Visual Languages and Computing, 1992.
Bibtex entry  Abstract  Paper (PDF)

R. Möller, L. Hotz. Suchalgorithmen und Interaktionstechniken für Fahrplan-Informationssysteme. Technical Report Bericht Nr. LKI-M-91/3, Labor für Künstliche Intelligenz, 1991.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. A Declarative Formalism for Specifying Graphical Layout. In Proc. 1990 IEEE Workshop on Visual Languages, Skokie/IL, Oct. 4-6, pages 54–59. IEEE Computer Society Press, 1990.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. A Framework for Visualizing Object-Oriented Systems. In Proceedings OOPSLA'90 Conference on Object-Oriented Programming: Systems, Languages and Applications, pages 237–244. ACM-Press, 1990.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. VIPEX: Visual Programming of Experimental Systems. In S.K. Chang, editor, Visual Languages and Visual Programming, pages 185–212. Plenum Press, 1990.
Bibtex entry

V. Haarslev and R. Möller. Visualization and Graphical Layout in Object-Oriented Systems. Technical Report Tech. Rep. SSL-90-53 [P90-00134], Xerox Palo Alto Research Center, 1990.
Bibtex entry  Paper (PDF)

R. Möller and V. Haarslev. Layoutspezifikationen für komplexe graphische Objekte. In GI-Fachgespräch Graphik und KI, Königswinter, pages 237–244. ACM-Press, 1990.
Bibtex entry  Abstract  Paper (PDF)

V. Haarslev and R. Möller. Visualisierung und Animation in der experimentellen Bildauswertung. In W. Barth, editor, GI/ÖCG-Fachgespräch Visualisierungstechniken und Algorithmen, Wien, 26.–27. Sep. 1988, pages 213–223. Springer-Verlag, 1988.
Bibtex entry

V. Haarslev and R. Möller. Visualization of Experimental Systems. In 1988 IEEE Workshop on Visual Languages Pittsburgh/PA, Oct. 10-12, pages 175–182. IEEE-Society Press, Oktober 1988.
Bibtex entry

V. Haarslev and R. Möller. VIPEX: Ein Dialograhmen zum visuellen Programmentwurf. In H.J. Hoffmann, editor, Fachtagung Benutzerschnittstellen – Werkzeuge und Techniken zur Gestaltung interaktiver Systeme, Darmstadt, Tagungsheft Notizen zu Interaktiven Systmen, number 17, 1989.
Bibtex entry

V. Haarslev and R. Möller. Visualisierungen beim Entwicklungsprozeß experimenteller Programmsysteme. In Software-Ergonomie '89, Hamburg, 29.-31. Mar. 1989, pages 427–436. Teubner-Verlag, 1989.
Bibtex entry Paper (PDF)

Kontakt: 

Prof. Dr. Ralf Möller
Institut für Informationssysteme

Universität zu Lübeck
Ratzeburger Allee 160 ( Gebäude 64 - 2. OG )
D-23562 Lübeck

Telefon: +49 451 500 5700
Fax : +49 451 500 5702
email