Towards compliance checking in reified I/O logic via SHACL
Livio Robaldo
Abstract
Reified Input/Output logic [29] has been recently proposed to handle natural language meaning in Input/Output logic [17]. So far, the research in reified I/O logic has focused only on KR issues, specifically on how to use the formalism for representing contextual meaning of norms (see [28]). This paper is the first attempt to investigate reasoning in reified I/O logic, specifically compliance checking. This paper investigates how to model reified I/O logic formulae in Shapes Constraint Language (SHACL) [2], a recent W3C recommendation for validating and reasoning with RDFs/OWL.
Topics & Concepts
Computer scienceFormalism (music)Description logicDynamic logic (digital electronics)EpistemologyTheoretical computer sciencePhilosophyArtQuantum mechanicsVoltageVisual artsMusicalTransistorPhysicsLogic, Reasoning, and KnowledgeSemantic Web and OntologiesLogic, programming, and type systems