<?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-01343042</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-20T08:14:16+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Prioritized base Debugging in Description Logics</title>
            <author role="aut">
              <persName>
                <forename type="first">Julien</forename>
                <surname>Corman</surname>
              </persName>
              <email type="md5">2ce559865bacea0ef24e053c2d3356ba</email>
              <email type="domain">irit.fr</email>
              <idno type="idhal" notation="numeric">963236</idno>
              <idno type="halauthorid" notation="string">640155-963236</idno>
              <idno type="IDREF">https://www.idref.fr/23308570X</idno>
              <affiliation ref="#struct-419558"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nathalie</forename>
                <surname>Aussenac-Gilles</surname>
              </persName>
              <email type="md5">942b1162a60d1711c3c134f9d2c9411f</email>
              <email type="domain">irit.fr</email>
              <idno type="idhal" notation="string">nathalie-aussenac-gilles</idno>
              <idno type="idhal" notation="numeric">2612</idno>
              <idno type="halauthorid" notation="string">12750-2612</idno>
              <idno type="IDREF">https://www.idref.fr/034874984</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-3653-3223</idno>
              <idno type="VIAF">https://viaf.org/viaf/64686499</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=qU7HrJAAAAAJ&amp;hl=fr</idno>
              <orgName ref="#struct-441569"/>
              <affiliation ref="#struct-419558"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Laure</forename>
                <surname>Vieu</surname>
              </persName>
              <email type="md5">c136769908cf10185503597a5496c3e3</email>
              <email type="domain">irit.fr</email>
              <idno type="idhal" notation="string">laurevieu</idno>
              <idno type="idhal" notation="numeric">6706</idno>
              <idno type="halauthorid" notation="string">9203-6706</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0303-0531</idno>
              <idno type="IDREF">https://www.idref.fr/068709889</idno>
              <idno type="VIAF">https://viaf.org/viaf/340453</idno>
              <idno type="ISNI">http://isni.org/isni/0000000050267361</idno>
              <orgName ref="#struct-441569"/>
              <affiliation ref="#struct-419558"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Open Archive Toulouse Archive Ouverte</forename>
                <surname>(OATAO)</surname>
              </persName>
              <email type="md5">ac3f71840d50da799c1bb19c7b808bac</email>
              <email type="domain">listes-diff.inp-toulouse.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-07-07 13:09:50</date>
              <date type="whenModified">2025-10-22 18:04:08</date>
              <date type="whenReleased">2016-07-08 16:34:20</date>
              <date type="whenProduced">2015-07-26</date>
              <date type="whenEndEmbargoed">2016-07-07</date>
              <ref type="file" target="https://hal.science/hal-01343042v1/document">
                <date notBefore="2016-07-07"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-01343042v1/file/corman_15368.pdf" id="file-1343042-1423282">
                <date notBefore="2016-07-07"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="146910">
                <persName>
                  <forename>Open Archive Toulouse Archive Ouverte</forename>
                  <surname>(OATAO)</surname>
                </persName>
                <email type="md5">ac3f71840d50da799c1bb19c7b808bac</email>
                <email type="domain">listes-diff.inp-toulouse.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01343042</idno>
            <idno type="halUri">https://hal.science/hal-01343042</idno>
            <idno type="halBibtex">corman:hal-01343042</idno>
            <idno type="halRefHtml">&lt;i&gt;1st Workshop on Belief Change and Non-Monotonic Reasoning in Ontologies and Databases (ONTOCHANGE 2015) part of JOWO @ IJCAI 2015&lt;/i&gt;, Jul 2015, Buenos Aires, Argentina. pp.1-8</idno>
            <idno type="halRef">1st Workshop on Belief Change and Non-Monotonic Reasoning in Ontologies and Databases (ONTOCHANGE 2015) part of JOWO @ IJCAI 2015, Jul 2015, Buenos Aires, Argentina. pp.1-8</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1343042-1423282"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-TLSE2">Université Toulouse 2</idno>
            <idno type="stamp" n="UNIV-TLSE3">Université de Toulouse</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UT1-CAPITOLE">Université Toulouse 1 Capitole</idno>
            <idno type="stamp" n="IRIT">IRIT - Institut de Recherche en Informatique de Toulouse</idno>
            <idno type="stamp" n="IRIT-MELODI" corresp="IRIT">Méthodes et Ingénierie des Langues, des Ontologies et du Discours</idno>
            <idno type="stamp" n="IRIT-IA" corresp="IRIT">Intelligence Artificielle</idno>
            <idno type="stamp" n="IRIT-CNRS">IRIT - Centre National de la Recherche Scientifique</idno>
            <idno type="stamp" n="TOULOUSE-INP">Toulouse - INP</idno>
            <idno type="stamp" n="UNIV-UT3">Université Toulouse 3</idno>
            <idno type="stamp" n="UT3-INP">Université de Toulouse / Toulouse INP</idno>
            <idno type="stamp" n="UT3-TOULOUSEINP">Université de Toulouse / Toulouse INP</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part of JOWO : The Joint Ontology Workshops co-located with IJCAI 2015 (International Joint Conferences on Artificial Intelligence)</note>
            <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">Prioritized base Debugging in Description Logics</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Julien</forename>
                    <surname>Corman</surname>
                  </persName>
                  <email type="md5">2ce559865bacea0ef24e053c2d3356ba</email>
                  <email type="domain">irit.fr</email>
                  <idno type="idhal" notation="numeric">963236</idno>
                  <idno type="halauthorid" notation="string">640155-963236</idno>
                  <idno type="IDREF">https://www.idref.fr/23308570X</idno>
                  <affiliation ref="#struct-419558"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nathalie</forename>
                    <surname>Aussenac-Gilles</surname>
                  </persName>
                  <email type="md5">942b1162a60d1711c3c134f9d2c9411f</email>
                  <email type="domain">irit.fr</email>
                  <idno type="idhal" notation="string">nathalie-aussenac-gilles</idno>
                  <idno type="idhal" notation="numeric">2612</idno>
                  <idno type="halauthorid" notation="string">12750-2612</idno>
                  <idno type="IDREF">https://www.idref.fr/034874984</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-3653-3223</idno>
                  <idno type="VIAF">https://viaf.org/viaf/64686499</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=qU7HrJAAAAAJ&amp;hl=fr</idno>
                  <orgName ref="#struct-441569"/>
                  <affiliation ref="#struct-419558"/>
                  <affiliation ref="#struct-441569"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Laure</forename>
                    <surname>Vieu</surname>
                  </persName>
                  <email type="md5">c136769908cf10185503597a5496c3e3</email>
                  <email type="domain">irit.fr</email>
                  <idno type="idhal" notation="string">laurevieu</idno>
                  <idno type="idhal" notation="numeric">6706</idno>
                  <idno type="halauthorid" notation="string">9203-6706</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0303-0531</idno>
                  <idno type="IDREF">https://www.idref.fr/068709889</idno>
                  <idno type="VIAF">https://viaf.org/viaf/340453</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000050267361</idno>
                  <orgName ref="#struct-441569"/>
                  <affiliation ref="#struct-419558"/>
                  <affiliation ref="#struct-441569"/>
                </author>
              </analytic>
              <monogr>
                <idno type="isbn">ISSN 1613-0073</idno>
                <title level="m">Proceedings of OntoChange 2015</title>
                <meeting>
                  <title>1st Workshop on Belief Change and Non-Monotonic Reasoning in Ontologies and Databases (ONTOCHANGE 2015) part of JOWO @ IJCAI 2015</title>
                  <date type="start">2015-07-26</date>
                  <settlement>Buenos Aires</settlement>
                  <country key="AR">Argentina</country>
                </meeting>
                <imprint>
                  <publisher>CEUR-WS.org</publisher>
                  <biblScope unit="serie">CEUR Workshop Proceedings</biblScope>
                  <biblScope unit="volume">1517</biblScope>
                  <biblScope unit="pp">1-8</biblScope>
                  <date type="datePub">2015</date>
                </imprint>
              </monogr>
              <ref type="publisher">https://ceur-ws.org/Vol-1517/JOWO-15_OntoChange_paper_1.pdf</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Description logics</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</classCode>
              <classCode scheme="halDomain" n="info.info-cl">Computer Science [cs]/Computation and Language [cs.CL]</classCode>
              <classCode scheme="halDomain" n="info.info-lg">Computer Science [cs]/Machine Learning [cs.LG]</classCode>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</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>The problem investigated is the identification within an input knowledge base of axioms which should be preferably discarded (or amended) in order to restore consistency, coherence, or get rid of undesired consequences. Most existing strategies for this task in Description Logics rely on conflicts, either computing all minimal conflicts beforehand, or generating conflicts on demand, using diagnosis. The article studies how prioritized base revision can be effectively applied in the former case. The first main contribution is the observation that for each axiom appearing in a minimal conflict, two bases can be obtained for a negligible cost, representing what part of the input knowledge must be preserved if this axiom is discarded or retained respectively, and which may serve as a basis to obtain a semantically motivated preference relation over these axioms. The second main contributions is an algorithm which, assuming this preference relation is known, selects some of the maximal consistent/coherent subsets of the input knowledge base accordingly, without the need to compute all of of them.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-419558" status="OLD">
          <orgName>MEthodes et ingénierie des Langues, des Ontologies et du DIscours</orgName>
          <orgName type="acronym">IRIT-MELODI</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>IRIT118 Route de Narbonne31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irit.fr/-Equipe-MELODI-</ref>
          </desc>
          <listRelation>
            <relation active="#struct-34499" type="direct"/>
            <relation active="#struct-81148" type="indirect"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="indirect"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="indirect"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="indirect"/>
            <relation active="#struct-448187" type="indirect"/>
            <relation active="#struct-1149079" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="indirect"/>
          </listRelation>
        </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="laboratory" xml:id="struct-34499" status="OLD">
          <idno type="IdRef">030947448</idno>
          <idno type="ISNI">0000000121927225</idno>
          <idno type="RNSR">199511949P</idno>
          <idno type="ROR">https://ror.org/01rx4qw44</idno>
          <orgName>Institut de recherche en informatique de Toulouse</orgName>
          <orgName type="acronym">IRIT</orgName>
          <date type="start">1990-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 Route de Narbonne, F-31062 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irit.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-81148" type="direct"/>
            <relation name="443875" active="#struct-443875" type="indirect"/>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation active="#struct-217752" type="direct"/>
            <relation name="UMR5505 / URA1399" active="#struct-441569" type="direct"/>
            <relation active="#struct-448187" type="direct"/>
            <relation active="#struct-1149079" type="direct"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-81148" status="VALID">
          <idno type="IdRef">026404354</idno>
          <idno type="ISNI">0000000121902837</idno>
          <idno type="ROR">https://ror.org/0443n9e75</idno>
          <orgName>Université Toulouse Capitole</orgName>
          <orgName type="acronym">UT Capitole</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ut-capitole.fr/</ref>
          </desc>
          <listRelation>
            <relation name="443875" active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-443875" status="VALID">
          <idno type="ROR">https://ror.org/017tgbk05</idno>
          <orgName>Communauté d'universités et établissements de Toulouse</orgName>
          <orgName type="acronym">Comue de Toulouse</orgName>
          <desc>
            <address>
              <addrLine>41 Allée Jules Guesde, 31000 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-toulouse.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-116256" status="VALID">
          <idno type="IdRef">026403994</idno>
          <idno type="ROR">https://ror.org/04ezk3x31</idno>
          <orgName>Université Toulouse - Jean Jaurès</orgName>
          <orgName type="acronym">UT2J</orgName>
          <date type="start">1971-01-01</date>
          <desc>
            <address>
              <addrLine>5 allées Antonio Machado - 31058 Toulouse Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse2.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-217752" status="OLD">
          <idno type="IdRef">026404672</idno>
          <idno type="ISNI">0000000121617331</idno>
          <idno type="ROR">https://ror.org/02v6kpv12</idno>
          <idno type="Wikidata">Q1273188</idno>
          <orgName>Université Toulouse III - Paul Sabatier</orgName>
          <orgName type="acronym">UT3</orgName>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>118 route de Narbonne - 31062 Toulouse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-tlse3.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-448187" status="VALID">
          <idno type="IdRef">026388820</idno>
          <idno type="ISNI">0000000121766169</idno>
          <idno type="ROR">https://ror.org/033p9g875</idno>
          <orgName>Institut National Polytechnique (Toulouse)</orgName>
          <orgName type="acronym">Toulouse INP</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inp-toulouse.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-443875" type="direct"/>
          </listRelation>
        </org>
        <org type="regrouplaboratory" xml:id="struct-1149079" status="OLD">
          <orgName>Toulouse Mind &amp; Brain Institut</orgName>
          <orgName type="acronym">TMBI</orgName>
          <date type="start">2021-01-01</date>
          <date type="end">2025-01-01</date>
          <desc>
            <address>
              <addrLine>CHU Purpan, Pavillon Baudot, 31059 Toulouse cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.tmbi.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-116256" type="direct"/>
            <relation active="#struct-443875" type="indirect"/>
            <relation name="FED4171" active="#struct-217752" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>