Marcel Lippmann

Publication Activity (10 Years)

Years Active: 2009-2017
Publications (10 Years): 6

Top Venues

Description Logics

FroCos

J. Web Semant.

Joint Workshop of the German Research Training Groups in Computer Science

Dresden University of Technology (PHD)

Education History

Dresden University of Technology

PHD

Publications

Franz Baader, Stefan Borgwardt, Marcel Lippmann
Query Rewriting for DL-Lite with n-ary Concrete Domains. IJCAI (2017)
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal query entailment in the Description Logic SHQ. J. Web Semant. 33 (2015)
Stephan Böhme, Marcel Lippmann
Decidable Contextualized DLs with Rigid Roles. Description Logics (2015)
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporalizing rewritable query languages over knowledge bases. J. Web Semant. 33 (2015)
Stephan Böhme, Marcel Lippmann
Decidable Description Logics of Context with Rigid Roles. FroCos (2015)
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles. Australasian Conference on Artificial Intelligence (2015)
Marcel Lippmann
Temporalised Description Logics for Monitoring Partially Observable Events. Joint Workshop of the German Research Training Groups in Computer Science (2014)
Franz Baader, Marcel Lippmann
Runtime verification using the temporal description logic ALC-LTL revisited. J. Appl. Log. 12 (4) (2014)
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporal Query Answering in the Description Logic DL-Lite. FroCos (2013)
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporalizing Ontology-Based Data Access. CADE (2013)
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporal Query Answering in DL-Lite. Description Logics (2013)
Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski
Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics. Description Logics (2012)
Franz Baader, Marcel Lippmann, Hongkai Liu
Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics. LPAR (Yogyakarta) (2010)
Franz Baader, Andreas Bauer, Marcel Lippmann
Runtime Verification Using a Temporal Description Logic. FroCoS (2009)

Marcel Lippmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marcel Lippmann