Extracting Formal Models from Normative Texts

Conference paper

DOI: 10.1007/978-3-319-41754-7_40

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9612)
Cite this paper as:
Camilleri J.J., Gruzitis N., Schneider G. (2016) Extracting Formal Models from Normative Texts. In: Métais E., Meziane F., Saraee M., Sugumaran V., Vadera S. (eds) Natural Language Processing and Information Systems. NLDB 2016. Lecture Notes in Computer Science, vol 9612. Springer, Cham


Normative texts are documents based on the deontic notions of obligation, permission, and prohibition. Our goal is model such texts using the C-O Diagram formalism, making them amenable to formal analysis, in particular verifying that a text satisfies properties concerning causality of actions and timing constraints. We present an experimental, semi-automatic aid to bridge the gap between a normative text and its formal representation. Our approach uses dependency trees combined with our own rules and heuristics for extracting the relevant components. The resulting tabular data can then be converted into a C-O Diagram.


Information extraction Normative texts C-O diagrams 

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.CSEChalmers University of Technology and University of GothenburgGothenburgSweden
  2. 2.IMCSUniversity of LatviaRigaLatvia

Personalised recommendations