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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
ESTRELLA Project. The legal knowledge interchange format (LKIF). Deliverable 4.1, European Commission (2008)
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)
Gordon, T.F., Prakken, H., Walton, D.: The Carneades model of argument and burden of proof. Artificial Intelligence 171(10-11), 875–896 (2007)
Prakken, H.: An abstract framework for argumentation with structured arguments. Argument & Computation (in press, 2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)