Catégorisation de HTML par rapport à d'autres langages

Language
 \. p{ Non-formal_language
       (Formal_language
         \. p{ Non-purely_declarative_language
               (Purely_declarative_language = Purely_descriptive_language,
                 \. ne{ (Purely_descriptive_assertion_language
                          \. p{ (Knowledge_representation_language = Semantic_representation_language,
                                  \. JSON-LD  FE  FL )
                                (Data_structuration_language = Data-structure_representation_language,
                                  \. (HTML
                                       \. e{ (HTML5 = HTML5_model/HTML5_notation)
                                             (XHTML = XHTML_model/XML) //subtype+restriction of XML + HTML
                                           } )
                                     (XML \. XHTML )
                                     JSON
                              } )
                        Purely-descriptive_query-language
                        Transformation_specification_language  //e.g. XSLT
                        Presentation_specification_language  //e.g. CSS
                      } )  //no exclusion: e.g., an hyperlink is a query and a structural-relation assertion
                       
             } )
     }.

Légende, explications et intérêts :

• "\." abrège "a pour sous-type"
• "p{ ... }" délimite une partition de sous-types, i.e., un ensemble complet de sous-types exclusifs
• "e{ ... }" délimite un ensemble non-complet de sous-types exclusifs
• "ne{ ... }" délimite un ensemble non-complet de sous-types non-exclusifs, i.e. des sous-types qui peuvent entre eux partager des
  instances ou des sous-types
  
  
• traduction en "anglais formel, avec 1 seule phrase" [Formalized-English (FE), with only 1 sentence]
  (le point suivant donne la version en "FE avec plusieurs phrases", laquelle est plus simple à lire ;
   ouvrez la destination du précédent lien – i.e. cette traduction – dans une autre fenêtre, que vous mettrez côte à côte avec celle-ci,
   afin de pouvoir aisément comparer cette traduction avec les autres représentations de ce document,
   et ainsi mieux comprendre ces autres représentations ;
   note : les termes réservés de la grammaire de FE sont en italique) :

    Language
     has for `subtype partition´ the list composed of
       ` Non-formal_language along with
         `Formal_language
           which has for `subtype partition´ the list composed of
             ` Non-purely_declarative_language along with
               `Purely_declarative_language
                 which is the same as Purely_descriptive_language
                 and has for `incomplete non-exclusive subtype set´ the list composed of
                   ` `Purely_descriptive_assertion_language
                       which has for `subtype partition´ the list composed of
                         ` `Knowledge_representation_language
                             which is the same as Semantic_representation_language 
                             and has for subtype JSON-LD as well as FE as well as FL ´ along with
                           `Data_representation_language
                             which is the same as Data-structure_representation_language
                             and has for subtype
                               `HTML
                                 which has for `incomplete non-exclusive subtype set´ the list composed of
                                   ` `HTML5 which is the same as HTML5_model/HTML5_notation´ along with
                                     `XHTML which is the same as XHTML_model/XML´
                                   ´ as well as
                               `XML which has for subtype XHTML´ as well as 
                               JSON ´
                         ´ along with
                     Purely-descriptive_query-language along with
                     Transformation_specification_language  (e.g. XSLT) along with
                     Presentation_specification_language  (e.g. CSS)
                   ´ (no exclusion: e.g., an hyperlink is a query and a structural-relation assertion)
               ´          
             ´          
       ´
  
  

• traduction en "anglais formel, avec plusieurs phrases" [Formalized-English (FE), with several sentences]
  (ouvrez la destination de ce lien – i.e. cette traduction – dans une autre fenêtre, que vous mettrez côte à côte avec celle-ci,
   afin de pouvoir aisément comparer cette traduction avec les autres représentations de ce document,
   et ainsi mieux comprendre ces autres représentations ;
   note : les termes réservés de la grammaire de FE sont en italique) :

  
    Language
     has for `subtype partition´ the list composed of 
       Non-formal_language along with
       Formal_language.
  
       Formal_languague
        has for `subtype partition´ the list composed of
          Non-purely_declarative_language along with
          Purely_declarative_language.
  
          Purely_declarative_language
           is the same as Purely_descriptive_language
           and has for `incomplete non-exclusive subtype set´ the list composed of
             Purely_descriptive_assertion_language along with
             Purely-descriptive_query-language along with
             Transformation_specification_language (e.g. XSLT) along with
             Presentation_specification_language (e.g. CSS)
             (no exclusion: e.g., an hyperlink is a query and a structural-relation assertion).
  
             Purely_descriptive_assertion_language
              has for `subtype partition´ the list composed of
                Knowledge_representation_language along with
                Data_representation_language.
  
                Knowledge_representation_language
                 is the same as Semantic_representation_language 
                 and has for subtype JSON-LD along with FE along with FL.
  
                Data_representation_language
                 is the same as Data-structure_representation_language
                 and has for subtype HTML as well as
                   XML as well as
                   JSON.
  
                   HTML
                    has for `incomplete non-exclusive subtype set´ the list composed of
                      HTML5 along with
                      XHTML along with JSON.
  
                      HTML5 is the same as HTML5_model/HTML5_notation.
  
                      XHTML is the same as XHTML_model/XML.
  
                   XML has for subtype XHTML.
  
  

• traduction en UML :

                        Language
                          △  {complete, disjoint}
                  _________|________
                 |                 |
       Non-formal_language      Formal_language
                                  △  {complete, disjoint}
               ____________________|____________
              |                                |
    Non-purely_declarative_language      Purely_declarative_language = Purely_descriptive_language
                                              △
               ________________________________|__________________________________________________
              |                                     |                               |            |
  Purely_descriptive_assertion_language             |                               |            |
             △  {complete, disjoint}            Purely-descriptive_query-language     |            | 
        ______|_____________________________            Transformation_specification_language     |
       |                                   |                    Presentation_specification_language
  Knowledge_representation_language      Data_structuration_language 
   = Semantic_representation_language     = Data-structure_representation_language
                                          △
                                          ___|_________
                                       |     |      |
                                     HTML   XML   JSON
                                     △    △
                                     ___|___   | 
                                  |       |   |
                                 HTML5    XHML
  
  

• le 1er langage utilisé ci-dessus est FL ; les versions en FE ci-dessus montrent
  - que FE peut être utile pour faire comprendre des descriptions d'informations en FE ou UML,
  - qu'écrire du FE sans erreur de syntaxe est souvent plus difficile que d'écrire du FL ou de l'UML ;
  vous retrouverez ces langages en L2 Informatique ;
  
  
• intérêts :
  • cette catégorisation permet de mettre en exergue des attributs importants de HTML
    et de le comparer de manière concise à d'autres langages
  • vous devez savoir lire de telles catégorisations ;
    via sa traduction en Formalized-English, cet exemple illustre cette lecture
  • pour permettre des recherches sur les données d'un site Web
    par requête ou navigation exploitant les relations de spécialisations et d'exclusion entre ces données
    (ce qui est souvent la manière la plus efficace de les retrouver),
    il faut structurer ces données par de telles relations
    (le projet demandera de permettre une telle recherche ; vous devrez donc fournir une catégorisation de
     vos données importantes, en FL, FE ou UML ;
     seulement catégoriser n'est pas un exercice difficile, en particulier avec ces langages ;
     cette année, il ne vous sera pas demandé de connaître de manière plus approfondie ces langages).