<?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-01789967</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-21T05:58:48+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Exact Reasoning over Imprecise Ontologies</title>
            <author role="aut">
              <persName>
                <forename type="first">Mustapha</forename>
                <surname>Bourahla</surname>
              </persName>
              <email type="md5">2338ff5f99aab7696e35ba142e249154</email>
              <email type="domain">hotmail.com</email>
              <idno type="idhal" notation="numeric">1031949</idno>
              <idno type="halauthorid" notation="string">1366095-1031949</idno>
              <affiliation ref="#struct-446910"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2018-05-11 15:11:28</date>
              <date type="whenModified">2024-01-26 16:42:06</date>
              <date type="whenReleased">2018-05-11 15:13:28</date>
              <date type="whenProduced">2015-05-20</date>
              <date type="whenEndEmbargoed">2018-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01789967v1/document">
                <date notBefore="2018-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01789967v1/file/339159_1_En_29_Chapter.pdf" id="file-1789967-1816814">
                <date notBefore="2018-01-01"/>
              </ref>
              <ref type="externalLink" target="https://hal.inria.fr/hal-01789967/file/339159_1_En_29_Chapter.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01789967</idno>
            <idno type="halUri">https://inria.hal.science/hal-01789967</idno>
            <idno type="halBibtex">bourahla:hal-01789967</idno>
            <idno type="halRefHtml">&lt;i&gt;5th International Conference on Computer Science and Its Applications (CIIA)&lt;/i&gt;, May 2015, Saida, Algeria. pp.355-366, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-19578-0_29"&gt;&amp;#x27E8;10.1007/978-3-319-19578-0_29&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.355-366, &amp;#x27E8;10.1007/978-3-319-19578-0_29&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1789967-1816814"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="IFIP-LNCS" corresp="IFIP">IFIP - Lecture Notes in Computer Science</idno>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-AICT" corresp="IFIP">IFIP Advances in Information and Communication Technology</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-TC5" corresp="IFIP-TC">IFIP TC5: Information Technology Applications</idno>
            <idno type="stamp" n="IFIP-AICT-456" corresp="IFIP-AICT">Computer Science and Its Applications</idno>
            <idno type="stamp" n="IFIP-CIIA" corresp="IFIP-LNCS">Conference on Computer Science and Its Applications</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 10: Information Technology: Ontologies</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">Exact Reasoning over Imprecise Ontologies</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Mustapha</forename>
                    <surname>Bourahla</surname>
                  </persName>
                  <email type="md5">2338ff5f99aab7696e35ba142e249154</email>
                  <email type="domain">hotmail.com</email>
                  <idno type="idhal" notation="numeric">1031949</idno>
                  <idno type="halauthorid" notation="string">1366095-1031949</idno>
                  <affiliation ref="#struct-446910"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">IFIP Advances in Information and Communication Technology</title>
                <meeting>
                  <title>5th International Conference on Computer Science and Its Applications (CIIA)</title>
                  <date type="start">2015-05-20</date>
                  <date type="end">2015-05-21</date>
                  <settlement>Saida</settlement>
                  <country key="DZ">Algeria</country>
                </meeting>
                <editor>Abdelmalek Amine</editor>
                <editor>Ladjel Bellatreche</editor>
                <editor>Zakaria Elberrichi</editor>
                <editor>Erich J. Neuhold</editor>
                <editor>Robert Wrembel</editor>
                <imprint>
                  <publisher>Springer International Publishing</publisher>
                  <biblScope unit="serie">Computer Science and Its Applications</biblScope>
                  <biblScope unit="volume">AICT-456</biblScope>
                  <biblScope unit="pp">355-366</biblScope>
                  <date type="datePub">2015</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-19578-0_29</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Automatic reasoning</term>
                <term xml:lang="en">Description logics</term>
                <term xml:lang="en">OWL</term>
                <term xml:lang="en">Ontology</term>
                <term xml:lang="en">Vagueness</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>A real world of objects (individuals) is represented by a set of assertions written with respect to defined syntax and semantics of description logic (formal language). These assertions should be consistent with the ontology axioms described as terminology of knowledge. The axioms and the assertions represent ontology about a particular domain. A real world is a possible world if all the assertions and the axioms over its set of individuals, are consistent. It is possible then to query the possible world by specific assertions (as instance checking) to determine if they are consistent with it or not. However, ontology can contain vague concepts which means the knowledge about them is imprecise and then query answering will not possible due to the open world assumption if the necessary information is incomplete (it is currently absent). A concept description can be very exact (crisp concept) or exact (fuzzy concept) if its knowledge is complete, otherwise it is inexact (vague concept) if its knowledge is incomplete. In this paper we propose a vagueness theory based on the definition of truth gaps as ontology assertions to express the vague concepts in Ontology Web Language (OWL2) (which is based on the description logic SROIQ(D)) and an extension of the Tableau algorithm for reasoning over imprecise ontologies.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 5</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-446910" status="VALID">
          <orgName>Laboratory of Pure and Applied Mathematics</orgName>
          <orgName type="acronym">LPAM</orgName>
          <desc>
            <address>
              <addrLine>M’sila UniversityP.O. Box 166 Ichbilia, M’sila 28105</addrLine>
              <country key="DZ"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-301049" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-301049" status="VALID">
          <idno type="ISNI">0000 0004 0489 9914</idno>
          <idno type="ROR">https://ror.org/055rz8d64</idno>
          <orgName>University of M'sila / Université Mohamed Boudiaf - M'sila</orgName>
          <orgName type="acronym">Uni M'sila</orgName>
          <date type="start">1985-01-01</date>
          <desc>
            <address>
              <addrLine>BP 166 M'sila 28000</addrLine>
              <country key="DZ"/>
            </address>
            <ref type="url">https://www.univ-msila.dz/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>