The quest to automate compliance checking processes needed for planning, design,
construction and operations has been an active research topic for half a century. Literature …

The opportunity to automate and monitor the execution of legal contracts is gaining
increasing interest in Business and Academia, thanks to the advent of smart contracts …

This paper addresses the problem of constructing a policy pipeline that enables compliance
checking of business processes against regulatory obligations. Towards this end, we …

In this paper we present the motivation, use cases, design principles, abstract syntax, and
initial core of LegalRuleML. The LegalRuleML-core is sufficiently rich for expressing legal …

" Many researchers and software developers have put a lot of effort into finding solutions for
automated code checking. This book is a good summary of these efforts and provides …

Legal texts are the foundational resource where to discover rules and norms that feed into
different concrete (often XML-based) Web applications. Legislative documents provide …

Enabling information interoperability, fostering legal knowledge usability and reuse,
enhancing legal information search, in short, formalizing the complexity of legal knowledge …

Abstract The European Union is working towards harmonizing legislation across Europe, in
order to improve cross-border interchange of legal information. This goal is supported for …

This chapter aims to collocate Akoma Ntoso into the historical scenario of the legal XML
schemas and to define the pillars of the Akoma Ntoso architecture. Second goal is to present …

This paper describes the construction of the LOTED2 ontology for the representation of
European public procurement notices. LOTED2 follows initiatives around the creation of …