<?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-00809859</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-22T16:51:11+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="fr">Un solveur léger efficace pour interroger le Web Sémantique</title>
            <author role="aut">
              <persName>
                <forename type="first">Vianney</forename>
                <surname>Le Clément de Saint-Marcq</surname>
              </persName>
              <idno type="halauthorid">1041812-0</idno>
              <affiliation ref="#struct-219289"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Yves</forename>
                <surname>Deville</surname>
              </persName>
              <email type="md5">3d3b73d3cc9844fe85304417d6b0bcbd</email>
              <email type="domain">info.ucl.ac.be</email>
              <idno type="idhal" notation="numeric">840383</idno>
              <idno type="halauthorid" notation="string">154284-840383</idno>
              <affiliation ref="#struct-219289"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Christine</forename>
                <surname>Solnon</surname>
              </persName>
              <email type="md5">e82803ff6b1630702a81ab815a53f648</email>
              <email type="domain">insa-lyon.fr</email>
              <idno type="idhal" notation="string">christine-solnon</idno>
              <idno type="idhal" notation="numeric">3933</idno>
              <idno type="halauthorid" notation="string">4519-3933</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-0919-496X</idno>
              <idno type="IDREF">https://www.idref.fr/128200391</idno>
              <affiliation ref="#struct-391965"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Pierre-Antoine</forename>
                <surname>Champin</surname>
              </persName>
              <email type="md5">a4943555a02afeaa694282f8c1adc35a</email>
              <email type="domain">champin.net</email>
              <idno type="idhal" notation="string">pierre-antoine-champin</idno>
              <idno type="idhal" notation="numeric">3081</idno>
              <idno type="halauthorid" notation="string">1781-3081</idno>
              <idno type="IDREF">https://www.idref.fr/070968675</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-7046-4474</idno>
              <idno type="VIAF">https://viaf.org/viaf/218253893</idno>
              <affiliation ref="#struct-395876"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Christine</forename>
                <surname>Solnon</surname>
              </persName>
              <email type="md5">a8f88110b2147a69ef3c2a7eacaae1f5</email>
              <email type="domain">liris.cnrs.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2013-04-10 07:59:22</date>
              <date type="whenModified">2026-04-10 14:18:04</date>
              <date type="whenReleased">2013-04-10 09:16:20</date>
              <date type="whenProduced">2012-05-22</date>
              <date type="whenEndEmbargoed">2013-04-10</date>
              <ref type="file" target="https://inria.hal.science/hal-00809859v1/document">
                <date notBefore="2013-04-10"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-00809859v1/file/jfpc2012.pdf" id="file-809859-129968">
                <date notBefore="2013-04-10"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="102322">
                <persName>
                  <forename>Christine</forename>
                  <surname>Solnon</surname>
                </persName>
                <email type="md5">a8f88110b2147a69ef3c2a7eacaae1f5</email>
                <email type="domain">liris.cnrs.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00809859</idno>
            <idno type="halUri">https://inria.hal.science/hal-00809859</idno>
            <idno type="halBibtex">leclementdesaintmarcq:hal-00809859</idno>
            <idno type="halRefHtml">&lt;i&gt;JFPC 2012&lt;/i&gt;, May 2012, Toulouse, France</idno>
            <idno type="halRef">JFPC 2012, May 2012, Toulouse, France</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-809859-129968"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-LYON1">Université Claude Bernard - Lyon I</idno>
            <idno type="stamp" n="UNIV-LYON2">Université Lumière Lyon 2</idno>
            <idno type="stamp" n="INSA-LYON">Institut National des Sciences Appliquées de Lyon</idno>
            <idno type="stamp" n="EC-LYON">Ecole Centrale de Lyon</idno>
            <idno type="stamp" n="LIRIS" corresp="UNIV-LYON1">Laboratoire d'InfoRmatique en Image et Systèmes d'information</idno>
            <idno type="stamp" n="JFPC2012">JFPC 2012 - Huitièmes Journées Francophones de Programmation par Contraintes</idno>
            <idno type="stamp" n="LABEXIMU">Laboratoire d’Excellence Intelligences des Mondes Urbains</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="UDL">UDL</idno>
            <idno type="stamp" n="UNIV-LYON">Université de Lyon</idno>
            <idno type="stamp" n="HAL-LYON-2-NOUVELLE-VERSION">Nouvelle version portail </idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="3">National</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="fr">Un solveur léger efficace pour interroger le Web Sémantique</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Vianney</forename>
                    <surname>Le Clément de Saint-Marcq</surname>
                  </persName>
                  <idno type="halauthorid">1041812-0</idno>
                  <affiliation ref="#struct-219289"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Yves</forename>
                    <surname>Deville</surname>
                  </persName>
                  <email type="md5">3d3b73d3cc9844fe85304417d6b0bcbd</email>
                  <email type="domain">info.ucl.ac.be</email>
                  <idno type="idhal" notation="numeric">840383</idno>
                  <idno type="halauthorid" notation="string">154284-840383</idno>
                  <affiliation ref="#struct-219289"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Christine</forename>
                    <surname>Solnon</surname>
                  </persName>
                  <email type="md5">e82803ff6b1630702a81ab815a53f648</email>
                  <email type="domain">insa-lyon.fr</email>
                  <idno type="idhal" notation="string">christine-solnon</idno>
                  <idno type="idhal" notation="numeric">3933</idno>
                  <idno type="halauthorid" notation="string">4519-3933</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-0919-496X</idno>
                  <idno type="IDREF">https://www.idref.fr/128200391</idno>
                  <affiliation ref="#struct-391965"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Pierre-Antoine</forename>
                    <surname>Champin</surname>
                  </persName>
                  <email type="md5">a4943555a02afeaa694282f8c1adc35a</email>
                  <email type="domain">champin.net</email>
                  <idno type="idhal" notation="string">pierre-antoine-champin</idno>
                  <idno type="idhal" notation="numeric">3081</idno>
                  <idno type="halauthorid" notation="string">1781-3081</idno>
                  <idno type="IDREF">https://www.idref.fr/070968675</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-7046-4474</idno>
                  <idno type="VIAF">https://viaf.org/viaf/218253893</idno>
                  <affiliation ref="#struct-395876"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>JFPC 2012</title>
                  <date type="start">2012-05-22</date>
                  <date type="end">2012-05-24</date>
                  <settlement>Toulouse</settlement>
                  <country key="FR">France</country>
                </meeting>
                <imprint>
                  <date type="datePub">2012-05-22</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-ds">Computer Science [cs]/Data Structures and Algorithms [cs.DS]</classCode>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</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="fr">
              <p>Le Web Sémantique vise à construire des bases de données inter-domaines et distribuées à travers l'internet. SPARQL est un langage de requêtes standard pour ces bases de données. L'évaluation de telles requêtes est cependant NP-diffi cile. Nous modélisons les requêtes SPARQL de mani ère déclarative, au moyen de CSP. Une sémantique opérationnelle CP est proposée. Elle peut être utilisée pour une impl émentation directe dans des solveurs CP existants. Pour traiter des bases de donn ées de grande taille, nous introduisons un solveur spécialisé, léger et efficace, Castor. Les benchmarks montrent la faisabilit e et l'efficacité de l'approche.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-219289" status="INCOMING">
          <orgName>BeCool</orgName>
          <desc>
            <address>
              <country key="BE"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-92863" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-391965" status="VALID">
          <orgName>Geometry Processing and Constrained Optimization</orgName>
          <orgName type="acronym">M2DisCo</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-2003" type="direct"/>
            <relation active="#struct-33804" type="indirect"/>
            <relation active="#struct-126765" type="indirect"/>
            <relation active="#struct-301088" type="indirect"/>
            <relation active="#struct-194495" type="indirect"/>
            <relation active="#struct-219748" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation name="UMR5205" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-395876" status="VALID">
          <orgName>Supporting Interaction and Learning by Experience</orgName>
          <orgName type="acronym">SILEX</orgName>
          <date type="end">2014-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-2003" type="direct"/>
            <relation active="#struct-33804" type="indirect"/>
            <relation active="#struct-126765" type="indirect"/>
            <relation active="#struct-301088" type="indirect"/>
            <relation active="#struct-194495" type="indirect"/>
            <relation active="#struct-219748" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation name="UMR5205" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-92863" status="VALID">
          <idno type="IdRef">026431297</idno>
          <idno type="ROR">https://ror.org/02495e989</idno>
          <orgName>Université Catholique de Louvain = Catholic University of Louvain</orgName>
          <orgName type="acronym">UCLouvain</orgName>
          <desc>
            <address>
              <addrLine>Place de l'Université 1, B-1348 Louvain-La-Neuve</addrLine>
              <country key="BE"/>
            </address>
            <ref type="url">https://www.uclouvain.be/fr</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-2003" status="VALID">
          <idno type="IdRef">149705271</idno>
          <idno type="ISNI">0000000122577669</idno>
          <idno type="RNSR">200511875R</idno>
          <idno type="ROR">https://ror.org/04dv4he91</idno>
          <orgName>Laboratoire d'InfoRmatique en Image et Systèmes d'information</orgName>
          <orgName type="acronym">LIRIS</orgName>
          <date type="start">2003-01-01</date>
          <desc>
            <address>
              <addrLine>Bâtiment Blaise Pascal - 20, avenue Albert Einstein - 69621 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://liris.cnrs.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-33804" type="direct"/>
            <relation active="#struct-126765" type="direct"/>
            <relation active="#struct-301088" type="indirect"/>
            <relation active="#struct-194495" type="direct"/>
            <relation active="#struct-219748" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation name="UMR5205" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-33804" status="VALID">
          <idno type="IdRef">02640334X</idno>
          <idno type="ISNI">0000 0001 2188 0906</idno>
          <idno type="ROR">https://ror.org/03rth4p18</idno>
          <idno type="Wikidata">Q4041</idno>
          <orgName>Université Lumière - Lyon 2</orgName>
          <orgName type="acronym">UL2</orgName>
          <desc>
            <address>
              <addrLine>86, rue Pasteur - 69007 Lyon</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lyon2.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-126765" status="VALID">
          <idno type="ROR">https://ror.org/05s6rge65</idno>
          <orgName>École Centrale de Lyon</orgName>
          <orgName type="acronym">ECL</orgName>
          <desc>
            <address>
              <addrLine>36 avenue Guy de Collongue - 69134 Ecully cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ec-lyon.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301088" status="VALID">
          <idno type="ROR">https://ror.org/01rk35k63</idno>
          <orgName>Université de Lyon</orgName>
          <desc>
            <address>
              <addrLine>92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-lyon.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-194495" status="VALID">
          <idno type="IdRef">026402823</idno>
          <idno type="ISNI">0000000121686185</idno>
          <idno type="ROR">https://ror.org/029brtt94</idno>
          <orgName>Université Claude Bernard Lyon 1</orgName>
          <orgName type="acronym">UCBL</orgName>
          <desc>
            <address>
              <addrLine>43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lyon1.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-219748" status="VALID">
          <idno type="IdRef">052444724</idno>
          <idno type="ISNI">0000 0001 2292 0228</idno>
          <orgName>Institut National des Sciences Appliquées de Lyon</orgName>
          <orgName type="acronym">INSA Lyon</orgName>
          <date type="start">1957-03-18</date>
          <desc>
            <address>
              <addrLine>20 Avenue Albert Einstein, 69621 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-lyon.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </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>
      </listOrg>
    </back>
  </text>
</TEI>