Date post: | 25-Dec-2015 |
Category: |
Documents |
Upload: | cameron-preston |
View: | 213 times |
Download: | 0 times |
© ESTRELLA, IST-2004-027655
A quick ‘n easy intro to LKIF Core
Rinke Hoekstra
© ESTRELLA, IST-2004-027655
Overview
• The LKIF Core Ontology• Design, Requirements & Methodology• Modules
– Top-level modules– Basic-level modules– Legal modules
• Q&A
© ESTRELLA, IST-2004-027655
LKIF-Core
• Core ontology of basic legal concepts• Contributions by UvA, UNIBO, Liv, FOKUS• Specified using OWL-DL (SHOIN(D))• 14 modules, 205 classes, 99 properties• Descriptive annotations• Available online at
http://www.estrellaproject.org/lkif-core• Documentation at
http://www.estrellaproject.org/lkif-core/doc
© ESTRELLA, IST-2004-027655
Principled Design
• Separation Frames & Ontologies• Requirements & contexts of use
– Users• Practitioners• Citizens• Legal theoreticians
– Use• Organize & Structure• Reasoning & Problem solving• Semantic annotation & Search• Semantic integration/interoperation• Understanding of a domain
• Guidelines
© ESTRELLA, IST-2004-027655
Middle-out Methodology
• Identification of clusters of basic concepts• Top-20 of legal concepts• Term scoring on 5 aspects
– abstractness, relevance, commonsense vs. legal, common legal vs. domain specific, importance
• Evaluation and integration of existing top ontologies (LLD, DOLCE-CLO, LRI-Core) and theories
© ESTRELLA, IST-2004-027655
LKIF-Core Scores
• Importance– Law – Right– Jurisdiction– Permission– Prohibition – Rule – Sanction– Violation– Power– Duty – Legal position – Norm– Obligation– Permissive right– Argument
• Abstractness– deontic operator– Law– Norm– Obligative right– Permissive right– Power– Right– Rule– Time– Anancastic rule– Existential initiation– Existential termination– Potestative right– Productive characterisation– Absolute obligative right
• Legal Relevance– Civil law– Law– Legal consequence– Legislation– Obligation– Right– Authoricy– Deontic operator– Duty– Jurisdiction– Legal fact– Legal person– Legal position– Legal procedure– Liability
© ESTRELLA, IST-2004-027655
LKIF-Core Modules (1)
• 14 modules• Top
– top, mereology, place, time, process
• Basic– action, expression, role
• Legal– Norm, legal-role, legal-
action
• Vocabulary & Frames– Modification, rules
© ESTRELLA, IST-2004-027655
Top level
• 5 modules define the ‘canvas’– Top, mereology, place, time, process
• Largely based on the top-level of LRI-Core but– Less ontological commitment– Less restrictions on subclasses of the top
categories. QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
© ESTRELLA, IST-2004-027655
Mereology (1): Concepts
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
© ESTRELLA, IST-2004-027655
Mereology (2): Relations
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
© ESTRELLA, IST-2004-027655
Time (1): Concepts
• Based on Allen (1984)
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
© ESTRELLA, IST-2004-027655
Time (2): Relations
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
© ESTRELLA, IST-2004-027655
Place (1): Concepts
• Based on Donnelly (05)
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
© ESTRELLA, IST-2004-027655
Place (2): Relations
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
© ESTRELLA, IST-2004-027655
Process (1): Concepts
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
© ESTRELLA, IST-2004-027655
Process (2): Relations
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
© ESTRELLA, IST-2004-027655
Basic level
• Defines concepts ‘basic’ to commonsense, communication and reasoning:– Agents, Actions and Plans– Roles
• Social roles, Functions and Epistemic Roles
– Propositions and Propositional Attitudes• Intentions, Beliefs
– Expressions, Media
• 3 modules– Action, role, expression
© ESTRELLA, IST-2004-027655
Action (1): Agent
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
© ESTRELLA, IST-2004-027655
Action (2): Action
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
© ESTRELLA, IST-2004-027655
Role (1): Three types
• Epistemic RoleDefine the use of mental objects in reasoning.
• FunctionPlayed by physical objects (artifacts) to a certain
purpose
• Social Role– Organisation Role
Played by an actor ‘as a member of’ an organisation
– Person RolePlayed by an actor independent of organisational
context
© ESTRELLA, IST-2004-027655
Role (2): Overview
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
© ESTRELLA, IST-2004-027655
Expression (1): Proposition and Medium
• Proposition– Evaluative proposition
• Something which is evaluated, ‘judged’• Evaluatively comparable to some other eval.
Proposition• Evaluated by some evaluative attitude
– Expression• Externalised through some medium• Stated by some communicated attitude
• Medium– Bears expressions– e.g. Document: bears expressions stated by
some statement in writing
© ESTRELLA, IST-2004-027655
Expression (2): PA’s and Qualifications
• Held towards a proposition• Propositional Attitude
– Belief, Desire– Communicated Attitude
• Assertion, Declaration, Promise, Statment in Writing• Created through a Speech Act• Addressed to and uttered by some agent
– Evaluative Attitude• Expresses a judgment concerning some proposition
– Intention
• Qualification vs. Qualified
© ESTRELLA, IST-2004-027655
Expression (3): Epistemic Roles
• Evidence, Fact, Assumption, Expectation – Expectation is played by some P towards which a
belief is held. – Evidence is played by some P (towards which a
belief is held) which also plays some Observation.
• Observation– played by some PA which is observed by an
Agent.
• Reason, Argument, Cause– Reason is played by some P, Argument by some E
• Exception
© ESTRELLA, IST-2004-027655
Expression (4): Relations
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
© ESTRELLA, IST-2004-027655
Legal level
• Legal action defines– Public acts, public bodies, legal person, natural
person etc.
• Legal-role defines legal concepts related to roles– Legal professions etc. (more work needed)
• Norm module defines – Norms as qualifications (D1.1)– Legal sources,
• e.g. legal documents, customary law etc.
– Typology of rights and powers (Sartor (2006), Rubino et al. (2006))
© ESTRELLA, IST-2004-027655
Norm (1): Norms
• A Qualification which qualifies some Normatively Qualified
• Permission allows some/all Allowed– Obligation = Prohibition– Allows some/all Obliged and disallows some/all
Disallowed
• Rights– Sartor: the legal or moral entitlement to do or
refrain from doing something or to obtain or refrain from obtaining an action, thing or recogition in civil society.
– Liability, Liberty, Obligative, Exclusionary and Permissive rights.
© ESTRELLA, IST-2004-027655
Norm (2): Normatively Qualified
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
© ESTRELLA, IST-2004-027655
Norm (3): Legal Sources
© ESTRELLA, IST-2004-027655
Legal Action
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
© ESTRELLA, IST-2004-027655
Frameworks
• Rules– Vocabulary of Tom Gordon’s LKIF rule language– Epistemic Roles
• Modification– Classification of modifications of legal texts
(Monica Palmirani)
© ESTRELLA, IST-2004-027655
Modification
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
© ESTRELLA, IST-2004-027655
Rules (& Epistemic Roles)
© ESTRELLA, IST-2004-027655
Problematic Things
• Inconsistencies– General Class Inclusion axioms
• Debugging– Entanglement of modules did not really help
© ESTRELLA, IST-2004-027655
TODO’s & Conclusions
• Connection Norms & Expressions• Legal Action & Role are underspecified• Connect MetaLex OWL model to LKIF-Core
• Try and use it!– Marcello’s Traffic– Raad van State
• Ontology URL– http://www.estrellaproject.org/lkif-core/lkif-core.owl
• Information– http://www.estrellaproject.org/lkif-core
• Documentation– http://www.estrellaproject.org/lkif-core/doc