Skip to main content

Extracting Formal Models from Normative Texts

Part of the Lecture Notes in Computer Science book series (LNISA,volume 9612)

Abstract

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.

Keywords

  • Information extraction
  • Normative texts
  • C-O diagrams

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-319-41754-7_40
  • Chapter length: 6 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   64.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-41754-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   84.99
Price excludes VAT (USA)

References

  1. Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183–235 (1994)

    MathSciNet  CrossRef  MATH  Google Scholar 

  2. Cheng, T.T., Cua, J., Tan, M., Yao, K., Roxas, R.: Information extraction from legal documents. In: SNLP 2009, pp. 157–162, October 2009

    Google Scholar 

  3. Klein, D., Manning, C.D.: Accurate unlexicalized parsing. In: ACL 2003, pp. 423–430 (2003)

    Google Scholar 

  4. Martinez, E., Cambronero, E., Diaz, G., Schneider, G.: A model for visual specification of e-Contracts. In: SCC 2010, pp. 1–8. IEEE Comp. Soc. (2010)

    Google Scholar 

  5. Mercatali, P., Romano, F., Boschi, L., Spinicci, E.: Automatic translation from textual representations of laws to formal models through UML. In: JURIX 2005, pp. 71–80. IOS Press (2005)

    Google Scholar 

  6. Wyner, A., Peters, W.: On rule extraction from regulations. In: Atkinson, K. (ed.) JURIX 2011, pp. 113–122. IOS Press, Amsterdam (2011)

    Google Scholar 

Download references

Acknowledgements

This research has been supported by the Swedish Research Council under Grant No. 2012-5746 and partially supported by the Latvian State Research Programme NexIT.

Author information

Authors and Affiliations

Authors

Corresponding authors

Correspondence to John J. Camilleri or Normunds Gruzitis .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

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. https://doi.org/10.1007/978-3-319-41754-7_40

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-41754-7_40

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-41753-0

  • Online ISBN: 978-3-319-41754-7

  • eBook Packages: Computer ScienceComputer Science (R0)