Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base
Abstract The DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name (https://www.fnr.lu/projects/data-protection-regulation-compliance). It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the sema...
Ausführliche Beschreibung
Autor*in: |
Robaldo, Livio [verfasserIn] |
---|
Format: |
Artikel |
---|---|
Sprache: |
Englisch |
Erschienen: |
2019 |
---|
Schlagwörter: |
---|
Anmerkung: |
© Springer Nature B.V. 2019 |
---|
Übergeordnetes Werk: |
Enthalten in: Journal of logic, language and information - Springer Netherlands, 1992, 29(2019), 4 vom: 19. Nov., Seite 401-449 |
---|---|
Übergeordnetes Werk: |
volume:29 ; year:2019 ; number:4 ; day:19 ; month:11 ; pages:401-449 |
Links: |
---|
DOI / URN: |
10.1007/s10849-019-09309-z |
---|
Katalog-ID: |
OLC2120169969 |
---|
LEADER | 01000naa a22002652 4500 | ||
---|---|---|---|
001 | OLC2120169969 | ||
003 | DE-627 | ||
005 | 20230504174357.0 | ||
007 | tu | ||
008 | 230504s2019 xx ||||| 00| ||eng c | ||
024 | 7 | |a 10.1007/s10849-019-09309-z |2 doi | |
035 | |a (DE-627)OLC2120169969 | ||
035 | |a (DE-He213)s10849-019-09309-z-p | ||
040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
041 | |a eng | ||
082 | 0 | 4 | |a 400 |a 004 |q VZ |
084 | |a 7,11 |a 17,1 |2 ssgn | ||
084 | |a LING |q DE-30 |2 fid | ||
100 | 1 | |a Robaldo, Livio |e verfasserin |4 aut | |
245 | 1 | 0 | |a Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base |
264 | 1 | |c 2019 | |
336 | |a Text |b txt |2 rdacontent | ||
337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
338 | |a Band |b nc |2 rdacarrier | ||
500 | |a © Springer Nature B.V. 2019 | ||
520 | |a Abstract The DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name (https://www.fnr.lu/projects/data-protection-regulation-compliance). It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the semantic and logical content of legal documents. The rules represent the provisions of the General Data Protection Regulation (GDPR), the new Regulation that is significantly affecting the digital market in the European Union and beyond. The DAPRECO knowledge base builds upon the Privacy Ontology (PrOnto) (Palmirani et al in Proceedings of the 7th international conference on electronic government and the information systems perspective: technology-enabled innovation for democracy, government and governance, 2018c), which provides a model for the legal concepts involved in the GDPR, by adding a further layer of constraints in the form of if-then rules, referring either to standard first order logic implications or to deontic statements. If-then rules are formalized in reified Input/Output logic (Robaldo and Sun in J Log Comput 7, 2017) and then codified in LegalRuleML. Reified Input/Output logic is an application of standard Input/Output logic for legal reasoning, in which Input/Output logic is combined with the reification-based approach in Hobbs and Gordon (A formal theory of commonsense psychology, how people think people think. Cambridge University Press, Cambridge, 2017). The DAPRECO knowledge base is then a case study for reified Input/Output logic, and it shows that the formalism indeed appears to be a good candidate to effectively formalize, via uniform and simple (flat) representations, complex linguistic/deontic phenomena that may be found in legal texts. To date, the DAPRECO knowledge base is the biggest knowledge base in LegalRuleML and Input/Output logic freely available online (https://github.com/dapreco/daprecokb/blob/master/gdpr/rioKB_GDPR.xml). | ||
650 | 4 | |a Deontic logic | |
650 | 4 | |a Reification | |
650 | 4 | |a Legal Informatics | |
700 | 1 | |a Bartolini, Cesare |4 aut | |
700 | 1 | |a Palmirani, Monica |4 aut | |
700 | 1 | |a Rossi, Arianna |4 aut | |
700 | 1 | |a Martoni, Michele |4 aut | |
700 | 1 | |a Lenzini, Gabriele |4 aut | |
773 | 0 | 8 | |i Enthalten in |t Journal of logic, language and information |d Springer Netherlands, 1992 |g 29(2019), 4 vom: 19. Nov., Seite 401-449 |w (DE-627)131091077 |w (DE-600)1115400-7 |w (DE-576)029170230 |x 0925-8531 |7 nnns |
773 | 1 | 8 | |g volume:29 |g year:2019 |g number:4 |g day:19 |g month:11 |g pages:401-449 |
856 | 4 | 1 | |u https://doi.org/10.1007/s10849-019-09309-z |z lizenzpflichtig |3 Volltext |
912 | |a GBV_USEFLAG_A | ||
912 | |a SYSFLAG_A | ||
912 | |a GBV_OLC | ||
912 | |a FID-LING | ||
912 | |a SSG-OLC-TEC | ||
912 | |a SSG-OLC-MAT | ||
912 | |a SSG-OLC-BUB | ||
912 | |a SSG-OPC-MAT | ||
912 | |a GBV_ILN_70 | ||
912 | |a GBV_ILN_4012 | ||
951 | |a AR | ||
952 | |d 29 |j 2019 |e 4 |b 19 |c 11 |h 401-449 |
author_variant |
l r lr c b cb m p mp a r ar m m mm g l gl |
---|---|
matchkey_str |
article:09258531:2019----::omlzngppoiiniriidooitear |
hierarchy_sort_str |
2019 |
publishDate |
2019 |
allfields |
10.1007/s10849-019-09309-z doi (DE-627)OLC2120169969 (DE-He213)s10849-019-09309-z-p DE-627 ger DE-627 rakwb eng 400 004 VZ 7,11 17,1 ssgn LING DE-30 fid Robaldo, Livio verfasserin aut Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base 2019 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer Nature B.V. 2019 Abstract The DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name (https://www.fnr.lu/projects/data-protection-regulation-compliance). It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the semantic and logical content of legal documents. The rules represent the provisions of the General Data Protection Regulation (GDPR), the new Regulation that is significantly affecting the digital market in the European Union and beyond. The DAPRECO knowledge base builds upon the Privacy Ontology (PrOnto) (Palmirani et al in Proceedings of the 7th international conference on electronic government and the information systems perspective: technology-enabled innovation for democracy, government and governance, 2018c), which provides a model for the legal concepts involved in the GDPR, by adding a further layer of constraints in the form of if-then rules, referring either to standard first order logic implications or to deontic statements. If-then rules are formalized in reified Input/Output logic (Robaldo and Sun in J Log Comput 7, 2017) and then codified in LegalRuleML. Reified Input/Output logic is an application of standard Input/Output logic for legal reasoning, in which Input/Output logic is combined with the reification-based approach in Hobbs and Gordon (A formal theory of commonsense psychology, how people think people think. Cambridge University Press, Cambridge, 2017). The DAPRECO knowledge base is then a case study for reified Input/Output logic, and it shows that the formalism indeed appears to be a good candidate to effectively formalize, via uniform and simple (flat) representations, complex linguistic/deontic phenomena that may be found in legal texts. To date, the DAPRECO knowledge base is the biggest knowledge base in LegalRuleML and Input/Output logic freely available online (https://github.com/dapreco/daprecokb/blob/master/gdpr/rioKB_GDPR.xml). Deontic logic Reification Legal Informatics Bartolini, Cesare aut Palmirani, Monica aut Rossi, Arianna aut Martoni, Michele aut Lenzini, Gabriele aut Enthalten in Journal of logic, language and information Springer Netherlands, 1992 29(2019), 4 vom: 19. Nov., Seite 401-449 (DE-627)131091077 (DE-600)1115400-7 (DE-576)029170230 0925-8531 nnns volume:29 year:2019 number:4 day:19 month:11 pages:401-449 https://doi.org/10.1007/s10849-019-09309-z lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-LING SSG-OLC-TEC SSG-OLC-MAT SSG-OLC-BUB SSG-OPC-MAT GBV_ILN_70 GBV_ILN_4012 AR 29 2019 4 19 11 401-449 |
spelling |
10.1007/s10849-019-09309-z doi (DE-627)OLC2120169969 (DE-He213)s10849-019-09309-z-p DE-627 ger DE-627 rakwb eng 400 004 VZ 7,11 17,1 ssgn LING DE-30 fid Robaldo, Livio verfasserin aut Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base 2019 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer Nature B.V. 2019 Abstract The DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name (https://www.fnr.lu/projects/data-protection-regulation-compliance). It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the semantic and logical content of legal documents. The rules represent the provisions of the General Data Protection Regulation (GDPR), the new Regulation that is significantly affecting the digital market in the European Union and beyond. The DAPRECO knowledge base builds upon the Privacy Ontology (PrOnto) (Palmirani et al in Proceedings of the 7th international conference on electronic government and the information systems perspective: technology-enabled innovation for democracy, government and governance, 2018c), which provides a model for the legal concepts involved in the GDPR, by adding a further layer of constraints in the form of if-then rules, referring either to standard first order logic implications or to deontic statements. If-then rules are formalized in reified Input/Output logic (Robaldo and Sun in J Log Comput 7, 2017) and then codified in LegalRuleML. Reified Input/Output logic is an application of standard Input/Output logic for legal reasoning, in which Input/Output logic is combined with the reification-based approach in Hobbs and Gordon (A formal theory of commonsense psychology, how people think people think. Cambridge University Press, Cambridge, 2017). The DAPRECO knowledge base is then a case study for reified Input/Output logic, and it shows that the formalism indeed appears to be a good candidate to effectively formalize, via uniform and simple (flat) representations, complex linguistic/deontic phenomena that may be found in legal texts. To date, the DAPRECO knowledge base is the biggest knowledge base in LegalRuleML and Input/Output logic freely available online (https://github.com/dapreco/daprecokb/blob/master/gdpr/rioKB_GDPR.xml). Deontic logic Reification Legal Informatics Bartolini, Cesare aut Palmirani, Monica aut Rossi, Arianna aut Martoni, Michele aut Lenzini, Gabriele aut Enthalten in Journal of logic, language and information Springer Netherlands, 1992 29(2019), 4 vom: 19. Nov., Seite 401-449 (DE-627)131091077 (DE-600)1115400-7 (DE-576)029170230 0925-8531 nnns volume:29 year:2019 number:4 day:19 month:11 pages:401-449 https://doi.org/10.1007/s10849-019-09309-z lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-LING SSG-OLC-TEC SSG-OLC-MAT SSG-OLC-BUB SSG-OPC-MAT GBV_ILN_70 GBV_ILN_4012 AR 29 2019 4 19 11 401-449 |
allfields_unstemmed |
10.1007/s10849-019-09309-z doi (DE-627)OLC2120169969 (DE-He213)s10849-019-09309-z-p DE-627 ger DE-627 rakwb eng 400 004 VZ 7,11 17,1 ssgn LING DE-30 fid Robaldo, Livio verfasserin aut Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base 2019 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer Nature B.V. 2019 Abstract The DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name (https://www.fnr.lu/projects/data-protection-regulation-compliance). It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the semantic and logical content of legal documents. The rules represent the provisions of the General Data Protection Regulation (GDPR), the new Regulation that is significantly affecting the digital market in the European Union and beyond. The DAPRECO knowledge base builds upon the Privacy Ontology (PrOnto) (Palmirani et al in Proceedings of the 7th international conference on electronic government and the information systems perspective: technology-enabled innovation for democracy, government and governance, 2018c), which provides a model for the legal concepts involved in the GDPR, by adding a further layer of constraints in the form of if-then rules, referring either to standard first order logic implications or to deontic statements. If-then rules are formalized in reified Input/Output logic (Robaldo and Sun in J Log Comput 7, 2017) and then codified in LegalRuleML. Reified Input/Output logic is an application of standard Input/Output logic for legal reasoning, in which Input/Output logic is combined with the reification-based approach in Hobbs and Gordon (A formal theory of commonsense psychology, how people think people think. Cambridge University Press, Cambridge, 2017). The DAPRECO knowledge base is then a case study for reified Input/Output logic, and it shows that the formalism indeed appears to be a good candidate to effectively formalize, via uniform and simple (flat) representations, complex linguistic/deontic phenomena that may be found in legal texts. To date, the DAPRECO knowledge base is the biggest knowledge base in LegalRuleML and Input/Output logic freely available online (https://github.com/dapreco/daprecokb/blob/master/gdpr/rioKB_GDPR.xml). Deontic logic Reification Legal Informatics Bartolini, Cesare aut Palmirani, Monica aut Rossi, Arianna aut Martoni, Michele aut Lenzini, Gabriele aut Enthalten in Journal of logic, language and information Springer Netherlands, 1992 29(2019), 4 vom: 19. Nov., Seite 401-449 (DE-627)131091077 (DE-600)1115400-7 (DE-576)029170230 0925-8531 nnns volume:29 year:2019 number:4 day:19 month:11 pages:401-449 https://doi.org/10.1007/s10849-019-09309-z lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-LING SSG-OLC-TEC SSG-OLC-MAT SSG-OLC-BUB SSG-OPC-MAT GBV_ILN_70 GBV_ILN_4012 AR 29 2019 4 19 11 401-449 |
allfieldsGer |
10.1007/s10849-019-09309-z doi (DE-627)OLC2120169969 (DE-He213)s10849-019-09309-z-p DE-627 ger DE-627 rakwb eng 400 004 VZ 7,11 17,1 ssgn LING DE-30 fid Robaldo, Livio verfasserin aut Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base 2019 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer Nature B.V. 2019 Abstract The DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name (https://www.fnr.lu/projects/data-protection-regulation-compliance). It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the semantic and logical content of legal documents. The rules represent the provisions of the General Data Protection Regulation (GDPR), the new Regulation that is significantly affecting the digital market in the European Union and beyond. The DAPRECO knowledge base builds upon the Privacy Ontology (PrOnto) (Palmirani et al in Proceedings of the 7th international conference on electronic government and the information systems perspective: technology-enabled innovation for democracy, government and governance, 2018c), which provides a model for the legal concepts involved in the GDPR, by adding a further layer of constraints in the form of if-then rules, referring either to standard first order logic implications or to deontic statements. If-then rules are formalized in reified Input/Output logic (Robaldo and Sun in J Log Comput 7, 2017) and then codified in LegalRuleML. Reified Input/Output logic is an application of standard Input/Output logic for legal reasoning, in which Input/Output logic is combined with the reification-based approach in Hobbs and Gordon (A formal theory of commonsense psychology, how people think people think. Cambridge University Press, Cambridge, 2017). The DAPRECO knowledge base is then a case study for reified Input/Output logic, and it shows that the formalism indeed appears to be a good candidate to effectively formalize, via uniform and simple (flat) representations, complex linguistic/deontic phenomena that may be found in legal texts. To date, the DAPRECO knowledge base is the biggest knowledge base in LegalRuleML and Input/Output logic freely available online (https://github.com/dapreco/daprecokb/blob/master/gdpr/rioKB_GDPR.xml). Deontic logic Reification Legal Informatics Bartolini, Cesare aut Palmirani, Monica aut Rossi, Arianna aut Martoni, Michele aut Lenzini, Gabriele aut Enthalten in Journal of logic, language and information Springer Netherlands, 1992 29(2019), 4 vom: 19. Nov., Seite 401-449 (DE-627)131091077 (DE-600)1115400-7 (DE-576)029170230 0925-8531 nnns volume:29 year:2019 number:4 day:19 month:11 pages:401-449 https://doi.org/10.1007/s10849-019-09309-z lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-LING SSG-OLC-TEC SSG-OLC-MAT SSG-OLC-BUB SSG-OPC-MAT GBV_ILN_70 GBV_ILN_4012 AR 29 2019 4 19 11 401-449 |
allfieldsSound |
10.1007/s10849-019-09309-z doi (DE-627)OLC2120169969 (DE-He213)s10849-019-09309-z-p DE-627 ger DE-627 rakwb eng 400 004 VZ 7,11 17,1 ssgn LING DE-30 fid Robaldo, Livio verfasserin aut Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base 2019 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier © Springer Nature B.V. 2019 Abstract The DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name (https://www.fnr.lu/projects/data-protection-regulation-compliance). It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the semantic and logical content of legal documents. The rules represent the provisions of the General Data Protection Regulation (GDPR), the new Regulation that is significantly affecting the digital market in the European Union and beyond. The DAPRECO knowledge base builds upon the Privacy Ontology (PrOnto) (Palmirani et al in Proceedings of the 7th international conference on electronic government and the information systems perspective: technology-enabled innovation for democracy, government and governance, 2018c), which provides a model for the legal concepts involved in the GDPR, by adding a further layer of constraints in the form of if-then rules, referring either to standard first order logic implications or to deontic statements. If-then rules are formalized in reified Input/Output logic (Robaldo and Sun in J Log Comput 7, 2017) and then codified in LegalRuleML. Reified Input/Output logic is an application of standard Input/Output logic for legal reasoning, in which Input/Output logic is combined with the reification-based approach in Hobbs and Gordon (A formal theory of commonsense psychology, how people think people think. Cambridge University Press, Cambridge, 2017). The DAPRECO knowledge base is then a case study for reified Input/Output logic, and it shows that the formalism indeed appears to be a good candidate to effectively formalize, via uniform and simple (flat) representations, complex linguistic/deontic phenomena that may be found in legal texts. To date, the DAPRECO knowledge base is the biggest knowledge base in LegalRuleML and Input/Output logic freely available online (https://github.com/dapreco/daprecokb/blob/master/gdpr/rioKB_GDPR.xml). Deontic logic Reification Legal Informatics Bartolini, Cesare aut Palmirani, Monica aut Rossi, Arianna aut Martoni, Michele aut Lenzini, Gabriele aut Enthalten in Journal of logic, language and information Springer Netherlands, 1992 29(2019), 4 vom: 19. Nov., Seite 401-449 (DE-627)131091077 (DE-600)1115400-7 (DE-576)029170230 0925-8531 nnns volume:29 year:2019 number:4 day:19 month:11 pages:401-449 https://doi.org/10.1007/s10849-019-09309-z lizenzpflichtig Volltext GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-LING SSG-OLC-TEC SSG-OLC-MAT SSG-OLC-BUB SSG-OPC-MAT GBV_ILN_70 GBV_ILN_4012 AR 29 2019 4 19 11 401-449 |
language |
English |
source |
Enthalten in Journal of logic, language and information 29(2019), 4 vom: 19. Nov., Seite 401-449 volume:29 year:2019 number:4 day:19 month:11 pages:401-449 |
sourceStr |
Enthalten in Journal of logic, language and information 29(2019), 4 vom: 19. Nov., Seite 401-449 volume:29 year:2019 number:4 day:19 month:11 pages:401-449 |
format_phy_str_mv |
Article |
institution |
findex.gbv.de |
topic_facet |
Deontic logic Reification Legal Informatics |
dewey-raw |
400 |
isfreeaccess_bool |
false |
container_title |
Journal of logic, language and information |
authorswithroles_txt_mv |
Robaldo, Livio @@aut@@ Bartolini, Cesare @@aut@@ Palmirani, Monica @@aut@@ Rossi, Arianna @@aut@@ Martoni, Michele @@aut@@ Lenzini, Gabriele @@aut@@ |
publishDateDaySort_date |
2019-11-19T00:00:00Z |
hierarchy_top_id |
131091077 |
dewey-sort |
3400 |
id |
OLC2120169969 |
language_de |
englisch |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000naa a22002652 4500</leader><controlfield tag="001">OLC2120169969</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230504174357.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">230504s2019 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/s10849-019-09309-z</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC2120169969</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)s10849-019-09309-z-p</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">400</subfield><subfield code="a">004</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">7,11</subfield><subfield code="a">17,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">LING</subfield><subfield code="q">DE-30</subfield><subfield code="2">fid</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Robaldo, Livio</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2019</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© Springer Nature B.V. 2019</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract The DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name (https://www.fnr.lu/projects/data-protection-regulation-compliance). It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the semantic and logical content of legal documents. The rules represent the provisions of the General Data Protection Regulation (GDPR), the new Regulation that is significantly affecting the digital market in the European Union and beyond. The DAPRECO knowledge base builds upon the Privacy Ontology (PrOnto) (Palmirani et al in Proceedings of the 7th international conference on electronic government and the information systems perspective: technology-enabled innovation for democracy, government and governance, 2018c), which provides a model for the legal concepts involved in the GDPR, by adding a further layer of constraints in the form of if-then rules, referring either to standard first order logic implications or to deontic statements. If-then rules are formalized in reified Input/Output logic (Robaldo and Sun in J Log Comput 7, 2017) and then codified in LegalRuleML. Reified Input/Output logic is an application of standard Input/Output logic for legal reasoning, in which Input/Output logic is combined with the reification-based approach in Hobbs and Gordon (A formal theory of commonsense psychology, how people think people think. Cambridge University Press, Cambridge, 2017). The DAPRECO knowledge base is then a case study for reified Input/Output logic, and it shows that the formalism indeed appears to be a good candidate to effectively formalize, via uniform and simple (flat) representations, complex linguistic/deontic phenomena that may be found in legal texts. To date, the DAPRECO knowledge base is the biggest knowledge base in LegalRuleML and Input/Output logic freely available online (https://github.com/dapreco/daprecokb/blob/master/gdpr/rioKB_GDPR.xml).</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Deontic logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Legal Informatics</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bartolini, Cesare</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Palmirani, Monica</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rossi, Arianna</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Martoni, Michele</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lenzini, Gabriele</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Journal of logic, language and information</subfield><subfield code="d">Springer Netherlands, 1992</subfield><subfield code="g">29(2019), 4 vom: 19. Nov., Seite 401-449</subfield><subfield code="w">(DE-627)131091077</subfield><subfield code="w">(DE-600)1115400-7</subfield><subfield code="w">(DE-576)029170230</subfield><subfield code="x">0925-8531</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:29</subfield><subfield code="g">year:2019</subfield><subfield code="g">number:4</subfield><subfield code="g">day:19</subfield><subfield code="g">month:11</subfield><subfield code="g">pages:401-449</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.1007/s10849-019-09309-z</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">FID-LING</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-TEC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-BUB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4012</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">29</subfield><subfield code="j">2019</subfield><subfield code="e">4</subfield><subfield code="b">19</subfield><subfield code="c">11</subfield><subfield code="h">401-449</subfield></datafield></record></collection>
|
author |
Robaldo, Livio |
spellingShingle |
Robaldo, Livio ddc 400 ssgn 7,11 fid LING misc Deontic logic misc Reification misc Legal Informatics Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base |
authorStr |
Robaldo, Livio |
ppnlink_with_tag_str_mv |
@@773@@(DE-627)131091077 |
format |
Article |
dewey-ones |
400 - Language 004 - Data processing & computer science |
delete_txt_mv |
keep |
author_role |
aut aut aut aut aut aut |
collection |
OLC |
remote_str |
false |
illustrated |
Not Illustrated |
issn |
0925-8531 |
topic_title |
400 004 VZ 7,11 17,1 ssgn LING DE-30 fid Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base Deontic logic Reification Legal Informatics |
topic |
ddc 400 ssgn 7,11 fid LING misc Deontic logic misc Reification misc Legal Informatics |
topic_unstemmed |
ddc 400 ssgn 7,11 fid LING misc Deontic logic misc Reification misc Legal Informatics |
topic_browse |
ddc 400 ssgn 7,11 fid LING misc Deontic logic misc Reification misc Legal Informatics |
format_facet |
Aufsätze Gedruckte Aufsätze |
format_main_str_mv |
Text Zeitschrift/Artikel |
carriertype_str_mv |
nc |
hierarchy_parent_title |
Journal of logic, language and information |
hierarchy_parent_id |
131091077 |
dewey-tens |
400 - Language 000 - Computer science, knowledge & systems |
hierarchy_top_title |
Journal of logic, language and information |
isfreeaccess_txt |
false |
familylinks_str_mv |
(DE-627)131091077 (DE-600)1115400-7 (DE-576)029170230 |
title |
Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base |
ctrlnum |
(DE-627)OLC2120169969 (DE-He213)s10849-019-09309-z-p |
title_full |
Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base |
author_sort |
Robaldo, Livio |
journal |
Journal of logic, language and information |
journalStr |
Journal of logic, language and information |
lang_code |
eng |
isOA_bool |
false |
dewey-hundreds |
400 - Language 000 - Computer science, information & general works |
recordtype |
marc |
publishDateSort |
2019 |
contenttype_str_mv |
txt |
container_start_page |
401 |
author_browse |
Robaldo, Livio Bartolini, Cesare Palmirani, Monica Rossi, Arianna Martoni, Michele Lenzini, Gabriele |
container_volume |
29 |
class |
400 004 VZ 7,11 17,1 ssgn LING DE-30 fid |
format_se |
Aufsätze |
author-letter |
Robaldo, Livio |
doi_str_mv |
10.1007/s10849-019-09309-z |
dewey-full |
400 004 |
title_sort |
formalizing gdpr provisions in reified i/o logic: the dapreco knowledge base |
title_auth |
Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base |
abstract |
Abstract The DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name (https://www.fnr.lu/projects/data-protection-regulation-compliance). It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the semantic and logical content of legal documents. The rules represent the provisions of the General Data Protection Regulation (GDPR), the new Regulation that is significantly affecting the digital market in the European Union and beyond. The DAPRECO knowledge base builds upon the Privacy Ontology (PrOnto) (Palmirani et al in Proceedings of the 7th international conference on electronic government and the information systems perspective: technology-enabled innovation for democracy, government and governance, 2018c), which provides a model for the legal concepts involved in the GDPR, by adding a further layer of constraints in the form of if-then rules, referring either to standard first order logic implications or to deontic statements. If-then rules are formalized in reified Input/Output logic (Robaldo and Sun in J Log Comput 7, 2017) and then codified in LegalRuleML. Reified Input/Output logic is an application of standard Input/Output logic for legal reasoning, in which Input/Output logic is combined with the reification-based approach in Hobbs and Gordon (A formal theory of commonsense psychology, how people think people think. Cambridge University Press, Cambridge, 2017). The DAPRECO knowledge base is then a case study for reified Input/Output logic, and it shows that the formalism indeed appears to be a good candidate to effectively formalize, via uniform and simple (flat) representations, complex linguistic/deontic phenomena that may be found in legal texts. To date, the DAPRECO knowledge base is the biggest knowledge base in LegalRuleML and Input/Output logic freely available online (https://github.com/dapreco/daprecokb/blob/master/gdpr/rioKB_GDPR.xml). © Springer Nature B.V. 2019 |
abstractGer |
Abstract The DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name (https://www.fnr.lu/projects/data-protection-regulation-compliance). It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the semantic and logical content of legal documents. The rules represent the provisions of the General Data Protection Regulation (GDPR), the new Regulation that is significantly affecting the digital market in the European Union and beyond. The DAPRECO knowledge base builds upon the Privacy Ontology (PrOnto) (Palmirani et al in Proceedings of the 7th international conference on electronic government and the information systems perspective: technology-enabled innovation for democracy, government and governance, 2018c), which provides a model for the legal concepts involved in the GDPR, by adding a further layer of constraints in the form of if-then rules, referring either to standard first order logic implications or to deontic statements. If-then rules are formalized in reified Input/Output logic (Robaldo and Sun in J Log Comput 7, 2017) and then codified in LegalRuleML. Reified Input/Output logic is an application of standard Input/Output logic for legal reasoning, in which Input/Output logic is combined with the reification-based approach in Hobbs and Gordon (A formal theory of commonsense psychology, how people think people think. Cambridge University Press, Cambridge, 2017). The DAPRECO knowledge base is then a case study for reified Input/Output logic, and it shows that the formalism indeed appears to be a good candidate to effectively formalize, via uniform and simple (flat) representations, complex linguistic/deontic phenomena that may be found in legal texts. To date, the DAPRECO knowledge base is the biggest knowledge base in LegalRuleML and Input/Output logic freely available online (https://github.com/dapreco/daprecokb/blob/master/gdpr/rioKB_GDPR.xml). © Springer Nature B.V. 2019 |
abstract_unstemmed |
Abstract The DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name (https://www.fnr.lu/projects/data-protection-regulation-compliance). It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the semantic and logical content of legal documents. The rules represent the provisions of the General Data Protection Regulation (GDPR), the new Regulation that is significantly affecting the digital market in the European Union and beyond. The DAPRECO knowledge base builds upon the Privacy Ontology (PrOnto) (Palmirani et al in Proceedings of the 7th international conference on electronic government and the information systems perspective: technology-enabled innovation for democracy, government and governance, 2018c), which provides a model for the legal concepts involved in the GDPR, by adding a further layer of constraints in the form of if-then rules, referring either to standard first order logic implications or to deontic statements. If-then rules are formalized in reified Input/Output logic (Robaldo and Sun in J Log Comput 7, 2017) and then codified in LegalRuleML. Reified Input/Output logic is an application of standard Input/Output logic for legal reasoning, in which Input/Output logic is combined with the reification-based approach in Hobbs and Gordon (A formal theory of commonsense psychology, how people think people think. Cambridge University Press, Cambridge, 2017). The DAPRECO knowledge base is then a case study for reified Input/Output logic, and it shows that the formalism indeed appears to be a good candidate to effectively formalize, via uniform and simple (flat) representations, complex linguistic/deontic phenomena that may be found in legal texts. To date, the DAPRECO knowledge base is the biggest knowledge base in LegalRuleML and Input/Output logic freely available online (https://github.com/dapreco/daprecokb/blob/master/gdpr/rioKB_GDPR.xml). © Springer Nature B.V. 2019 |
collection_details |
GBV_USEFLAG_A SYSFLAG_A GBV_OLC FID-LING SSG-OLC-TEC SSG-OLC-MAT SSG-OLC-BUB SSG-OPC-MAT GBV_ILN_70 GBV_ILN_4012 |
container_issue |
4 |
title_short |
Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base |
url |
https://doi.org/10.1007/s10849-019-09309-z |
remote_bool |
false |
author2 |
Bartolini, Cesare Palmirani, Monica Rossi, Arianna Martoni, Michele Lenzini, Gabriele |
author2Str |
Bartolini, Cesare Palmirani, Monica Rossi, Arianna Martoni, Michele Lenzini, Gabriele |
ppnlink |
131091077 |
mediatype_str_mv |
n |
isOA_txt |
false |
hochschulschrift_bool |
false |
doi_str |
10.1007/s10849-019-09309-z |
up_date |
2024-07-04T03:25:29.870Z |
_version_ |
1803617335906402304 |
fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000naa a22002652 4500</leader><controlfield tag="001">OLC2120169969</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230504174357.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">230504s2019 xx ||||| 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/s10849-019-09309-z</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC2120169969</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-He213)s10849-019-09309-z-p</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">400</subfield><subfield code="a">004</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">7,11</subfield><subfield code="a">17,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">LING</subfield><subfield code="q">DE-30</subfield><subfield code="2">fid</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Robaldo, Livio</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2019</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">© Springer Nature B.V. 2019</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Abstract The DAPRECO knowledge base is the main outcome of the interdisciplinary project bearing the same name (https://www.fnr.lu/projects/data-protection-regulation-compliance). It is a repository of rules written in LegalRuleML, an XML formalism designed to be a standard for representing the semantic and logical content of legal documents. The rules represent the provisions of the General Data Protection Regulation (GDPR), the new Regulation that is significantly affecting the digital market in the European Union and beyond. The DAPRECO knowledge base builds upon the Privacy Ontology (PrOnto) (Palmirani et al in Proceedings of the 7th international conference on electronic government and the information systems perspective: technology-enabled innovation for democracy, government and governance, 2018c), which provides a model for the legal concepts involved in the GDPR, by adding a further layer of constraints in the form of if-then rules, referring either to standard first order logic implications or to deontic statements. If-then rules are formalized in reified Input/Output logic (Robaldo and Sun in J Log Comput 7, 2017) and then codified in LegalRuleML. Reified Input/Output logic is an application of standard Input/Output logic for legal reasoning, in which Input/Output logic is combined with the reification-based approach in Hobbs and Gordon (A formal theory of commonsense psychology, how people think people think. Cambridge University Press, Cambridge, 2017). The DAPRECO knowledge base is then a case study for reified Input/Output logic, and it shows that the formalism indeed appears to be a good candidate to effectively formalize, via uniform and simple (flat) representations, complex linguistic/deontic phenomena that may be found in legal texts. To date, the DAPRECO knowledge base is the biggest knowledge base in LegalRuleML and Input/Output logic freely available online (https://github.com/dapreco/daprecokb/blob/master/gdpr/rioKB_GDPR.xml).</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Deontic logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Legal Informatics</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Bartolini, Cesare</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Palmirani, Monica</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rossi, Arianna</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Martoni, Michele</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lenzini, Gabriele</subfield><subfield code="4">aut</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Journal of logic, language and information</subfield><subfield code="d">Springer Netherlands, 1992</subfield><subfield code="g">29(2019), 4 vom: 19. Nov., Seite 401-449</subfield><subfield code="w">(DE-627)131091077</subfield><subfield code="w">(DE-600)1115400-7</subfield><subfield code="w">(DE-576)029170230</subfield><subfield code="x">0925-8531</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:29</subfield><subfield code="g">year:2019</subfield><subfield code="g">number:4</subfield><subfield code="g">day:19</subfield><subfield code="g">month:11</subfield><subfield code="g">pages:401-449</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.1007/s10849-019-09309-z</subfield><subfield code="z">lizenzpflichtig</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">FID-LING</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-TEC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-BUB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4012</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">29</subfield><subfield code="j">2019</subfield><subfield code="e">4</subfield><subfield code="b">19</subfield><subfield code="c">11</subfield><subfield code="h">401-449</subfield></datafield></record></collection>
|
score |
7.4005327 |