<?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-04096870</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-16T11:16:53+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Efficient Computation of General Modules for ALC Ontologies (Extended Version)</title>
            <author role="aut">
              <persName>
                <forename type="first">Hui</forename>
                <surname>Yang</surname>
              </persName>
              <email type="md5">61d53bdef8ed81572fd189e2f2dd109c</email>
              <email type="domain">lri.fr</email>
              <idno type="idhal" notation="string">hui-yang</idno>
              <idno type="idhal" notation="numeric">1296066</idno>
              <idno type="halauthorid" notation="string">2529687-1296066</idno>
              <idno type="IDREF">https://www.idref.fr/270257241</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4262-4001</idno>
              <affiliation ref="#struct-1061259"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Patrick</forename>
                <surname>Koopmann</surname>
              </persName>
              <email type="md5">085a3fdd090f30732c64ebc9225a040c</email>
              <email type="domain">vu.nl</email>
              <idno type="idhal" notation="numeric">1254217</idno>
              <idno type="halauthorid" notation="string">1316028-1254217</idno>
              <affiliation ref="#struct-62433"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Yue</forename>
                <surname>Ma</surname>
              </persName>
              <email type="md5">981e32d2007a6d3db756e23e0dd32984</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="string">yue-ma</idno>
              <idno type="idhal" notation="numeric">3460</idno>
              <idno type="halauthorid" notation="string">2528917-3460</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2805-2473</idno>
              <idno type="IDREF">https://www.idref.fr/24541262X</idno>
              <affiliation ref="#struct-1061259"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nicole</forename>
                <surname>Bidoit</surname>
              </persName>
              <email type="md5">33c77f5e21885d77b3e1faa1b39ecc04</email>
              <email type="domain">lri.fr</email>
              <idno type="idhal" notation="string">nicole-bidoit-tollu</idno>
              <idno type="idhal" notation="numeric">17192</idno>
              <idno type="halauthorid" notation="string">16519-17192</idno>
              <idno type="IDREF">https://www.idref.fr/031159044</idno>
              <idno type="VIAF">https://viaf.org/viaf/19733486</idno>
              <idno type="ISNI">http://isni.org/isni/0000000001654189</idno>
              <idno type="ORCID">https://orcid.org/0009-0005-1124-6721</idno>
              <affiliation ref="#struct-419361"/>
              <affiliation ref="#struct-1062148"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hui</forename>
                <surname>Yang</surname>
              </persName>
              <email type="md5">61d53bdef8ed81572fd189e2f2dd109c</email>
              <email type="domain">lri.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2023-05-13 21:12:14</date>
              <date type="whenModified">2026-03-27 13:33:45</date>
              <date type="whenReleased">2023-05-15 09:25:47</date>
              <date type="whenProduced">2023-05-13</date>
              <date type="whenEndEmbargoed">2023-05-13</date>
              <ref type="file" target="https://hal.science/hal-04096870v1/document">
                <date notBefore="2023-05-13"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-04096870v1/file/ijcai23_Extened_version.pdf" id="file-4096870-3566706">
                <date notBefore="2023-05-13"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="950219">
                <persName>
                  <forename>Hui</forename>
                  <surname>Yang</surname>
                </persName>
                <email type="md5">61d53bdef8ed81572fd189e2f2dd109c</email>
                <email type="domain">lri.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04096870</idno>
            <idno type="halUri">https://hal.science/hal-04096870</idno>
            <idno type="halBibtex">yang:hal-04096870</idno>
            <idno type="halRefHtml">2023</idno>
            <idno type="halRef">2023</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-4096870-3566706"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="UNIVERSITE-PARIS-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="LISN">Laboratoire Interdisciplinaire des Sciences du Numérique</idno>
            <idno type="stamp" n="GS-COMPUTER-SCIENCE">Graduate School Computer Science</idno>
            <idno type="stamp" n="LISN-LAHDAK" corresp="LISN">Données et Connaissances Massives et Hétérogènes </idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Efficient Computation of General Modules for ALC Ontologies (Extended Version)</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Hui</forename>
                    <surname>Yang</surname>
                  </persName>
                  <email type="md5">61d53bdef8ed81572fd189e2f2dd109c</email>
                  <email type="domain">lri.fr</email>
                  <idno type="idhal" notation="string">hui-yang</idno>
                  <idno type="idhal" notation="numeric">1296066</idno>
                  <idno type="halauthorid" notation="string">2529687-1296066</idno>
                  <idno type="IDREF">https://www.idref.fr/270257241</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4262-4001</idno>
                  <affiliation ref="#struct-1061259"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Patrick</forename>
                    <surname>Koopmann</surname>
                  </persName>
                  <email type="md5">085a3fdd090f30732c64ebc9225a040c</email>
                  <email type="domain">vu.nl</email>
                  <idno type="idhal" notation="numeric">1254217</idno>
                  <idno type="halauthorid" notation="string">1316028-1254217</idno>
                  <affiliation ref="#struct-62433"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Yue</forename>
                    <surname>Ma</surname>
                  </persName>
                  <email type="md5">981e32d2007a6d3db756e23e0dd32984</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="string">yue-ma</idno>
                  <idno type="idhal" notation="numeric">3460</idno>
                  <idno type="halauthorid" notation="string">2528917-3460</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2805-2473</idno>
                  <idno type="IDREF">https://www.idref.fr/24541262X</idno>
                  <affiliation ref="#struct-1061259"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nicole</forename>
                    <surname>Bidoit</surname>
                  </persName>
                  <email type="md5">33c77f5e21885d77b3e1faa1b39ecc04</email>
                  <email type="domain">lri.fr</email>
                  <idno type="idhal" notation="string">nicole-bidoit-tollu</idno>
                  <idno type="idhal" notation="numeric">17192</idno>
                  <idno type="halauthorid" notation="string">16519-17192</idno>
                  <idno type="IDREF">https://www.idref.fr/031159044</idno>
                  <idno type="VIAF">https://viaf.org/viaf/19733486</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000001654189</idno>
                  <idno type="ORCID">https://orcid.org/0009-0005-1124-6721</idno>
                  <affiliation ref="#struct-419361"/>
                  <affiliation ref="#struct-1062148"/>
                </author>
              </analytic>
              <monogr>
                <imprint>
                  <date type="datePub">2023-05-13</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</classCode>
              <classCode scheme="halTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halOldTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halTreeTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We present a method for extracting general modules for ontologies formulated in the description logic ALC. A module for an ontology is an ideally substantially smaller ontology that preserves all entailments for a user-specified set of terms. As such, it has applications such as ontology reuse and ontology analysis. Different from classical modules, general modules may use axioms not explicitly present in the input ontology, which allows for additional conciseness. So far, general modules have only been investigated for lightweight description logics. We present the first work that considers the more expressive description logic ALC. In particular, our contribution is a new method based on uniform interpolation supported by some new theoretical results. Our evaluation indicates that our general modules are often smaller than classical modules and uniform interpolants computed by the state-of-the-art, and compared with uniform interpolants, can be computed in a significantly shorter time. Moreover, our method can be used for, and in fact improves, the computation of uniform interpolants and classical modules.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1061259" status="VALID">
          <idno type="IdRef">253160316</idno>
          <idno type="RNSR">202123711L</idno>
          <idno type="ROR">https://ror.org/00rd81916</idno>
          <idno type="Wikidata">Q109620676</idno>
          <orgName>Laboratoire Interdisciplinaire des Sciences du Numérique</orgName>
          <orgName type="acronym">LISN</orgName>
          <date type="start">2021-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Universitaire bât 507Rue du Belvédère91405 Orsay cedexet Campus Universitaire bât 6401 rue Raimond Castaing91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lisn.upsaclay.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation active="#struct-419361" type="direct"/>
            <relation name="UMR9015" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-62433" status="VALID">
          <idno type="ROR">https://ror.org/008xxew50</idno>
          <orgName>Vrije Universiteit Amsterdam [Amsterdam]</orgName>
          <orgName type="acronym">VU</orgName>
          <desc>
            <address>
              <addrLine>De Boelelaan 1105 1081 HV Amsterdam</addrLine>
              <country key="NL"/>
            </address>
            <ref type="url">http://www.vu.nl/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-419361" status="VALID">
          <idno type="IdRef">241345251</idno>
          <idno type="ROR">https://ror.org/03xjwb503</idno>
          <orgName>Université Paris-Saclay</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-paris-saclay.fr/fr</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-1062148" status="VALID">
          <orgName>Données et Connaissances Massives et Hétérogènes - LISN</orgName>
          <orgName type="acronym">LaHDAK</orgName>
          <date type="start">2021-01-01</date>
          <desc>
            <address>
              <addrLine>Université Paris-Saclay, Bâtiment 650, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-1061259" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-419361" type="indirect"/>
            <relation name="UMR9015" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1065371" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.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="department" xml:id="struct-1065371" status="VALID">
          <orgName>Science des Données</orgName>
          <orgName type="acronym">SDD</orgName>
          <date type="start">2021-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-1061259" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-419361" type="indirect"/>
            <relation name="UMR9015" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>