<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-02141770</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-19T10:11:13+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Deontic Reasoning for Legal Ontologies</title>
            <author role="aut">
              <persName>
                <forename type="first">Cheikh</forename>
                <surname>Kafcah Emani</surname>
              </persName>
              <email type="md5">c595c30c7b31022895759be9a47ef0cf</email>
              <email type="domain">imt-atlantique.fr</email>
              <idno type="idhal" notation="numeric">1033085</idno>
              <idno type="halauthorid" notation="string">1381490-1033085</idno>
              <affiliation ref="#struct-489780"/>
              <affiliation ref="#struct-486354"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Yannis</forename>
                <surname>Haralambous</surname>
              </persName>
              <email type="md5">4c95cadb5cdd203327cfaa3919bb900d</email>
              <email type="domain">imt-atlantique.fr</email>
              <ptr type="url" target="https://www.imt-atlantique.fr/en/person/yannis-haralambous"/>
              <idno type="idhal" notation="string">yannis-haralambous</idno>
              <idno type="idhal" notation="numeric">17494</idno>
              <idno type="halauthorid" notation="string">44435-17494</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1443-6115</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=2LgIx5EAAAAJ&amp;hl=fr</idno>
              <idno type="IDREF">https://www.idref.fr/077914457</idno>
              <idno type="ARXIV">https://arxiv.org/a/haralambous_y_1</idno>
              <affiliation ref="#struct-486354"/>
              <affiliation ref="#struct-489780"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Ex-Bibliothèque</forename>
                <surname>Télécom Bretagne (devenu IMT Atlantique)</surname>
              </persName>
              <email type="md5">1db35bce4a31c4f6d23fbf67e680f0f9</email>
              <email type="domain">imt-atlantique.fr</email>
            </editor>
            <funder>This work is funded by the Service hydrographique et océanographique de la marine (Shom) as part of the reizhmor project.</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-05-28 10:58:38</date>
              <date type="whenModified">2026-01-23 09:12:06</date>
              <date type="whenReleased">2019-05-28 10:58:38</date>
              <date type="whenProduced">2019-06-02</date>
              <ref type="externalLink" target="https://doi.org/10.1007/978-3-030-21348-0_14"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="142672">
                <persName>
                  <forename>Ex-Bibliothèque</forename>
                  <surname>Télécom Bretagne (devenu IMT Atlantique)</surname>
                </persName>
                <email type="md5">1db35bce4a31c4f6d23fbf67e680f0f9</email>
                <email type="domain">imt-atlantique.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02141770</idno>
            <idno type="halUri">https://hal.science/hal-02141770</idno>
            <idno type="halBibtex">kafcahemani:hal-02141770</idno>
            <idno type="halRefHtml">&lt;i&gt;ESWC 2019 : 16th European Semantic Web Conference&lt;/i&gt;, Jun 2019, Portorož, Slovenia. &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-030-21348-0_14"&gt;&amp;#x27E8;10.1007/978-3-030-21348-0_14&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">ESWC 2019 : 16th European Semantic Web Conference, Jun 2019, Portorož, Slovenia. &amp;#x27E8;10.1007/978-3-030-21348-0_14&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-BREST">Université de Bretagne occidentale - Brest (UBO)</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-UBS">Université de Bretagne Sud</idno>
            <idno type="stamp" n="LAB-STICC_UBO" corresp="UNIV-BREST">Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance, site de l'UBO</idno>
            <idno type="stamp" n="ENIB">Ecole Nationale d'Ingénieurs de Brest</idno>
            <idno type="stamp" n="LAB-STICC">Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance</idno>
            <idno type="stamp" n="LAB-STICC_IMTA_CID_DECIDE">Equipe DECIDE</idno>
            <idno type="stamp" n="IMTA_INFO">IMT Atlantique - Département informatique</idno>
            <idno type="stamp" n="LAB-STICC_IMTA">Lab-STICC - IMT Atlantique</idno>
            <idno type="stamp" n="IMT-ATLANTIQUE" corresp="INSTITUT-MINES-TELECOM">IMT-ATLANTIQUE</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="INSTITUT-MINES-TELECOM">Institut Mines Telecom</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Deontic Reasoning for Legal Ontologies</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Cheikh</forename>
                    <surname>Kafcah Emani</surname>
                  </persName>
                  <email type="md5">c595c30c7b31022895759be9a47ef0cf</email>
                  <email type="domain">imt-atlantique.fr</email>
                  <idno type="idhal" notation="numeric">1033085</idno>
                  <idno type="halauthorid" notation="string">1381490-1033085</idno>
                  <affiliation ref="#struct-489780"/>
                  <affiliation ref="#struct-486354"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Yannis</forename>
                    <surname>Haralambous</surname>
                  </persName>
                  <email type="md5">4c95cadb5cdd203327cfaa3919bb900d</email>
                  <email type="domain">imt-atlantique.fr</email>
                  <ptr type="url" target="https://www.imt-atlantique.fr/en/person/yannis-haralambous"/>
                  <idno type="idhal" notation="string">yannis-haralambous</idno>
                  <idno type="idhal" notation="numeric">17494</idno>
                  <idno type="halauthorid" notation="string">44435-17494</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1443-6115</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=2LgIx5EAAAAJ&amp;hl=fr</idno>
                  <idno type="IDREF">https://www.idref.fr/077914457</idno>
                  <idno type="ARXIV">https://arxiv.org/a/haralambous_y_1</idno>
                  <affiliation ref="#struct-486354"/>
                  <affiliation ref="#struct-489780"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">19591</idno>
                <title level="m">Proceedings European Semantic Web Conference</title>
                <meeting>
                  <title>ESWC 2019 : 16th European Semantic Web Conference</title>
                  <date type="start">2019-06-02</date>
                  <date type="end">2019-06-06</date>
                  <settlement>Portorož</settlement>
                  <country key="SI">Slovenia</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">.</biblScope>
                  <date type="datePub">2019</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-030-21348-0_14</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Semantic Web</term>
                <term xml:lang="en">Legal texts</term>
                <term xml:lang="en">Deontic logic</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-hc">Computer Science [cs]/Human-Computer Interaction [cs.HC]</classCode>
              <classCode scheme="halDomain" n="info.info-ni">Computer Science [cs]/Networking and Internet Architecture [cs.NI]</classCode>
              <classCode scheme="halDomain" n="info.info-wb">Computer Science [cs]/Web</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Many standards exist to formalize legal texts and rules. The same is true for legal ontologies. However, there is no proof theory to draw conclusions for these ontologically modeled rules. We address this gap by the proposal of a new modeling of deontic statements, and then we use this modeling to propose reasoning mechanisms to answer deontic questions i.e., questions like "Is it mandatory/permitted/prohibited to…"'. We also show that using this modeling, it is possible to check the consistency of a deontic rule base. This work stands as a first important step towards a proof theory over a deontic rule base.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="department" xml:id="struct-489780" status="VALID">
          <orgName>Département Informatique</orgName>
          <orgName type="acronym">IMT Atlantique - INFO</orgName>
          <date type="start">2017-01-01</date>
          <desc>
            <address>
              <addrLine>IMT Atlantique - Campus de Brest - Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-481355" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-486354" status="OLD">
          <orgName>Lab-STICC_IMTA_CID_DECIDE</orgName>
          <date type="start">2017-01-01</date>
          <date type="end">2020-12-31</date>
          <desc>
            <address>
              <addrLine>Technopole Brest Iroise CS 83818 29238 BREST CEDEX 3</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-486345" type="direct"/>
            <relation active="#struct-131284" type="indirect"/>
            <relation active="#struct-300314" type="indirect"/>
            <relation active="#struct-1705235" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-301846" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
            <relation name="UMR6285" active="#struct-441569" type="indirect"/>
            <relation active="#struct-469973" type="indirect"/>
            <relation active="#struct-481355" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-481355" status="VALID">
          <idno type="IdRef">202743233</idno>
          <idno type="ROR">https://ror.org/030hj3061</idno>
          <orgName>IMT Atlantique</orgName>
          <orgName type="acronym">IMT Atlantique</orgName>
          <date type="start">2017-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -Campus Rennes :  2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt-atlantique.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-486345" status="OLD">
          <idno type="IdRef">167731432</idno>
          <idno type="RNSR">201220091R</idno>
          <idno type="ROR">https://ror.org/0266kfd37</idno>
          <orgName>Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance</orgName>
          <orgName type="acronym">Lab-STICC</orgName>
          <date type="start">2008-01-01</date>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>Technopole Brest Iroise CS 83818 29238 BREST cedex 3</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://labsticc.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-131284" type="direct"/>
            <relation active="#struct-300314" type="direct"/>
            <relation active="#struct-1705235" type="indirect"/>
            <relation active="#struct-172265" type="direct"/>
            <relation active="#struct-301846" type="direct"/>
            <relation active="#struct-302102" type="direct"/>
            <relation name="UMR6285" active="#struct-441569" type="direct"/>
            <relation active="#struct-469973" type="direct"/>
            <relation active="#struct-481355" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-131284" status="VALID">
          <idno type="ROR">https://ror.org/02ypw0a72</idno>
          <orgName>École Nationale d'Ingénieurs de Brest</orgName>
          <orgName type="acronym">ENIB</orgName>
          <desc>
            <address>
              <addrLine>945 avenue du Technopole - 29280 Plouzané</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.enib.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300314" type="direct"/>
            <relation active="#struct-1705235" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-300314" status="VALID">
          <idno type="IdRef">291809022</idno>
          <idno type="ISNI">0000000121880893</idno>
          <idno type="ROR">https://ror.org/0372th171</idno>
          <orgName>Université de Brest</orgName>
          <orgName type="acronym">UBO EPE</orgName>
          <desc>
            <address>
              <addrLine>Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-brest.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-1705235" status="VALID">
          <idno type="IdRef">291816037</idno>
          <orgName>Institut National Polytechnique de Bretagne</orgName>
          <orgName type="acronym">Bretagne INP</orgName>
          <date type="start">2025-03-01</date>
          <desc>
            <address>
              <addrLine>945 avenue du Technopôle Brest-Iroise, 29289 Plouzané</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-172265" status="VALID">
          <idno type="IdRef">05017746X</idno>
          <idno type="ISNI">0000000121680285</idno>
          <idno type="ROR">https://ror.org/04ed7fw48</idno>
          <orgName>Université de Bretagne Sud</orgName>
          <orgName type="acronym">UBS</orgName>
          <date type="start">1995-02-07</date>
          <desc>
            <address>
              <addrLine>BP 92116 - 56321 Lorient cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-ubs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301846" status="OLD">
          <idno type="IdRef">177263660</idno>
          <idno type="ROR">https://ror.org/059n54003</idno>
          <orgName>École Nationale Supérieure de Techniques Avancées Bretagne</orgName>
          <orgName type="acronym">ENSTA Bretagne</orgName>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>2 rue François Verny, 29806 Brest cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ensta-bretagne.fr</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-469973" status="VALID">
          <idno type="IdRef">191639044</idno>
          <idno type="ROR">https://ror.org/04x1a4s97</idno>
          <orgName>Université Bretagne Loire</orgName>
          <orgName type="acronym">UBL</orgName>
          <date type="start">2016-04-01</date>
          <desc>
            <address>
              <addrLine>Cité Internationale, 1 place Paul Ricoeur - CS 54417 35044 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://u-bretagneloire.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>