Verifying logical consistency of juridical verdicts by catching them in ontologies

From Master Projects
Jump to: navigation, search


has title::Verifying logical consistency of juridical verdicts by catching them in ontologies
status: ongoing
Master: project within::AI & Law
Student name: student name::Jochem Douw
Dates
Start start date:=2011/01/01
End end date:=2011/05/29
Supervision
Supervisor: Rinke Hoekstra
Second reader: has second reader::Annette ten Teije
Company: has company::VU

Signature supervisor



..................................

Abstract

This research is concerned with making ontologies in OWL based on juridical verdicts that are located in a limited juridical scope. The base of the system is an ontology with common sense knowledge relevant to the subject (the CS-ontology). A second ontology is based on this ontology and consists of juridical knowledge. This ontology relates juridical consequences to the terms in the CS-ontology. A third ontology is created that describes the situation in a certain juridical case. This ontology is also based on the CS-ontology but it is fully independent of the juridical ontology. As a consequence, the maker of this ontology is forced to only use everyday knowledge, and not to use any juridical terms. The final piece of the system is an ontology in which the juridical ontology is combined with the case description ontology. With a reasoner, juridical consequences of this specific case are being derivated. This way one can verify whether the – probably already existing – final judgement can be logically justified. By modelling several juridical cases this way, a more general CS-ontology and juridical ontology are being created step by step. One of the main goals of this is to achieve that after having modeled enough cases this way, further cases only need a compact case description ontology without having to alter the CS-ontology or the juridical ontology.

I translated my work for the first KIM. However, I will not do this for my second KIM, so I will proceed on this page in Dutch: Het controleren van de logische consistentie van juridische uitspraken door deze in ontologieën te vatten