1. © ESTRELLA, IST-2004-027655 A quick ‘n easy intro to LKIF Core Rinke Hoekstra

2. © ESTRELLA, IST-2004-027655 Overview The LKIF Core Ontology Design, Requirements & Methodology Modules –Top-level modules –Basic-level modules –Legal modules Q&A

3. © 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 http://www.estrellaproject.org/lkif-core Documentation at http://www.estrellaproject.org/lkif-core/doc http://www.estrellaproject.org/lkif-core/doc

4. © 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

5. © 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

6. © 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

7. © 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

8. © 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.

9. © ESTRELLA, IST-2004-027655 Mereology (1): Concepts

10. © ESTRELLA, IST-2004-027655 Mereology (2): Relations

11. © ESTRELLA, IST-2004-027655 Time (1): Concepts Based on Allen (1984)

12. © ESTRELLA, IST-2004-027655 Time (2): Relations

13. © ESTRELLA, IST-2004-027655 Place (1): Concepts Based on Donnelly (05)

14. © ESTRELLA, IST-2004-027655 Place (2): Relations

15. © ESTRELLA, IST-2004-027655 Process (1): Concepts

16. © ESTRELLA, IST-2004-027655 Process (2): Relations

17. © 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

18. © ESTRELLA, IST-2004-027655 Action (1): Agent

19. © ESTRELLA, IST-2004-027655 Action (2): Action

20. © ESTRELLA, IST-2004-027655 Role (1): Three types Epistemic Role Define the use of mental objects in reasoning. Function Played by physical objects (artifacts) to a certain purpose Social Role –Organisation Role Played by an actor ‘as a member of’ an organisation –Person Role Played by an actor independent of organisational context

21. © ESTRELLA, IST-2004-027655 Role (2): Overview

22. © 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

23. © 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

24. © 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

25. © ESTRELLA, IST-2004-027655 Expression (4): Relations

26. © 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))

27. © 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.

28. © ESTRELLA, IST-2004-027655 Norm (2): Normatively Qualified

29. © ESTRELLA, IST-2004-027655 Norm (3): Legal Sources

30. © ESTRELLA, IST-2004-027655 Legal Action

31. © 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)

32. © ESTRELLA, IST-2004-027655 Modification

33. © ESTRELLA, IST-2004-027655 Rules (& Epistemic Roles)

34. © ESTRELLA, IST-2004-027655 Problematic Things Inconsistencies –General Class Inclusion axioms Debugging –Entanglement of modules did not really help

35. © 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.owlhttp://www.estrellaproject.org/lkif-core/lkif-core.owl Information –http://www.estrellaproject.org/lkif-corehttp://www.estrellaproject.org/lkif-core Documentation –http://www.estrellaproject.org/lkif-core/dochttp://www.estrellaproject.org/lkif-core/doc