Ralf Möller

According to our database1, Ralf Möller authored at least 173 papers between 1988 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Quasi-Convex Scoring Functions in Branch-and-Bound Ranked Search.
OJDB, 2020

2019
An ontology-mediated analytics-aware approach to support monitoring and diagnostics of static and streaming data.
J. Web Semant., 2019

Ontology-Based Data Access to Big Data.
OJDB, 2019

Corpus-Driven Annotation Enrichment.
Proceedings of the 13th IEEE International Conference on Semantic Computing, 2019

Constructing and Maintaining Corpus-Driven Annotations.
Proceedings of the 13th IEEE International Conference on Semantic Computing, 2019

Lifted Temporal Most Probable Explanation.
Proceedings of the Graph-Based Representation and Reasoning, 2019

Influence-Based Independence.
Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, 2019

Relational Forward Backward Algorithm for Multiple Queries.
Proceedings of the Thirty-Second International Florida Artificial Intelligence Research Society Conference, 2019

On Bounded-Memory Stream Data Processing with Description Logics.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

Lifted Temporal Maximum Expected Utility.
Proceedings of the Advances in Artificial Intelligence, 2019

Uncertain Evidence for Probabilistic Relational Models.
Proceedings of the Advances in Artificial Intelligence, 2019

2018
Answering Hindsight Queries with Lifted Dynamic Junction Trees.
CoRR, 2018

Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm.
CoRR, 2018

Fusing First-order Knowledge Compilation and the Lifted Junction Tree Algorithm.
CoRR, 2018

Towards Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm.
Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

Fusing First-Order Knowledge Compilation and the Lifted Junction Tree Algorithm.
Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

Lifted Maximum Expected Utility.
Proceedings of the Artificial Intelligence in Health - First International Workshop, 2018

Towards lifted maximum expected utility.
Proceedings of the First Joint Workshop on AI in Health organized as part of the Federated AI Meeting (FAIM 2018), 2018

Parameterised Queries and Lifted Query Answering.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Lifted Dynamic Junction Tree Algorithm.
Proceedings of the Graph-Based Representation and Reasoning, 2018

Lifted Most Probable Explanation.
Proceedings of the Graph-Based Representation and Reasoning, 2018

Towards Foundations of Agents Reasoning on Streams of Percepts.
Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, 2018

Efficient Enriching of Synthesized Relational Patient Data with Time Series Data.
Proceedings of the 9th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2018) / The 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH-2018) / Affiliated Workshops, 2018

Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm.
Proceedings of the AI 2018: Advances in Artificial Intelligence, 2018

Answering Multiple Conjunctive Queries with the Lifted Dynamic Junction Tree Algorithm.
Proceedings of the AI 2018: Advances in Artificial Intelligence, 2018

Adaptive Inference on Probabilistic Relational Models.
Proceedings of the AI 2018: Advances in Artificial Intelligence, 2018

2017
Semantic access to streaming and static data at Siemens.
J. Web Semant., 2017

Reasoning about Imprecise Beliefs in Multi-Agent Systems with PDT Logic.
KI, 2017

Indirect Causes in Dynamic Bayesian Networks Revisited.
J. Artif. Intell. Res., 2017

Selection of Pareto-efficient response plans based on financial and operational assessments.
EURASIP J. Information Security, 2017

Context- and bias-free probabilistic mission impact assessment.
Computers & Security, 2017

Preventing Groundings and Handling Evidence in the Lifted Junction Tree Algorithm.
Proceedings of the KI 2017: Advances in Artificial Intelligence, 2017

Unsupervised Text Annotation.
Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and the 5th Workshop KI & Kognition (KIK-2017) co-located with 40th German Conference on Artificial Intelligence (KI 2017), 2017

Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm.
Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2017

2016
Abductive Conjunctive Query Answering w.r.t. Ontologies.
KI, 2016

PDT Logic: A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems.
J. Artif. Intell. Res., 2016

Towards Analytics Aware Ontology Based Access to Static and Streaming Data (Extended Version).
CoRR, 2016

Semantic Normalization and Matching of Business Dependency Models.
Proceedings of the 18th IEEE Conference on Business Informatics, 2016

Time Series Data Mining for Network Service Dependency Analysis.
Proceedings of the International Joint Conference SOCO'16-CISIS'16-ICEUTE'16, 2016

Ontology-Based Integration of Streaming and Static Relational Data with Optique.
Proceedings of the 2016 International Conference on Management of Data, 2016

Towards Analytics Aware Ontology Based Access to Static and Streaming Data.
Proceedings of the Semantic Web - ISWC 2016, 2016

Scalable Semantic Access to Siemens Static and Streaming Distributed Data.
Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

Using a Deep Understanding of Network Activities for Workflow Mining.
Proceedings of the KI 2016: Advances in Artificial Intelligence, 2016

Lifted Junction Tree Algorithm.
Proceedings of the KI 2016: Advances in Artificial Intelligence, 2016

Using a Deep Understanding of Network Activities for Network Vulnerability Assessment.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Enabling semantic access to static and streaming distributed data with optique: demo.
Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, 2016


2015
OBDA for Temporal Querying and Streams.
Proceedings of the 1st Workshop on High-Level Declarative Stream Processing co-located with the 38th German AI conference (KI 2015), 2015

Stream-temporal Querying with Ontologies.
Proceedings of the 1st Workshop on High-Level Declarative Stream Processing co-located with the 38th German AI conference (KI 2015), 2015

Dealing Efficiently with Ontology-Enhanced Linked Data for Multimedia.
Proceedings of the 1st Workshop on High-Level Declarative Stream Processing co-located with the 38th German AI conference (KI 2015), 2015

Indirect Causes in Dynamic Bayesian Networks Revisited.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Event Prioritization and Correlation Based on Pattern Mining Techniques.
Proceedings of the 14th IEEE International Conference on Machine Learning and Applications, 2015

A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems.
Proceedings of the ICAART 2015, 2015

Formalizing Agents' Beliefs for Cyber-Security Defense Strategy Planning.
Proceedings of the International Joint Conference, 2015

Stream-Query Compilation with Ontologies.
Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

Exploiting Innocuousness in Bayesian Networks.
Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

Abduction in PDT Logic.
Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

2014
CASAM: collaborative human-machine annotation of multimedia.
Multimedia Tools Appl., 2014

PDT Logic for Stream Reasoning in Multi-agent Systems.
Proceedings of the 6th International Symposium on Symbolic Computation in Software Science, 2014

Ontology Based Data Access on Temporal and Streaming Data.
Proceedings of the Reasoning Web. Reasoning on the Web in the Big Data Era, 2014

A Stream-Temporal Query Language for Ontology Based Data Access.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013
The Optique Project: Towards OBDA Systems for Industry (Short Paper).
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

BOEMIE: Reasoning-based Information Extraction.
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), 2013

Addressing Streaming and Historical Data in OBDA Systems: Optique's Approach.
Proceedings of the Second International Workshop on Knowledge Discovery and Data Mining Meets Linked Open Data, 2013


Spatial Semantics for Concepts.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Advances in Accessing Big Data with Expressive Ontologies.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012
The RacerPro knowledge representation and reasoning system.
Semantic Web, 2012

Towards ABox Modularization of semi-expressive Description Logics.
Applied Ontology, 2012

Scalable Geo-thematic Query Answering.
Proceedings of the Semantic Web - ISWC 2012, 2012

Towards Semantic Summaries over Ontologies.
Proceedings of the KEOD 2012 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Barcelona, Spain, 4, 2012

Nearness Rules and Scaled Proximity.
Proceedings of the ECAI 2012, 2012

Combining DL-Lite with Spatial Calculi for Feasible Geo-thematic Query Answering.
Proceedings of the 2012 International Workshop on Description Logics, 2012

2011
Zur Rolle der Logik bei der Entwicklung Intelligenter Systeme.
KI, 2011

Logical Formalization of Multimedia Interpretation.
Proceedings of the Knowledge-Driven Multimedia Information Extraction and Ontology Evolution, 2011

2010
Towards Scalable Instance Retrieval over Ontologies.
Int. J. Software and Informatics, 2010

A Probabilistic Abduction Engine for Media Interpretation Based on Ontologies.
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010

Towards Scalable Instance Retrieval over Ontologies.
Proceedings of the Knowledge Science, 2010

Sound Summarizations for Alchi Ontologies - How to Speedup Instance Checking and Instance Retrieval.
Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010

Distributed Island-based Query Answering for Expressive Ontologies.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Gibbs Sampling in Probabilistic Description Logics with Deterministic Dependencies.
Proceedings of the First International Workshop on Uncertainty in Description Logics, 2010

2009
Tableau-Based Reasoning.
, 2009

Multimedia Interpretation for Dynamic Ontology Evolution.
J. Log. Comput., 2009

Flexible software architectures for ontology-based information systems.
J. Applied Logic, 2009

Querying Large-Scale Ontologies.
Proceedings of the Seventeenth Italian Symposium on Advanced Database Systems, 2009

Updatable Island Reasoning for Alchi-ontologies.
Proceedings of the KEOD 2009 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Funchal, 2009

Islands and Query Answering for Alchi-ontologies.
Proceedings of the Knowledge Discovery, Knowlege Engineering and Knowledge Management, 2009

The BOEMIE Semantic Browser: A Semantic Application Exploiting Rich Semantic Metadata.
Proceedings of the Informatik 2009: Im Focus das Leben, 2009

What Happened to Bob? Semantic Data Mining of Context Histories.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Algebraic Tableau Algorithm for ALCOQ.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
On the Scalability of Description Logic Instance Retrieval.
J. Autom. Reasoning, 2008

On scene interpretation with description logics.
Image Vision Comput., 2008

Incremental Evaluation of OCL Invariants in the Essential MOF Object Model.
Proceedings of the Modellierung 2008, 12.-14. März 2008, Berlin, 2008

Island Reasoning for [Ascr ][Lscr ][Cscr ][Hscr ][Iscr ] Ontologies.
Proceedings of the Formal Ontology in Information Systems, 2008

Mapping Validation by Probabilistic Reasoning.
Proceedings of the Semantic Web: Research and Applications, 2008

A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ].
Proceedings of the ECAI 2008, 2008

ContraBovemRufum: A System for Probabilistic Lexicographic Entailment.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

The Revival of Structural Subsumption in Tableau-based Reasoners.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

A Hybrid Tableau Algorithm for ALCQ.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

08091 Abstracts Collection - Logic and Probability for Scene Interpretation.
Proceedings of the Logic and Probability for Scene Interpretation, 24.02. - 29.02.2008, 2008

Implementing probabilistic description logics: An application to image interpretation.
Proceedings of the Logic and Probability for Scene Interpretation, 24.02. - 29.02.2008, 2008

On Ontology Based Abduction for Text Interpretation.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2008

2007
Towards a Media Interpretation Framework for the Semantic Web.
Proceedings of the 2007 IEEE / WIC / ACM International Conference on Web Intelligence, 2007

Certification of transformation algorithms in model-driven software development.
Proceedings of the Software Engineering 2007, 2007

Design Principles and Realization Techniques for User Friendly, Interactive, and Scalable Ontology Browsing and Inspection Tools.
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

Towards a Scalable and Efficient Middleware for Instance Retrieval Inference Services.
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

Scalability of OWL Reasoning: Role condensates.
Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

Leveraging the Expressivity of Grounded Conjunctive Query Languages.
Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

Building a commercial OWL reasoner with Lisp.
Proceedings of the International Lisp Conference, 2007

Towards a Foundation for Knowledge Management: Multimedia Interpretation as Abduction.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006
Reasoning Support for Ontology Design.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

Cost-Efficient Web Service compositions for querying processes over reasoning services.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

How sensor data interpretation could benefit from description logics: A practical case study.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

On the Scalability of Description Logic Instance Retrieval.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Experiences with Load Balancing and Caching for Semantic Web Applications.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

On Scene Interpretation with Description Logics.
Proceedings of the Cognitive Vision Systems, 2006

2005
A High Performance Semantic Web Query Answering Engine.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Description Logic Inference Technology: Lessions Learned in the Trenches.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Development of a server to support the formal semantic web query language OWL-QL.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

2004
Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Extended Query Facilities for Racer and an Application to Software-Engineering Problems.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003
Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems.
KI, 2003

Combining cardinal direction relations and relative orientation relations in Qualitative Spatial Reasoning
CoRR, 2003

Description Logic Systems with Concrete Domains: Applications for the Semantic Web.
Proceedings of the 10th International Workshop on Knowledge Representation meets Databases (KRDB 2003), 2003

Racer: A Core Inference Engine for the Semantic Web.
Proceedings of the EON2003, 2003

Description Logic Systems.
Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Incremental Query Answering for Implementing Document Retrieval Services.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

The DIG Description Logic Interface.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

2002
Adding ternary complex roles to ALCRP(D).
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Practical Reasoning in RACER with a Concrete Domain for Linear Inequations.
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Optimization Strategies for Instance Retrieval.
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

2001
High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

Optimizing Reasoning in Description Logics with Qualified Number Restrictions.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

Description of the RACER System and its Applications.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

RACER System Description.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000
Consistency Testing: The RACE Experience.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles.
Proceedings of the KR 2000, 2000

ALCRA - ALC with Role Axioms.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Optimizing TBox and ABox Reasoning with Pseudo Models.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

High Performance Reasoning with Very Large Knowledge Bases.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

1999
A Description Logic with Concrete Domains and a Role-forming Predicate Operator.
J. Log. Comput., 1999

On Specifying Semantics of Visual Spatial Query Languages.
Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

Computing Probabilistic Least Common Subsumers in Description Logics.
Proceedings of the KI-99: Advances in Artificial Intelligence, 1999

On Terminological Default Reasoning about Spatial Information: Extended Abstract.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

RACE System Description.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

Terminological Default Reasoning about Spatial Information: A First Step.
Proceedings of the Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, 1999

1998
Foundations of Spatioterminological Reasoning with Description Logics.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Implementing an ALCRP(D) ABox Reasoner - Progress Report.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

HAM-ALC.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

1997
Defined Topological Relations in Description Logics.
Proceedings of the 1997 International Workshop on Description Logics, 1997

Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences.
Proceedings of the 1997 International Workshop on Description Logics, 1997

1996
A Functional Layer for Description Logics: Knowledge Representation Meets Object-Oriented Programing.
Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning about Measurements is the Key.
Proceedings of the KI-96: Advances in Artificial Intelligence, 1996

HAMVIS: Generierung von Visualisierungen in einem Rahmensystem zur systematischen Entwicklung von Benutzungsschnittstellen.
Proceedings of the Ausgezeichnete Informatikdissertationen 1996, 1996

Knowledge-Based Dialog Structuring for Graphics Interaction.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

Object-Oriented Programming Support for CLASSIC.
Proceedings of the 1996 International Workshop on Description Logics, 1996

1994
Combining Spatial and Terminological Reasoning.
Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

1993
Visualisierung und Benutzungsschnittstellen: Anwendungen und Forschungsfragen.
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

1992
Visualization and graphical layout in object-oriented systems.
J. Vis. Lang. Comput., 1992

1990
A Declarative Formalism for Specifying Graphical Layout.
Proceedings of the 1990 IEEE Workshop on Visual Languages, 1990

A Framework for Visualizing Object-Oriented Systems.
Proceedings of the Conference on Object-Oriented Programming Systems, 1990

Layoutspezifikationen für komplexe graphische Objekte.
Proceedings of the Graphik und KI, 1990

1989
Visualisierungen beim Entwicklungsprozeß experimenteller Programmsysteme.
Proceedings of the Software-Ergonomie '89, 1989

1988
Visualization of experimental systems.
Proceedings of the IEEE Workshop on Visual Languages, 1988

Visualisierung und Animation in der experimentellen Bildauswertung.
Proceedings of the Visualisierungstechniken und Algorithmen, 1988

Eine graphische Umgebung zur experimentellen Bildverarbeitung.
Proceedings of the Mustererkennung 1988, 1988


  Loading...