Marcel Lippmann

According to our database, Marcel Lippmann authored at least 15 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Query Rewriting for DL-Lite with n-ary Concrete Domains.

Franz Baader, Stefan Borgwardt, Marcel Lippmann

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2015

Temporalizing rewritable query languages over knowledge bases.

Stefan Borgwardt, Marcel Lippmann, Veronika Thost

J. Web Semant., 2015

Temporal query entailment in the Description Logic SHQ.

Franz Baader, Stefan Borgwardt, Marcel Lippmann

J. Web Semant., 2015

Decidable Description Logics of Context with Rigid Roles.

Stephan Böhme, Marcel Lippmann

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

Decidable Contextualized DLs with Rigid Roles.

Stephan Böhme, Marcel Lippmann

Proceedings of the 28th International Workshop on Description Logics, 2015

Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles.

Franz Baader, Stefan Borgwardt, Marcel Lippmann

Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

2014

Temporalised description logics for monitoring partially observable events.

Marcel Lippmann

PhD thesis, 2014

Runtime verification using the temporal description logic ALC-LTL revisited.

Franz Baader, Marcel Lippmann

J. Appl. Log., 2014

Temporalised Description Logics for Monitoring Partially Observable Events.

Marcel Lippmann

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

2013

Temporal Query Answering in the Description Logic DL-Lite.

Stefan Borgwardt, Marcel Lippmann, Veronika Thost

Proceedings of the Frontiers of Combining Systems, 2013

Temporal Query Answering in DL-Lite.

Stefan Borgwardt, Marcel Lippmann, Veronika Thost

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Temporalizing Ontology-Based Data Access.

Franz Baader, Stefan Borgwardt, Marcel Lippmann

Proceedings of the Automated Deduction - CADE-24, 2013

2012

Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics.

Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski

Proceedings of the 2012 International Workshop on Description Logics, 2012

2010

Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics.

Franz Baader, Marcel Lippmann, Hongkai Liu

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009

Runtime Verification Using a Temporal Description Logic.

Franz Baader, Andreas Bauer, Marcel Lippmann

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009