A core ontology of basic legal concepts
These pages serve as the download location for the LKIF-Core ontology, developed within the ESTRELLA project (IST-2004-027655).
More information at http://www.estrellaproject.org
- Released version 1.0.3, reorganised module structure (20080501)
- Released version 1.0.2, significantly restructured imports, relaxed class definitions (20070322)
- Released version 1.0.1, changed namespace (20070223)
- Initial Release (20070202)
Problems? Questions? Suggestions? Please contact Rinke Hoekstra at hoekstra[at]uva.nl
(replace the '[at]' with '@').
- Rinke Hoekstra, Joost Breuker, Marcello Di Bello, and Alexander Boer.
The LKIF Core ontology of basic legal concepts.
In Pompeu Casanovas, Maria Angela Biasiotti, Enrico Francesconi, and
Maria Teresa Sagri, editors, Proceedings of the Workshop on Legal
Ontologies and Artificial Intelligence Techniques (LOAIT 2007), June 2007.
[ .pdf ]
Joost Breuker, Rinke Hoekstra, Alexander Boer, Kasper van den Berg, Rossella
Rubino, Giovanni Sartor, Monica Palmirani, Adam Wyner, and Trevor
OWL ontology of basic legal concepts (LKIF-Core).
Deliverable 1.4, Estrella, 2007.
[ http |
The LKIF core legal ontology consists of 15 modules, each of which describes a set of closely related concepts from both legal and commonsense domains. In that sense, the LKIF core
ontology is rather a library of ontologies relevant for the legal domain than a monolithic body of definitions. A glossary of the concepts and properties included in these modules
can be found here
. The online documentation
provides a definition of each concept and property in the Manchester OWL syntax (See the co-ode
The most abstract concepts are defined in five closely related modules: top, place, mereology, time and spacetime.
- top The LKIF top ontology is largely based on the top-level of LRI-Core but has less ontological commitment in the sense that it imposes less restrictions on subclasses of the top categories.
- place The place module partially implements the theory of relative places (Donnelly, 2005) in OWL DL.
- mereology The mereology module defines mereological concepts such as parts and wholes, and typical mereological relations such as part of, component of, containment, membership etc.
- time The time module provides an OWL DL implementation of the theory of time by Allen (1984).
Basic-level concepts are distributed across four modules: process, role, action and expression.
- process The process module extends the LKIF top ontology module with a definition of changes, processes (being causal changes) and physical objects. It introduces a limited set of properties for describing participant roles of processes.
- role The role module defines a typology of roles (epistemic roles, functions, person roles, organisation roles) and the plays-property for relating a role filler to a role.
- action The action module describes the vocabulary for representing actions in general. Actions are processes which are performed by some agent (the actor of the action). This module does not commit itself to a particular theory on thematic roles.
- expression The expression module describes a vocabulary for describing, propositions and propositional attitudes (belief, intention), qualifications, statements and media. It furthermore extends the role module with a number or epistemic roles, and is the basis for the definition of norms.
These basic clusters are extended by three modules that form the legal ontology: legal action, legal role and norm.
- legal-action The legal action module extends the action module with a number of legal concepts related to action and agent, such as public acts, public bodies, legal person, natural person etc.
- legal-role The legal role module extends the role module with a small number of legal concepts related to roles, legal professions etc.
- norm The norm module is an extension primarily on the expression module where norms are defined as qualifications. Please refer to Deliverable 1.1 for a more in-depth description of the underlying theory. It furthermore defines a number of legal sources, e.g. legal documents, customary law etc., and a typology of rights and powers, cf. Sartor (2006), Rubino et al. (2006)
In addition to these legal clusters, two modules are provided that cover the basic vocabulary of two frameworks: modification and rules.
- modification The modification module is both an extension of the time module and the legal action module. The time module is extended with numerous intervals and moments describing the efficacy and being in force of legal documents. The action module is extended with a typology of modifications. These concepts are described in further detail in Deliverable 3.2 of the ESTRELLA project.
- rules The rules & argumentation module defines roles central to argumentation, and describes the vocabulary for LKIF rules as defined in Deliverable 1.1, chapter 5. The module leaves room for further extension to complex argumentation frameworks (AIF, Carneades).
Core and Extended Ontology
Finally, the twelve modules of the abstract, basic and legal level are integrated in the LKIF-Core
ontology module. This module does not provide any additional definitions, but functions as an entry-point for users of the ontology library.
The two framework modules are accessible through the LKIF Extended
ontology module. This module imports the LKIF Core
The problems which caused reasoners to be really (really) slow have been alleviated (see this
post on the Pellet-Users mailinglist).
Version 1.0.3 - 20080501 - Minor Release
Version 1.0.2 - 20070322 - Major Bugfix Release
- Fixed problems causing DL reasoners to become really slow (tested with Pellet 1.4)
See the release notes for more information.
- Reorganised imports structure
- Removed spacetime module
Version 1.0.1 - 20070223 - Bugfix Release
- Moved base namespace to http://www.estrellaproject.org/lkif-core/[module-name].owl
- Modules are now directly available online. This facilitates loading of files in various editors/viewers.
- Fixed a number of bugs causing the ontology to become OWL-Full (Reported by the OWL Validator at http://phoebus.cs.man.ac.uk:9999/OWL/Validator)
Version 1.0 - 20070202 - Initial Release