Organisation de quelques types de langages et vocabulaires

Organisez (→ représentez, comparez, regroupez, généralisez, ... dans un même graphe,
en FL ou FL-DF) les types de concepts référés dans la liste ci-dessous,
autant que vous pouvez (en particulier via des relations sous-type, part, exclusion, ...)
et en tant que sous-types de ceux de la section "Types de concept de plus haut-niveau essentiels" :
JSON, JSON-LD, Schema.org, Microformats, microdata, RDFa, RDF, RDF/XML,
XML, XHTML, SGML, CSS, XSL, XSLT, XSL-FO, XPath, XPointer, XLink, XQuery,
C++, Java, Javascript (JS), Python, Prolog, Lisp, SML.
Les documents ici référés sont souvent des pages Wikipedia puisque l'exercice demandé est
un exercice de synthèse et de catégorisation. Dans l'autre exercice, les documents référés
sont souvent plus techniques et contiennent plus d'exemples.


//One extended solution: Description_content/instrument/support //see details in Section 1.4.4 /^ (Thing := "anything that exists or that can be thought about is a Thing", description: 0..* Description_content-or-instrument-or-container, description_instrument: 0..* Language_or_language-element ), \. (Description_content //e.g., each Set_of_term_definitions for each Set_of_terms mentionned below \. (Ontology part: 1 Set_of_terms 1 Set_of_term_definitions, \. e{ //`e{ }' delimits a set of exclusive types (Content_ontology \. (Schema.org_model = Schema.org) ) //and thousands of other content ontologies (Language_ontology = Ontology_of_a_language, part: 1 (Language_terms /^ Set_of_terms), \. (Language_model = Ontology_of_the_abstract_model_of_a_language) ) //detailed below } ) ) (Description_instrument \. (Language_or_language-element \. p{ Language_element //`p{ }' delimits a subtype partition (Language r_member: 1..* Language_element, part: 0..* Language_abstract-model 0..* Language_concrete-model, \. e{ (Language_concrete-model = Language_notation) (Language_abstract-model = Language_model, //and, as above noted: //= Ontology_of_the_abstract_model_of_a_language, //but "abstract model" and // "ontology" are synonyms here, so "Ontology_of_the" is redundant here \. e{ (Language_model_commonly_used_within_HTML_attributes \. e{ (RDFa_model = RDFa) (Microformat_model = Microformat) (Microdata_model = Microdata) } ) (Language_model_commonly_used_with_XML_to_create_an_XML_language \. e{ SGML_model XHTML_model XSL_model XSL-FO_model XQuery_model (XLINK_model = XLINK) } ) //and so many other ones } ) } e{ (Programming_language = Structural_programming-language, //there are no semantic ones \. p{ (Declarative_programming_language //but not Purely-declarative_programming-language \. (Logic_based_programming_language \. Prolog) (Functional_programming_language \. LISP SML) ) //note: many Functional_programming_languages have interpreters and compilers (Non-declarative_programming_language //e.g., procedural/imperative languages \. p{ (Non-declarative_interpreted_programming_language \. JS Python) (Non-declarative_compiled_programming_language \. C++ Java) } ) } ) (Purely_declarative_language = Purely_descriptive_language, \. { //no exclusion: e.g., an hyperlink is a query and a structural-relation assertion (Purely_descriptive_assertion_language \. p{ (Knowledge_representation_language = KRL Semantic_representation_language, \. p{ (KR_language_model /^ Language_model, \. (RDF \. (JSON-LD_model = RDF+) ) ) (KR_language_notation /^ Language_notation, \. (Notation_mainly_meant_for_RDF \. Turtle JSON-LD_notation) ) } (RDF/XML part: 1 RDF 1 XML_notation) (RDF/Turtle part: 1 RDF 1 Turtle) (RDF/JSON-LD_notation part: 1 RDF 1 JSON-LD_notation) (RDF+RDFa/XHTML part: 1 RDF 1 RDFa 1 XHTML) (JSON-LD = RDF+/JSON+, part: 1 RDF 1 JSON-LD_notation) FL FL-DF ) (Data_representation_language = Structure_representation_language, \. p{ (Data_representation_language_model /^ Language_model, \. XSGML_model ML_model XHTML_model XQuery_model ) (Data_representation_language_notation /^ Language_notation, \. SGMLnotation (XML_notation \. (XQuery_XML_notation = XQueryX) ) ) } (SGML part: 1 SGML_model 1..* SGML_notation, part: 1..* XML) //if XML is really only a simplification of SGML (XML part: 1 XML_model 1..* XML_notation, \. XHTML) (HTML \. (XHTML = XHTML_model/XML) //subtype+restriction of XML and HTML (HTML5 = HTML5_model/HTML5_notation) HTML+RDFa/HTML5_notation ) (JSON part of: 1..* JSON-LD) ) } p{ (Action_specification_language \. e{ (Presentation_specification_language \. CSS (XSL-FO = XSL-FO_model/XML) ) (Transformation_specification_language \. (XSLT = XSL_model/XML, part: 1 XPath) ) } ) Static_information_specification_language } ) (Purely-descriptive_query-language //is there a non-purely-descriptive query language? \. p{ (Knowledge_query_language = Semantic_query_language, \. (SPARQL = RDF-based_query_language_model/Turtle) ) (Data_query_language = Lexical-or-structural_query_language, \. (Structural_query_language \. (XML-data_query_language //and used via/within XML or \. p{ (XML-data_query_language_that_can_use_XML_as_a_notation \. (XQuery part: 1 XQuery_model 1 XQuery_FLWOR_notation 1 XQuery_XML_notation ) (XLink = XLink_model/XML, part: 1 XPointer) ) (XML-data_query_language_not_using_XML_as_a_notation \. (XPointer part: 1 XPath) XPath ) } ) ) ) } ) } (XSL part: 1 XSLT 1 XSL-FO 1 XPath) )//end of `Purely_declarative_language' definition }//end of the exclusion set between `Programming_language' and `Purely_declarative_language' )//end of `Language' definition }//end of the partition between `Language_element' and `Language' )//end of `Language_or_language-element' definition ).//end of `Description_instrument'