SlideShare a Scribd company logo
A quick ‘n easy intro to LKIF Core Rinke Hoekstra
Overview The LKIF Core Ontology Design, Requirements & Methodology Modules Top-level modules Basic-level modules Legal modules Q&A
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
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
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
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
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
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.
Mereology (1): Concepts
Mereology (2): Relations
Time (1): Concepts Based on Allen (1984)
Time (2): Relations
Place (1): Concepts Based on Donnelly (05)
Place (2): Relations
Process (1): Concepts
Process (2): Relations
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
Action (1): Agent
Action (2): Action
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
Role (2): Overview
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
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
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
Expression (4): Relations
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))
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.
Norm (2): Normatively Qualified
Norm (3): Legal Sources
Legal Action
Frameworks Rules Vocabulary of Tom Gordon’s LKIF rule language Epistemic Roles Modification Classification of modifications of legal texts (Monica Palmirani)
Modification
Rules (& Epistemic Roles)
Problematic Things Inconsistencies General Class Inclusion axioms Debugging Entanglement of modules did not really help
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

More Related Content

Similar to Leibniz Meeting 20070405

Prior to beginning work on this discussion read Hill (2013) Partner.docx
Prior to beginning work on this discussion read Hill (2013) Partner.docxPrior to beginning work on this discussion read Hill (2013) Partner.docx
Prior to beginning work on this discussion read Hill (2013) Partner.docx
keilenettie
 
Prior to beginning work on this discussion read Hill (2013) Partn.docx
Prior to beginning work on this discussion read Hill (2013) Partn.docxPrior to beginning work on this discussion read Hill (2013) Partn.docx
Prior to beginning work on this discussion read Hill (2013) Partn.docx
arleanemlerpj
 
I need about 120 words for each question and prefer to have each que.docx
I need about 120 words for each question and prefer to have each que.docxI need about 120 words for each question and prefer to have each que.docx
I need about 120 words for each question and prefer to have each que.docx
florriezhamphrey3065
 
Introduction to Legal Research Methodology
Introduction to Legal Research MethodologyIntroduction to Legal Research Methodology
Introduction to Legal Research Methodology
NishkaPrajapati
 
Paper B1 a matrix mapping of a key IT-related organizational (or pe.docx
Paper B1 a matrix mapping of a key IT-related organizational (or pe.docxPaper B1 a matrix mapping of a key IT-related organizational (or pe.docx
Paper B1 a matrix mapping of a key IT-related organizational (or pe.docx
jakeomoore75037
 
InstructionsPaper B1 a matrix mapping of a key IT-related organ
InstructionsPaper B1 a matrix mapping of a key IT-related organInstructionsPaper B1 a matrix mapping of a key IT-related organ
InstructionsPaper B1 a matrix mapping of a key IT-related organ
lauricesatu
 
IDS 400 Milestone Four Guidelines and Rubric Analyzing an .docx
IDS 400 Milestone Four Guidelines and Rubric Analyzing an .docxIDS 400 Milestone Four Guidelines and Rubric Analyzing an .docx
IDS 400 Milestone Four Guidelines and Rubric Analyzing an .docx
alanrgibson41217
 
Norms in Multi Agent Systems
Norms in Multi Agent SystemsNorms in Multi Agent Systems
Norms in Multi Agent Systems
harrikipper
 
Picture 1Picture 2InstructionsPaper B1 a matri.docx
Picture 1Picture 2InstructionsPaper B1 a matri.docxPicture 1Picture 2InstructionsPaper B1 a matri.docx
Picture 1Picture 2InstructionsPaper B1 a matri.docx
mattjtoni51554
 
Planning, Negotiating & Implementation Assignment
Planning, Negotiating & Implementation Assignment                 Planning, Negotiating & Implementation Assignment
Planning, Negotiating & Implementation Assignment
dessiechisomjj4
 
Karl N. Llewellyn 0503 Intro
Karl N. Llewellyn 0503 IntroKarl N. Llewellyn 0503 Intro
Karl N. Llewellyn 0503 Intro
中鶴 林
 
Running head METHODS USED IN CYBER WARFARE1METHODS USED IN CYB.docx
Running head METHODS USED IN CYBER WARFARE1METHODS USED IN CYB.docxRunning head METHODS USED IN CYBER WARFARE1METHODS USED IN CYB.docx
Running head METHODS USED IN CYBER WARFARE1METHODS USED IN CYB.docx
jeanettehully
 
Indept fgd kelembagaan bbptp (yuti)
Indept fgd kelembagaan   bbptp (yuti)Indept fgd kelembagaan   bbptp (yuti)
Indept fgd kelembagaan bbptp (yuti)
Syahyuti Si-Buyuang
 
13 Leadership EthicsDescriptionThis chapter is different from .docx
13 Leadership EthicsDescriptionThis chapter is different from .docx13 Leadership EthicsDescriptionThis chapter is different from .docx
13 Leadership EthicsDescriptionThis chapter is different from .docx
drennanmicah
 
STEPS OF THE ETHICAL STEPS OF THE ETHICAL DECISIONDECISION--.docx
STEPS OF THE ETHICAL STEPS OF THE ETHICAL DECISIONDECISION--.docxSTEPS OF THE ETHICAL STEPS OF THE ETHICAL DECISIONDECISION--.docx
STEPS OF THE ETHICAL STEPS OF THE ETHICAL DECISIONDECISION--.docx
whitneyleman54422
 
Overview In this you will look at Wheel.docx
Overview In this you will look at Wheel.docxOverview In this you will look at Wheel.docx
Overview In this you will look at Wheel.docx
stirlingvwriters
 
Forms of discourse analysis
Forms of discourse analysisForms of discourse analysis
Forms of discourse analysis
Lela Mosemghvdlishvili
 
Data Model vs Ontology Development – a FIBO perspective | Mike Bennett
Data Model vs Ontology Development – a FIBO perspective | Mike BennettData Model vs Ontology Development – a FIBO perspective | Mike Bennett
Data Model vs Ontology Development – a FIBO perspective | Mike Bennett
Connected Data World
 
This assignment gives you an opportunity to analyze a key IT-rel.docx
This assignment gives you an opportunity to analyze a key IT-rel.docxThis assignment gives you an opportunity to analyze a key IT-rel.docx
This assignment gives you an opportunity to analyze a key IT-rel.docx
gasciognecaren
 
RUBRICAll Major Elements Included 1.Clear & Limiting Title (tel.docx
RUBRICAll Major Elements Included 1.Clear & Limiting Title (tel.docxRUBRICAll Major Elements Included 1.Clear & Limiting Title (tel.docx
RUBRICAll Major Elements Included 1.Clear & Limiting Title (tel.docx
toddr4
 

Similar to Leibniz Meeting 20070405 (20)

Prior to beginning work on this discussion read Hill (2013) Partner.docx
Prior to beginning work on this discussion read Hill (2013) Partner.docxPrior to beginning work on this discussion read Hill (2013) Partner.docx
Prior to beginning work on this discussion read Hill (2013) Partner.docx
 
Prior to beginning work on this discussion read Hill (2013) Partn.docx
Prior to beginning work on this discussion read Hill (2013) Partn.docxPrior to beginning work on this discussion read Hill (2013) Partn.docx
Prior to beginning work on this discussion read Hill (2013) Partn.docx
 
I need about 120 words for each question and prefer to have each que.docx
I need about 120 words for each question and prefer to have each que.docxI need about 120 words for each question and prefer to have each que.docx
I need about 120 words for each question and prefer to have each que.docx
 
Introduction to Legal Research Methodology
Introduction to Legal Research MethodologyIntroduction to Legal Research Methodology
Introduction to Legal Research Methodology
 
Paper B1 a matrix mapping of a key IT-related organizational (or pe.docx
Paper B1 a matrix mapping of a key IT-related organizational (or pe.docxPaper B1 a matrix mapping of a key IT-related organizational (or pe.docx
Paper B1 a matrix mapping of a key IT-related organizational (or pe.docx
 
InstructionsPaper B1 a matrix mapping of a key IT-related organ
InstructionsPaper B1 a matrix mapping of a key IT-related organInstructionsPaper B1 a matrix mapping of a key IT-related organ
InstructionsPaper B1 a matrix mapping of a key IT-related organ
 
IDS 400 Milestone Four Guidelines and Rubric Analyzing an .docx
IDS 400 Milestone Four Guidelines and Rubric Analyzing an .docxIDS 400 Milestone Four Guidelines and Rubric Analyzing an .docx
IDS 400 Milestone Four Guidelines and Rubric Analyzing an .docx
 
Norms in Multi Agent Systems
Norms in Multi Agent SystemsNorms in Multi Agent Systems
Norms in Multi Agent Systems
 
Picture 1Picture 2InstructionsPaper B1 a matri.docx
Picture 1Picture 2InstructionsPaper B1 a matri.docxPicture 1Picture 2InstructionsPaper B1 a matri.docx
Picture 1Picture 2InstructionsPaper B1 a matri.docx
 
Planning, Negotiating & Implementation Assignment
Planning, Negotiating & Implementation Assignment                 Planning, Negotiating & Implementation Assignment
Planning, Negotiating & Implementation Assignment
 
Karl N. Llewellyn 0503 Intro
Karl N. Llewellyn 0503 IntroKarl N. Llewellyn 0503 Intro
Karl N. Llewellyn 0503 Intro
 
Running head METHODS USED IN CYBER WARFARE1METHODS USED IN CYB.docx
Running head METHODS USED IN CYBER WARFARE1METHODS USED IN CYB.docxRunning head METHODS USED IN CYBER WARFARE1METHODS USED IN CYB.docx
Running head METHODS USED IN CYBER WARFARE1METHODS USED IN CYB.docx
 
Indept fgd kelembagaan bbptp (yuti)
Indept fgd kelembagaan   bbptp (yuti)Indept fgd kelembagaan   bbptp (yuti)
Indept fgd kelembagaan bbptp (yuti)
 
13 Leadership EthicsDescriptionThis chapter is different from .docx
13 Leadership EthicsDescriptionThis chapter is different from .docx13 Leadership EthicsDescriptionThis chapter is different from .docx
13 Leadership EthicsDescriptionThis chapter is different from .docx
 
STEPS OF THE ETHICAL STEPS OF THE ETHICAL DECISIONDECISION--.docx
STEPS OF THE ETHICAL STEPS OF THE ETHICAL DECISIONDECISION--.docxSTEPS OF THE ETHICAL STEPS OF THE ETHICAL DECISIONDECISION--.docx
STEPS OF THE ETHICAL STEPS OF THE ETHICAL DECISIONDECISION--.docx
 
Overview In this you will look at Wheel.docx
Overview In this you will look at Wheel.docxOverview In this you will look at Wheel.docx
Overview In this you will look at Wheel.docx
 
Forms of discourse analysis
Forms of discourse analysisForms of discourse analysis
Forms of discourse analysis
 
Data Model vs Ontology Development – a FIBO perspective | Mike Bennett
Data Model vs Ontology Development – a FIBO perspective | Mike BennettData Model vs Ontology Development – a FIBO perspective | Mike Bennett
Data Model vs Ontology Development – a FIBO perspective | Mike Bennett
 
This assignment gives you an opportunity to analyze a key IT-rel.docx
This assignment gives you an opportunity to analyze a key IT-rel.docxThis assignment gives you an opportunity to analyze a key IT-rel.docx
This assignment gives you an opportunity to analyze a key IT-rel.docx
 
RUBRICAll Major Elements Included 1.Clear & Limiting Title (tel.docx
RUBRICAll Major Elements Included 1.Clear & Limiting Title (tel.docxRUBRICAll Major Elements Included 1.Clear & Limiting Title (tel.docx
RUBRICAll Major Elements Included 1.Clear & Limiting Title (tel.docx
 

More from Rinke Hoekstra

Knowledge Representation on the Web
Knowledge Representation on the WebKnowledge Representation on the Web
Knowledge Representation on the Web
Rinke Hoekstra
 
Managing Metadata for Science and Technology Studies: the RISIS case
Managing Metadata for Science and Technology Studies: the RISIS caseManaging Metadata for Science and Technology Studies: the RISIS case
Managing Metadata for Science and Technology Studies: the RISIS case
Rinke Hoekstra
 
An Ecosystem for Linked Humanities Data
An Ecosystem for Linked Humanities DataAn Ecosystem for Linked Humanities Data
An Ecosystem for Linked Humanities Data
Rinke Hoekstra
 
QBer - Connect your data to the cloud
QBer - Connect your data to the cloudQBer - Connect your data to the cloud
QBer - Connect your data to the cloud
Rinke Hoekstra
 
Jurix 2014 welcome presentation
Jurix 2014 welcome presentationJurix 2014 welcome presentation
Jurix 2014 welcome presentation
Rinke Hoekstra
 
Provenance and Reuse of Open Data (PILOD 2.0 June 2014)
Provenance and Reuse of Open Data (PILOD 2.0 June 2014)Provenance and Reuse of Open Data (PILOD 2.0 June 2014)
Provenance and Reuse of Open Data (PILOD 2.0 June 2014)
Rinke Hoekstra
 
Prov-O-Viz: Interactive Provenance Visualization
Prov-O-Viz: Interactive Provenance VisualizationProv-O-Viz: Interactive Provenance Visualization
Prov-O-Viz: Interactive Provenance Visualization
Rinke Hoekstra
 
Linkitup: Link Discovery for Research Data
Linkitup: Link Discovery for Research DataLinkitup: Link Discovery for Research Data
Linkitup: Link Discovery for Research Data
Rinke Hoekstra
 
A Network Analysis of Dutch Regulations - Using the Metalex Document Server
A Network Analysis of Dutch Regulations - Using the Metalex Document ServerA Network Analysis of Dutch Regulations - Using the Metalex Document Server
A Network Analysis of Dutch Regulations - Using the Metalex Document Server
Rinke Hoekstra
 
Linked (Open) Data - But what does it buy me?
Linked (Open) Data - But what does it buy me?Linked (Open) Data - But what does it buy me?
Linked (Open) Data - But what does it buy me?
Rinke Hoekstra
 
Linked Science - Building a Web of Research Data
Linked Science - Building a Web of Research DataLinked Science - Building a Web of Research Data
Linked Science - Building a Web of Research Data
Rinke Hoekstra
 
COMMIT/VIVO
COMMIT/VIVOCOMMIT/VIVO
COMMIT/VIVO
Rinke Hoekstra
 
Semantic Representations for Research
Semantic Representations for ResearchSemantic Representations for Research
Semantic Representations for Research
Rinke Hoekstra
 
A Slightly Different Web of Data
A Slightly Different Web of DataA Slightly Different Web of Data
A Slightly Different Web of Data
Rinke Hoekstra
 
The Knowledge Reengineering Bottleneck
The Knowledge Reengineering BottleneckThe Knowledge Reengineering Bottleneck
The Knowledge Reengineering Bottleneck
Rinke Hoekstra
 
Linked Census Data
Linked Census DataLinked Census Data
Linked Census Data
Rinke Hoekstra
 
Concept- en Definitie Extractie
Concept- en Definitie ExtractieConcept- en Definitie Extractie
Concept- en Definitie Extractie
Rinke Hoekstra
 
SIKS 2011 Semantic Web Languages
SIKS 2011 Semantic Web LanguagesSIKS 2011 Semantic Web Languages
SIKS 2011 Semantic Web Languages
Rinke Hoekstra
 
The MetaLex Document Server - Legal Documents as Versioned Linked Data
The MetaLex Document Server - Legal Documents as Versioned Linked DataThe MetaLex Document Server - Legal Documents as Versioned Linked Data
The MetaLex Document Server - Legal Documents as Versioned Linked Data
Rinke Hoekstra
 
Querying the Web of Data
Querying the Web of DataQuerying the Web of Data
Querying the Web of Data
Rinke Hoekstra
 

More from Rinke Hoekstra (20)

Knowledge Representation on the Web
Knowledge Representation on the WebKnowledge Representation on the Web
Knowledge Representation on the Web
 
Managing Metadata for Science and Technology Studies: the RISIS case
Managing Metadata for Science and Technology Studies: the RISIS caseManaging Metadata for Science and Technology Studies: the RISIS case
Managing Metadata for Science and Technology Studies: the RISIS case
 
An Ecosystem for Linked Humanities Data
An Ecosystem for Linked Humanities DataAn Ecosystem for Linked Humanities Data
An Ecosystem for Linked Humanities Data
 
QBer - Connect your data to the cloud
QBer - Connect your data to the cloudQBer - Connect your data to the cloud
QBer - Connect your data to the cloud
 
Jurix 2014 welcome presentation
Jurix 2014 welcome presentationJurix 2014 welcome presentation
Jurix 2014 welcome presentation
 
Provenance and Reuse of Open Data (PILOD 2.0 June 2014)
Provenance and Reuse of Open Data (PILOD 2.0 June 2014)Provenance and Reuse of Open Data (PILOD 2.0 June 2014)
Provenance and Reuse of Open Data (PILOD 2.0 June 2014)
 
Prov-O-Viz: Interactive Provenance Visualization
Prov-O-Viz: Interactive Provenance VisualizationProv-O-Viz: Interactive Provenance Visualization
Prov-O-Viz: Interactive Provenance Visualization
 
Linkitup: Link Discovery for Research Data
Linkitup: Link Discovery for Research DataLinkitup: Link Discovery for Research Data
Linkitup: Link Discovery for Research Data
 
A Network Analysis of Dutch Regulations - Using the Metalex Document Server
A Network Analysis of Dutch Regulations - Using the Metalex Document ServerA Network Analysis of Dutch Regulations - Using the Metalex Document Server
A Network Analysis of Dutch Regulations - Using the Metalex Document Server
 
Linked (Open) Data - But what does it buy me?
Linked (Open) Data - But what does it buy me?Linked (Open) Data - But what does it buy me?
Linked (Open) Data - But what does it buy me?
 
Linked Science - Building a Web of Research Data
Linked Science - Building a Web of Research DataLinked Science - Building a Web of Research Data
Linked Science - Building a Web of Research Data
 
COMMIT/VIVO
COMMIT/VIVOCOMMIT/VIVO
COMMIT/VIVO
 
Semantic Representations for Research
Semantic Representations for ResearchSemantic Representations for Research
Semantic Representations for Research
 
A Slightly Different Web of Data
A Slightly Different Web of DataA Slightly Different Web of Data
A Slightly Different Web of Data
 
The Knowledge Reengineering Bottleneck
The Knowledge Reengineering BottleneckThe Knowledge Reengineering Bottleneck
The Knowledge Reengineering Bottleneck
 
Linked Census Data
Linked Census DataLinked Census Data
Linked Census Data
 
Concept- en Definitie Extractie
Concept- en Definitie ExtractieConcept- en Definitie Extractie
Concept- en Definitie Extractie
 
SIKS 2011 Semantic Web Languages
SIKS 2011 Semantic Web LanguagesSIKS 2011 Semantic Web Languages
SIKS 2011 Semantic Web Languages
 
The MetaLex Document Server - Legal Documents as Versioned Linked Data
The MetaLex Document Server - Legal Documents as Versioned Linked DataThe MetaLex Document Server - Legal Documents as Versioned Linked Data
The MetaLex Document Server - Legal Documents as Versioned Linked Data
 
Querying the Web of Data
Querying the Web of DataQuerying the Web of Data
Querying the Web of Data
 

Recently uploaded

Using LLM Agents with Llama 3, LangGraph and Milvus
Using LLM Agents with Llama 3, LangGraph and MilvusUsing LLM Agents with Llama 3, LangGraph and Milvus
Using LLM Agents with Llama 3, LangGraph and Milvus
Zilliz
 
Tailored CRM Software Development for Enhanced Customer Insights
Tailored CRM Software Development for Enhanced Customer InsightsTailored CRM Software Development for Enhanced Customer Insights
Tailored CRM Software Development for Enhanced Customer Insights
SynapseIndia
 
Google I/O Extended Harare Merged Slides
Google I/O Extended Harare Merged SlidesGoogle I/O Extended Harare Merged Slides
Google I/O Extended Harare Merged Slides
Google Developer Group - Harare
 
Russian Girls Call Navi Mumbai 🎈🔥9920725232 🔥💋🎈 Provide Best And Top Girl Ser...
Russian Girls Call Navi Mumbai 🎈🔥9920725232 🔥💋🎈 Provide Best And Top Girl Ser...Russian Girls Call Navi Mumbai 🎈🔥9920725232 🔥💋🎈 Provide Best And Top Girl Ser...
Russian Girls Call Navi Mumbai 🎈🔥9920725232 🔥💋🎈 Provide Best And Top Girl Ser...
bellared2
 
High Profile Girls call Service Pune 000XX00000 Provide Best And Top Girl Ser...
High Profile Girls call Service Pune 000XX00000 Provide Best And Top Girl Ser...High Profile Girls call Service Pune 000XX00000 Provide Best And Top Girl Ser...
High Profile Girls call Service Pune 000XX00000 Provide Best And Top Girl Ser...
bhumivarma35300
 
EuroPython 2024 - Streamlining Testing in a Large Python Codebase
EuroPython 2024 - Streamlining Testing in a Large Python CodebaseEuroPython 2024 - Streamlining Testing in a Large Python Codebase
EuroPython 2024 - Streamlining Testing in a Large Python Codebase
Jimmy Lai
 
Step-By-Step Process to Develop a Mobile App From Scratch
Step-By-Step Process to Develop a Mobile App From ScratchStep-By-Step Process to Develop a Mobile App From Scratch
Step-By-Step Process to Develop a Mobile App From Scratch
softsuave
 
Computer HARDWARE presenattion by CWD students class 10
Computer HARDWARE presenattion by CWD students class 10Computer HARDWARE presenattion by CWD students class 10
Computer HARDWARE presenattion by CWD students class 10
ankush9927
 
Acumatica vs. Sage Intacct _Construction_July (1).pptx
Acumatica vs. Sage Intacct _Construction_July (1).pptxAcumatica vs. Sage Intacct _Construction_July (1).pptx
Acumatica vs. Sage Intacct _Construction_July (1).pptx
BrainSell Technologies
 
Patch Tuesday de julio
Patch Tuesday de julioPatch Tuesday de julio
Patch Tuesday de julio
Ivanti
 
Opencast Summit 2024 — Opencast @ University of Münster
Opencast Summit 2024 — Opencast @ University of MünsterOpencast Summit 2024 — Opencast @ University of Münster
Opencast Summit 2024 — Opencast @ University of Münster
Matthias Neugebauer
 
The Path to General-Purpose Robots - Coatue
The Path to General-Purpose Robots - CoatueThe Path to General-Purpose Robots - Coatue
The Path to General-Purpose Robots - Coatue
Razin Mustafiz
 
Semantic-Aware Code Model: Elevating the Future of Software Development
Semantic-Aware Code Model: Elevating the Future of Software DevelopmentSemantic-Aware Code Model: Elevating the Future of Software Development
Semantic-Aware Code Model: Elevating the Future of Software Development
Baishakhi Ray
 
It's your unstructured data: How to get your GenAI app to production (and spe...
It's your unstructured data: How to get your GenAI app to production (and spe...It's your unstructured data: How to get your GenAI app to production (and spe...
It's your unstructured data: How to get your GenAI app to production (and spe...
Zilliz
 
Types of Weaving loom machine & it's technology
Types of Weaving loom machine & it's technologyTypes of Weaving loom machine & it's technology
Types of Weaving loom machine & it's technology
ldtexsolbl
 
Vertex AI Agent Builder - GDG Alicante - Julio 2024
Vertex AI Agent Builder - GDG Alicante - Julio 2024Vertex AI Agent Builder - GDG Alicante - Julio 2024
Vertex AI Agent Builder - GDG Alicante - Julio 2024
Nicolás Lopéz
 
UX Webinar Series: Essentials for Adopting Passkeys as the Foundation of your...
UX Webinar Series: Essentials for Adopting Passkeys as the Foundation of your...UX Webinar Series: Essentials for Adopting Passkeys as the Foundation of your...
UX Webinar Series: Essentials for Adopting Passkeys as the Foundation of your...
FIDO Alliance
 
Acumatica vs. Sage Intacct vs. NetSuite _ NOW CFO.pdf
Acumatica vs. Sage Intacct vs. NetSuite _ NOW CFO.pdfAcumatica vs. Sage Intacct vs. NetSuite _ NOW CFO.pdf
Acumatica vs. Sage Intacct vs. NetSuite _ NOW CFO.pdf
BrainSell Technologies
 
Feature sql server terbaru performance.pptx
Feature sql server terbaru performance.pptxFeature sql server terbaru performance.pptx
Feature sql server terbaru performance.pptx
ssuser1915fe1
 
Communications Mining Series - Zero to Hero - Session 3
Communications Mining Series - Zero to Hero - Session 3Communications Mining Series - Zero to Hero - Session 3
Communications Mining Series - Zero to Hero - Session 3
DianaGray10
 

Recently uploaded (20)

Using LLM Agents with Llama 3, LangGraph and Milvus
Using LLM Agents with Llama 3, LangGraph and MilvusUsing LLM Agents with Llama 3, LangGraph and Milvus
Using LLM Agents with Llama 3, LangGraph and Milvus
 
Tailored CRM Software Development for Enhanced Customer Insights
Tailored CRM Software Development for Enhanced Customer InsightsTailored CRM Software Development for Enhanced Customer Insights
Tailored CRM Software Development for Enhanced Customer Insights
 
Google I/O Extended Harare Merged Slides
Google I/O Extended Harare Merged SlidesGoogle I/O Extended Harare Merged Slides
Google I/O Extended Harare Merged Slides
 
Russian Girls Call Navi Mumbai 🎈🔥9920725232 🔥💋🎈 Provide Best And Top Girl Ser...
Russian Girls Call Navi Mumbai 🎈🔥9920725232 🔥💋🎈 Provide Best And Top Girl Ser...Russian Girls Call Navi Mumbai 🎈🔥9920725232 🔥💋🎈 Provide Best And Top Girl Ser...
Russian Girls Call Navi Mumbai 🎈🔥9920725232 🔥💋🎈 Provide Best And Top Girl Ser...
 
High Profile Girls call Service Pune 000XX00000 Provide Best And Top Girl Ser...
High Profile Girls call Service Pune 000XX00000 Provide Best And Top Girl Ser...High Profile Girls call Service Pune 000XX00000 Provide Best And Top Girl Ser...
High Profile Girls call Service Pune 000XX00000 Provide Best And Top Girl Ser...
 
EuroPython 2024 - Streamlining Testing in a Large Python Codebase
EuroPython 2024 - Streamlining Testing in a Large Python CodebaseEuroPython 2024 - Streamlining Testing in a Large Python Codebase
EuroPython 2024 - Streamlining Testing in a Large Python Codebase
 
Step-By-Step Process to Develop a Mobile App From Scratch
Step-By-Step Process to Develop a Mobile App From ScratchStep-By-Step Process to Develop a Mobile App From Scratch
Step-By-Step Process to Develop a Mobile App From Scratch
 
Computer HARDWARE presenattion by CWD students class 10
Computer HARDWARE presenattion by CWD students class 10Computer HARDWARE presenattion by CWD students class 10
Computer HARDWARE presenattion by CWD students class 10
 
Acumatica vs. Sage Intacct _Construction_July (1).pptx
Acumatica vs. Sage Intacct _Construction_July (1).pptxAcumatica vs. Sage Intacct _Construction_July (1).pptx
Acumatica vs. Sage Intacct _Construction_July (1).pptx
 
Patch Tuesday de julio
Patch Tuesday de julioPatch Tuesday de julio
Patch Tuesday de julio
 
Opencast Summit 2024 — Opencast @ University of Münster
Opencast Summit 2024 — Opencast @ University of MünsterOpencast Summit 2024 — Opencast @ University of Münster
Opencast Summit 2024 — Opencast @ University of Münster
 
The Path to General-Purpose Robots - Coatue
The Path to General-Purpose Robots - CoatueThe Path to General-Purpose Robots - Coatue
The Path to General-Purpose Robots - Coatue
 
Semantic-Aware Code Model: Elevating the Future of Software Development
Semantic-Aware Code Model: Elevating the Future of Software DevelopmentSemantic-Aware Code Model: Elevating the Future of Software Development
Semantic-Aware Code Model: Elevating the Future of Software Development
 
It's your unstructured data: How to get your GenAI app to production (and spe...
It's your unstructured data: How to get your GenAI app to production (and spe...It's your unstructured data: How to get your GenAI app to production (and spe...
It's your unstructured data: How to get your GenAI app to production (and spe...
 
Types of Weaving loom machine & it's technology
Types of Weaving loom machine & it's technologyTypes of Weaving loom machine & it's technology
Types of Weaving loom machine & it's technology
 
Vertex AI Agent Builder - GDG Alicante - Julio 2024
Vertex AI Agent Builder - GDG Alicante - Julio 2024Vertex AI Agent Builder - GDG Alicante - Julio 2024
Vertex AI Agent Builder - GDG Alicante - Julio 2024
 
UX Webinar Series: Essentials for Adopting Passkeys as the Foundation of your...
UX Webinar Series: Essentials for Adopting Passkeys as the Foundation of your...UX Webinar Series: Essentials for Adopting Passkeys as the Foundation of your...
UX Webinar Series: Essentials for Adopting Passkeys as the Foundation of your...
 
Acumatica vs. Sage Intacct vs. NetSuite _ NOW CFO.pdf
Acumatica vs. Sage Intacct vs. NetSuite _ NOW CFO.pdfAcumatica vs. Sage Intacct vs. NetSuite _ NOW CFO.pdf
Acumatica vs. Sage Intacct vs. NetSuite _ NOW CFO.pdf
 
Feature sql server terbaru performance.pptx
Feature sql server terbaru performance.pptxFeature sql server terbaru performance.pptx
Feature sql server terbaru performance.pptx
 
Communications Mining Series - Zero to Hero - Session 3
Communications Mining Series - Zero to Hero - Session 3Communications Mining Series - Zero to Hero - Session 3
Communications Mining Series - Zero to Hero - Session 3
 

Leibniz Meeting 20070405

  • 1. A quick ‘n easy intro to LKIF Core Rinke Hoekstra
  • 2. Overview The LKIF Core Ontology Design, Requirements & Methodology Modules Top-level modules Basic-level modules Legal modules Q&A
  • 3. 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
  • 4. 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. 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. 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. 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. 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.
  • 11. Time (1): Concepts Based on Allen (1984)
  • 13. Place (1): Concepts Based on Donnelly (05)
  • 17. 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
  • 20. 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
  • 22. 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. 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. 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
  • 26. 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. 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.
  • 29. Norm (3): Legal Sources
  • 31. Frameworks Rules Vocabulary of Tom Gordon’s LKIF rule language Epistemic Roles Modification Classification of modifications of legal texts (Monica Palmirani)
  • 34. Problematic Things Inconsistencies General Class Inclusion axioms Debugging Entanglement of modules did not really help
  • 35. 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