Marcel Lippmann

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