.. Sémantique, Interprétation et Transformation master file, created by
   sphinx-quickstart on Wed Sep 26 08:53:42 2012.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

==============================================
 Sémantique, Interprétation et Transformation
==============================================

.. only:: html

   :auteur: Pierre-Antoine Champin

   .. raw:: html

       <!-- NB: using raw:: directive in order to provide rel="license" in <a>
       -->
       <p style="text-align: center">
       <a rel="license"
          href="http://creativecommons.org/licenses/by-nc-sa/2.0/fr/"
       ><img alt="Contrat Creative Commons" style="border-width:0"
             src="http://i.creativecommons.org/l/by-nc-sa/2.0/fr/88x31.png"
       /></a></p>

   .. notslides::

      Une version PDF__ et présentation__ sont disponibles.

      __ index.pdf
      __ slides


Sémantique humaine
==================

Sémantique humaine (1)
++++++++++++++++++++++

Qu'est ce qu'un diprotodonte ?

* Comment puis-je le savoir ?

Sémantique humaine (2)
++++++++++++++++++++++

 Qu'est-ce que Paris ?

* Qu'en sais-un ordinateur ?
* Qu'en sais-je vraiment ?
* Comment puis-je le savoir ?

Sémantique humaine (3)
++++++++++++++++++++++

* Paris est une Ville
* Paris a 10 millions d'habitants
* Paris est une ville agréable

→ simple question d'*interopérabilité* ?



Sémantique informatique
=======================

Sémantique dénotationnelle
++++++++++++++++++++++++++

Interprétation en théorie des modèles = (Δ,𝔍) 

  * Δ : domaine d'interprétation
  * 𝔍 : fonction d'interprétation

* pour chaque terme T, 𝔍(T) ∈ Δ
* pour chaque énoncé E, 𝔍(E) ∈ { vrai, faux }

  en fonction des termes T qui constituent E

Un énoncé E est vrai si *il existe* une interprétation qui le vérifie.

Un énoncé E entraine un énoncé E' si *toutes* les interprétations vériant E vérifient aussi E'.

Sémantique dénotationnelle (exemple)
------------------------------------

Phascolarctidé ⊑ Diprotodonte

Notoryctemorphes ⊑ ¬Diprotodonte

* interprétation possible :

    𝔍(Phascolarctidé) = {1,3}

    𝔍(Diprotodonte) = {1,2,3,4}

    𝔍(Notoryctemorphes) = {5,6}

Sémantique dénotationnelle (suite)
----------------------------------

La théorie des modèles ne me dit pas comment interpréter.

Elle me dit comment ne pas interpréter.

Chaque axiome *contraint* l'interprétation.

Sémantique axiomatique
++++++++++++++++++++++

On définit

* des énoncés vrais par définition (axiomes)
* des règles permettant de dériver des énoncés vrais
  à partir d'autres énoncés vrais

Approche *syntaxique* de la sémantique.


Syntaxe et sémantique
=====================

Deux faces d'une même pièce ?...
++++++++++++++++++++++++++++++++

Tout langage informatique possède une **syntaxe** et une **sémantique**

  * même s'il certains s'en défendent ! (XML, JSON...)
  * NB : *langage* au sens large : langage de programmation, protocole, format...

... ou la face et la tranche ?
------------------------------

La syntaxe détermine si un énoncé est conforme au langage ou non.

  → c'est une **propriété** des énoncés

La sémantique définit une relation entre un énoncé et quelque chose d'autre.

  → c'est une **relation** entre un énoncé et *autre chose*


Mélange des genres
------------------

Différence entre un énoncé non conforme et un énoncé faux ?

Exemple ::

  <#pa> foaf:age "toto"^^xsd:integer .


Chaîne de syntaxes/sémantiques
++++++++++++++++++++++++++++++

.. digraph:: semantiques

    graph [ size="5.7" ]

    bits -> octets [
        label="big-endian"
        URL="http://en.wikipedia.org/wiki/Big_endian" ]
    octets -> caracteres [
        label="UTF-8"
        URL="http://tools.ietf.org/html/rfc3629.html" ]
    caracteres -> arbre [
        label="XML Infoset"
        URL="http://www.w3.org/TR/xml-infoset/" ]
    arbre -> graphe [
        label="RDF/XML"
        URL="http://www.w3.org/TR/rdf-syntax-grammar/" ]
    graphe -> inter_RDF [
        label="OWL RDF semantics"
        URL="http://www.w3.org/TR/owl-rdf-based-semantics/" ]
    graphe -> ontologie [
        label="RDF-OWL mapping"
        URL="http://www.w3.org/TR/owl-mapping-to-rdf/" ]
    ontologie -> inter_OWL [
        label="OWL direct semantics"
        URL="http://www.w3.org/TR/owl-direct-semantics/" ]    

    arbre [ label="arbre XML" URL="http://www.w3.org/TR/xml/" ]
    caracteres [ label="caracteres" URL="http://www.unicode.org/versions/Unicode6.2.0/" ]    
    graphe [ label="graphe RDF" URL="http://www.w3.org/TR/rdf-concepts/" ]
    ontologie [ URL="http://www.w3.org/TR/owl-syntax/" ]
    inter_RDF [ label="interpretation RDF" URL="http://www.w3.org/TR/rdf-mt/" ]
    inter_OWL [ label="interpretation OWL" ]