Supporting Ontology-Mediated Stream Reasoning with Model Checking

Clemens DubslaffClemens Dubslaff, Patrick KoopmannPatrick Koopmann, Anni-Yasmin TurhanAnni-Yasmin Turhan

Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Supporting Ontology-Mediated Stream Reasoning with Model Checking
Proceedings of the 5th Stream Reasoning Workshop (SR), 2021

Details
Bibtex

Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

@inproceedings{DKT2021,
  author    = {Clemens Dubslaff and Patrick Koopmann and Anni-Yasmin Turhan},
  title     = {Supporting Ontology-Mediated Stream Reasoning with Model Checking},
  booktitle = {Proceedings of the 5th Stream Reasoning Workshop (SR)},
  year      = {2021}
}