Publications of Marcel Lippmann

From International Center for Computational Logic
Toggle side column

Publications of Marcel Lippmann


Journal Articles

Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Query Entailment in the Description Logic SHQ
Journal of Web Semantics, 33:71–93, 2015
Details Download
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporalizing Rewritable Query Languages over Knowledge Bases
Journal of Web Semantics, 33:50–70, 2015
Details Download
Franz Baader, Marcel Lippmann
Runtime Verification Using the Temporal Description Logic ALC-LTL Revisited
Journal of Applied Logic, 12(4):584-613, 2014
Details

Proceedings Articles

Franz Baader, Stefan Borgwardt, Marcel Lippmann
Query Rewriting for DL-Lite with n-ary Concrete Domains
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), to appear
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles
In Bernhard Pfahringer, Jochen Renz, eds., Proceedings of the 28th Australasian Joint Conference on Artificial Intelligence (AI'15), volume 9457 of Lecture Notes in Artificial Intelligence, 21-33, 2015. Springer
Details Download
Stephan Böhme, Marcel Lippmann
Decidable Contextualized DLs with Rigid Roles
Proceedings of the 28th International Workshop on Description Logics (DL-2015), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download
Stephan Böhme, Marcel Lippmann
Decidable Description Logics of Context with Rigid Roles
In Carsten Lutz, Silvio Ranise, eds., Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15), volume 9322 of Lecture Notes in Artificial Intelligence, 17-32, to appear. Springer
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporalizing Ontology-Based Data Access
In Maria Paola Bonacina, eds., Proceedings of the 24th International Conference on Automated Deduction (CADE-24), volume 7898 of Lecture Notes in Artificial Intelligence, 330-344, 2013. Springer
Details Download
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporal Query Answering in the Description Logic DL-Lite
In Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt, eds., Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, 165-180, 2013. Springer
Details Download
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporal Query Answering in DL-Lite
In Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch, eds., Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR Workshop Proceedings, July 2013. CEUR-WS.org
Details Download
Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski
Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 25th International Workshop on Description Logics (DL-2012), volume 846 of CEUR Workshop Proceedings, June 2012. CEUR-WS.org
Details Download
Franz Baader, Marcel Lippmann, Hongkai Liu
Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics
In Christian G. Fermüller and Andrei Voronkov, eds., Proceedings of the 17th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR-17), volume 6397 of Lecture Notes in Computer Science (subline Advanced Research in Computing and Software Science), 82-96,  2010. Springer
Details Download
Franz Baader, Andreas Bauer, Marcel Lippmann
Runtime Verification Using a Temporal Description Logic
In Silvio Ghilardi and Roberto Sebastiani, eds., Proceedings of the 7th International Symposium on Frontiers of Combining Systems (FroCoS 2009), volume 5749 of Lecture Notes in Computer Science, 149-164, 2009. Springer
Details Download

Technical Reports

Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles
Technical Report, Chair for Automata Theory, Technische Universität Dresden, volume 15-17, 2015. LTCS-Report
Details Download
Stephan Böhme, Marcel Lippmann
Description Logics of Context with Rigid Roles Revisited
Technical Report, Chair of Automata Theory, TU Dresden, volume 15-04, May 2015. LTCS-Report
Details Download
Franz Baader, Marcel Lippmann
Runtime Verification Using a Temporal Description Logic Revisited
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 14-01, 2014. LTCS-Report
Details Download
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Reasoning with Temporal Properties over Axioms of DL-Lite
Technical Report, Chair of Automata Theory, TU Dresden, volume 14-06, 2014. LTCS-Report
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
On the Complexity of Temporal Query Answering
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-01, 2013. LTCS-Report
Details Download
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporal Query Answering w.r.t. DL-Lite-Ontologies
Technical Report, Chair of Automata Theory, TU Dresden, volume 13-05, 2013. LTCS-Report
Details Download
Franz Baader, Marcel Lippmann, Hongkai Liu
Adding Causal Relationships to DL-based Action Formalisms
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 10-01, 2010. LTCS-Report
Details Download