Supporting ontology-mediated stream reasoning with model checking

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed

Contributors

Original language	English
Title of host publication	Proceedings of the 2021 International Stream Reasoning Workshop (SR)
Publication status	Published - 1 Oct 2021
Peer-reviewed	No

Title	Stream Reasoning Workshop 2021
Conference number
Duration	4 - 6 October 2021
Website	https://streamreasoning.org/events/srw2021/
Location	Politecnico di Milano & online
City	Milan
Country	Italy