Ontologie giuridiche
Guido Boella
1
Ontologie
• Wolff: distinguono cio’ che è essenziale da
ciò che è contingente, la realtà
dall’apparenza
• Gruber: specifica di una concettualizzazione
• Guarino: insieme di assiomi che descrivono
il vocabolario di un certo dominio
2
Perché?
• E’ impossibile rappresentare il mondo nella
sua ricchezza di dettagli. Devo restringere
attenzione solo a certi concetti che danno un
significato adeguato ai miei scopi.
• Commitment ontologico: insieme di oggetti
e relazioni
3
Tre livelli ontologici
• Top: esplicitazione dei commitment
ontologici
• Domain: descrizione del significato dei
termini. Scopi: riusabilità, lavoro
cooperativo, knowledge based systems.
• Core (intermedio): descrive le categorie di
una certa disciplina e indicizza domain
ontologies
4
Tiscornia e Turchi (IDG)
• Sistema computazionale di supporto per il
drafting di testi legislativi
• Drafting: ricostruzione elementi strutturali
del testo
• No rappresentazione del contenuto: si perde
isomorfismo fra testo e knowledge base
• Conceptual retrival system, cioè con
tecniche di AI per dare profondità
5
Data model
Elementi
identificativi
Tipo di
documento
Numero del
documento
Titolo
Parti fisse
Provisions
Formula prom Definizioni
ulgazione
Data …
Sanzioni
…
Link
Emendamenti
(sostituzioni)
Proroghe
Sospensioni
Deroghe
Interpretazion
i
6
Provisions
• Divisione in base alla forza illocutiva
–
–
–
–
norme sul testo (parti fisse, aspetti finanziari)
norme di collegamento con sistema legislativo
prescrizioni e sanzioni
norme costitutive che creano effetti legali
(procedurali, classificatorie, istitutive,
definizioni, attribuzioni di competenze)
7
Attributi
• Generali:
– link informativi
– titolo
– riferimenti
• Specifici di provisions
– definiendum, destinatario, ente istituito, norma
a cui si riferisce ...
8
McCarty (1989): LLD
• Language for legal discourse: non è
un’ontologia.
9
Stamper (1991): NORMA
• NORMA: logic of norms and affordances
• Ogni conoscenza è legata ad un agente e la
sua conoscenza è legata al suo
comportamento.
• Tre primitive: agenti, behavioral invariants
(situazioni) e realisations: diverse
combinazioni di una situazione e un agente:
Ax@ A ha l’autorità di rendere vero x
10
A functional ontology of law
(Valente, 1995) (ISI-Amsterdam)
• La legge è un artifact, anche se non ha un
design centralizzato ma emerge dalla
società, e ha uno scopo: può essere descritto
in basi agli obiettivi.
• E’ un sistema (struttura finalizzata a goal),
lo scopo è dirigere la società, i componenti
sono le legal sources (conoscenza che è
binding law)
11
• Hart e Kelsen sono i riferimenti
Usare le funzioni per distinguere
le categorie primitive
• Normative knowledge: prescrizione
comportamento e specifica di standard di
comparazione. Espressione di ideale che
può essere violato o osservato
• Meta-legal knowledge: tiene assieme
sistema di normative knowledge specifica
per i singoli comportamenti. E risoluzione
conflitti a livello normativo
12
• World knowledge: esplicitazione
dell’implicito nella legislazione per quel che
riguarda la descrizione dei comportamenti.
Relazione con common knowledge.
• Responsibility knowledge: definisce la
responsabilità al di là di causalità e senso
comune
• Reactive knowledge: sanzioni
• Creative knowledge: creazione di entità
13
Functional roles
14
Van Kralingen 1995: A
conceptual frame-based ontology
• Primitive concettuali per modellare il
dominio legale
• Frame: situazione stereotipata
• Norme, azioni e istituzioni
(matrimoni,proprietà) e definizioni
(disoccupato) legali: fatti istituzionali la cui
interpretazione non dipende solo dalla realtà
ma anche dalla applicazione di regole
15
(MacCormick e Weinberger, 1986)
Norme composte da:
• Un kernel (Von Wright, 1963) dato da
soggetto (o addressee), una modalità
deontica e da una descrizione di azione
(act).
• Modalità di riferimento ad una norma
(identificatore, promulgazione e ambito)
16
Elemento
Descrizione
Identificatore
Tipo
Condotta o competenza
(power)
Promulgazione
Ambito (scope)
Condizioni
Soggetto
Modalità
Dovere/potere
Azione
Act identifier
17
Azioni
• Agente, tipo azione, modalità di mezzi e
maniere, circostanze, causa, scopo,
intenzioni e stato finale
(Rescher, 1967)
18
Concetti (definizioni legali)
• Significato di un concetto tramite
definizione
• Hanno promulgazione, ambito, condizioni
• Anche definizione senza condizioni
necessarie e sufficienti: fattori con
probabilità
• Istanze di concetti
19
Visser e Bench-Capon (1999):
comparazione di ontologie
•
•
•
•
•
•
Partizione dei domini
Viste diverse dei domini
Astrazione
Primarie (oggetti) e secondarie (proprietà)
Mapping (equivalenza semantica)
Restrizione
20