Marcel Lippmann

Available identifiers

zbMath Open lippmann.marcelMaRDI QIDQ472809

List of research outcomes

Publication	Date of Publication	Type
Decidable description logics of context with rigid roles	2017-02-27	Paper
Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited	2014-11-20	Paper
Temporal query answering in the description logic DL-Lite	2013-09-20	Paper
Temporalizing ontology-based data access	2013-06-14	Paper
Using causal relationships to deal with the ramification problem in action formalisms based on description logics	2010-10-12	Paper
Runtime verification using a temporal description logic	2010-01-07	Paper

Research outcomes over time

This page was built for person: Marcel Lippmann