This paper presents an approach for legal compliance checking in the Semantic Web which
can be effectively applied for applications in the Linked Open Data environment. It is based …

This article proposes an innovative methodology for enhancing the technical validation,
legal alignment and interdisciplinarity of attempts to encode legislation. In the context of an …

Abstract Automated Vehicles (AVs) are designed and programmed to follow traffic rules.
However, there is no separate and comprehensive regulatory framework dedicated to AVs …

Global financial crisis made the financial regulation volume increase. Financial institutions
needed to interpret new regulations and swiftly adjusted to them. RegTech, Regulatory …

Translating often has the meaning of converting from one human language to another.
However, in a broader sense, it means transforming a message from one form of …

There is a growing demand for the development of computational models of legal rulesets,
yet scholars acknowledge an incompatibility between the deterministic nature of current …

Improving the safety of autonomous vehicles (AVs) by making driving decisions in
accordance with traffic rules is a complex task. Traffic rules are often expressed in a way that …

One of the main promises of process conformance is the opportunity to align normative
processes (ie how the process should behave) and event logs (ie how does the process …

This study devised and implemented a Defeasible Deontic Logic (DDL)-based formalization
approach for translating traffic rules into a machinecomputable (M/C) format and thus solving …

We propose a pipeline for converting natural English law texts into logical formulas via a
series of structural representations. Text texts are first parsed using a formal grammar …