28
1 Legal Theories and Judicial Decision-Making: An Ontological Analysis Cristine Griffo Computer and Law – KRDB/Core

Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

1

Legal Theories and Judicial Decision-Making: An Ontological AnalysisCristine Griffo Computer and Law – KRDB/Core

Page 3: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

33

Judicial Decisions are affected by legal theories to which judges are affiliated.

Which legal theory should I choose as the base for building a legal ontology?

3Imagem de Free-Photos por Pixabay

Page 4: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

4

Legal Positivist Theory | Pure Theory of Law

Hans Kelsen - 1935 Based on closed legal systems

Legal relations as a bound of legal norms

Page 5: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

5

Legal Positivist Theory | Examples of Legal Core Ontologies

•Frame-Based Ontology (FBO);•Functional Ontology of Law (FOL)• Legal Top Ontology;• LKIF Core Ontology.

All or Nothing

Page 6: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

6

LKIF – Legal Core Ontology based on Kelsen’s Theory

Hoekstra R, Breuker J, Di Bello M, Boer A. The LKIF Core Ontology of BasicLegal Concepts. In: CEUR Work. Proc.. vol. 321; 2007. p. 43–63.

Boer A, Winkels R, Vitali F. Metalex XML and the legal knowledge interchange format. In: Computable models of the law. Springer; 2008. p. 21–41.

Page 7: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

7

Legal Post-Positivist Theory |Theory of Constitutional Rights

Robert Alexy 1978;1985

Based on open legal normative systems

Legal relations as a bound of subjects

playing roles

Page 8: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

8

Legal Post-Positivist Theory | Examples of Legal Ontologies

•An OWL Ontology Set Representing Judicial Interpretations; •A Constructive Framework for Legal Ontologies; -> CLO (?)• UFO-L: legal core ontology.

Page 9: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

99

UFO-L (Fragment)

Page 10: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

1010

UFO-L (Fragment)

Page 11: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

1111

UFO-L Right-Duty to an

Action Legal Pattern Pattern elements:

1. Legal Agent;2. Right Holder;3. Duty Holder;4. Event;5. Right-Duty to an Action Relator;6. Right to an Action;7. Duty to Act.

Page 12: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

12

Our Approach “The chosen legal theory matters”

USEUse a Legal Core Ontology (LCO) based on a “Open Legal System” legal theory and UFO

APPLYApply this LCO to represent a real legal case where there was a collision of principles

COMPARECompare our approach with LKIF core ontology approach

Page 13: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

13

Dedier, a civil police officer, public servant inprobationary period (PE), required a leave ofabsence for dealing with private affairs (LDPA), morespecifically, a leave from his work so that he couldattend a clerk training course at the NationalAcademy of Federal Police. This position as a traineeat the National Academy is considered a PublicPosition in itself.However, the Civil Police Chief of the State of EspíritoSanto (PC-ES) denied his leave request based on theparagraph of article 41 of Complementary Law LCn.46/94 that does not allow the granting of LDPA forpublic servants in probationary period.Dissatisfied with Chief decision, Dedier filed a writ ofmandamus with a summary judgement injunctioninvoking the Brazilian constitutional principle ofaccess to public positions prescribed in Article 5º ofBrazilian Constitution and the right to LDPA.

The judge of the first instance denied summaryjudgement because he understood that, primafacie, the right to leave would not apply forservants on probationary period.Once more, discontented with the judge’sdecision, Dedier filed an appeal before theCourt of Appeals of the State of Espírito Santo(TJES).Justice ‘ad quem’ partially overhauled the firstinstance judge’s decision, in view of the factthat, in applying Alexy’s ProportionalityPostulate, he found that the most appropriaterule-principle was that which least violated theprinciples involved: principle of probationaryperiod versus principle of access to a publicpositions and principle of due process of law.

Case Study: The Dedier CaseAPPLY

Page 14: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

141414

Page 15: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

151515

Page 16: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

161616

Page 17: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

171717

Page 18: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

1818

Dedier case in LKIF-core

18

LKIF – Legal Core Ontology based on Kelsen’s Theory

Page 19: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

1919

Module NORM allows(ALLOWS) situations that match the following description:

Dedier case in LKIF-core

19

LKIF – Legal Core Ontology based on Kelsen’s Theory

(DISALLOWS) situations that match the following description:

Page 20: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

2020

Dedier case in LKIF-core

20

LKIF – Legal Core Ontology based on Kelsen’s Theory

In summary, in this ontology and under the Kelsenian view, it is not possible to proper model the decision pronounced by the second

judge of the case (the Justice of the Appeal Court), since this view is only based on 1) legal rules of a closed normative system; and 2) a

subsumption operation of fact to a given legal type.

Page 21: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

21

Perspective 1: Dedier does not have the right to a LDPA

0..*

Page 22: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

22

Perspective 2: Dedier has the right to a LDPA

0..*

Page 23: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

23

Perspective 3: Analysis of Justice

0..*

Page 24: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

24

Perspective 3.1: Public Judging Entity

Page 25: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

25

Perspective 4: Justice’s Ruling

0..*

Page 26: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

262626The chosen legal theory matters

Final Considerations

Page 27: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

27

Future Works

1. Empirical experiments with a set of real cases in different normative systems;

2. Extend the representation of Alexy’s theory in UFO-L;

3. How to find automatically the collision of principles?

Page 28: Legal Theories and Judicial Decision-Making: An Ontological … files/KRDB-SOS-2020... · 2020. 6. 2. · theory in UFO-L; 3. How to find automatically the collision of principles?

28

Inserir ImagemThank [email protected]