Werke:
- Temporal Query Answering in DL-Lite over Inconsistent Data
- Enhancing Probabilistic Model Checking with Ontologies
- Semantic Technologies for Situation Awareness : Report on a Project Within the CRC “Highly Adaptive Energy-Efficient Computing”
- Practical Query Rewriting for DL-Lite with Numerical Predicates : Extended Version