3 papers
cs.AI2024
Supporting Risk Management for Medical Devices via the Riskman Ontology and Shapes (Preprint)
Piotr Gorczyca, Dörthe Arndt, Martin Diller +7
We propose the Riskman ontology and shapes for representing and analysing information about risk management for medical devices. Risk management is concerned with taking necessary…
cs.AI2022
Chasing Streams with Existential Rules
Jacopo Urbani, Markus Krötzsch, Thomas Eiter
We study reasoning with existential rules to perform query answering over streams of data. On static databases, this problem has been widely studied, but its extension to rapidly c…
cs.LO2021
Capturing Homomorphism-Closed Decidable Queries with Existential Rules
Camille Bourgaux, David Carral, Markus Krötzsch +2
Existential rules are a very popular ontology-mediated query language for which the chase represents a generic computational approach for query answering. It is straightforward tha…