4 papers
Rewrite Once, Validate Anywhere: Producing OWL-Aware SHACL Constraints (Extended Version)
Anouk Oudshoorn, Piotr Gorczyca, Dörthe Arndt
The Shapes Constraint Language (SHACL) is a W3C recommendation to express syntactic constraints, called shapes, on RDF graphs. SHACL validators are used to test whether a given gra…
Supporting Cybersecurity Risk Management for Medical Devices via the SECUMAN Ontology and Shapes
Martin Diller, Anne Esslinger, Piotr Gorczyca +3
We propose the SECUMAN ontology and shapes for representing and analysing cybersecurity risk-management documentation for medical devices. Cybersecurity risks are increasingly rele…
Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs)
Piotr Gorczyca, Hannes Strass
Standpoint logics offer unified modal logic-based formalisms for representing multiple heterogeneous viewpoints. At the same time, many non-monotonic reasoning frameworks can be na…
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…