Hat mitgewirkt an:
-
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