Skip to main content
SpringerLink
Log in
Book cover

International Conference on Business Information Systems

BIS 2010: Business Information Systems Workshops pp 240–242Cite as

An Overview of the Legal Knowledge Interchange Format

  • Conference paper

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 57))

Abstract

The Legal Knowledge Interchange Format (LKIF) is an XML Schema for representing theories and arguments (proofs) constructed from theories ESTRELLA Project (2008). A theory in LKIF consists of a set of axioms and defeasible inference rules. The language of individuals, predicate and function symbols used by the theory can be imported from an ontology represented in the Web Ontology Language (OWL). Importing an ontology also imports the axioms of the ontology. All symbols are represented using Universal Resource Identifiers (URIs). Other LKIF files may also be imported, enabling complex theories to modularized.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  • ESTRELLA Project. The legal knowledge interchange format (LKIF). Deliverable 4.1, European Commission (2008)

    Google Scholar 

  • Gordon, T.F., Walton, D.: Proof burdens and standards. In: Rahwan, I., Simari, G. (eds.) Argumentation in Artificial Intelligence, pp. 239–260. Springer, Berlin (2009)

    Chapter  Google Scholar 

  • Gordon, T.F., Prakken, H., Walton, D.: The Carneades model of argument and burden of proof. Artificial Intelligence 171(10-11), 875–896 (2007)

    Article  Google Scholar 

  • Prakken, H.: An abstract framework for argumentation with structured arguments. Argument & Computation (in press, 2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fraunhofer FOKUS, Berlin, Germany

    Thomas F. Gordon

Authors
  1. Thomas F. Gordon
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information Systems, Poznań University of Economics, Al. Niepodległości 10, 61-875, Poznań, Poland

    Witold Abramowicz

  2. Institut für Informatik, Freie Universität Berlin, Takustr. 9, 14195, Berlin, Germany

    Robert Tolksdorf

  3. Poznań University of Economics, Al. Niepodległości 10, 60-967, Poznań, Poland

    Krzysztof Węcel

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gordon, T.F. (2010). An Overview of the Legal Knowledge Interchange Format. In: Abramowicz, W., Tolksdorf, R., Węcel, K. (eds) Business Information Systems Workshops. BIS 2010. Lecture Notes in Business Information Processing, vol 57. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15402-7_30

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15402-7_30

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15401-0

  • Online ISBN: 978-3-642-15402-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation