Supporting ontology-mediated stream reasoning with model checking
Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed
Contributors
Details
| 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 |
Workshop
| Title | 5th Stream Reasoning Workshop |
|---|---|
| Conference number | 5 |
| Duration | 4 - 6 October 2021 |
| Website | |
| Location | Politecnico di Milano & Online |
| City | Milan |
| Country | Italy |