P. Champin, A. Mille, and Y. Prié, Vers des traces numériques comme objets informatiques de premier niveau : une approche par les traces modélisées, Intellectica, issue.59, pp.171-204, 2013.

J. E. Cook and A. L. Wolf, Discovering Models of Software Processes from Event-Based Data, ACM Transactions on Software Engineering and Methodology (TOSEM), vol.7, issue.3, pp.215-249, 1998.

A. Cordier, M. Lefevre, P. Champin, O. Georgeon, and A. Mille, Trace-Based Reasoning -Modeling Interaction Traces for Reasoning on Experiences, The 26th International FLAIRS Conference, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00830444

P. Deransart, M. Ducassé, and L. Langevine, A Generic Trace Model for Finite Domain, UserInteraction in Constraint Satisfaction, 2002.

D. Estrin, Small Data, Where n = Me, Commun. ACM, vol.57, issue.4, pp.32-34, 2014.

R. Fielding and . Thomas, Architectural Styles and the Design of Network-Based Software Architectures, 2000.

C. Fisher and P. Sanderson, Exploratory Sequential Data Analysis: Exploring Continuous Observational Data, Interactions, vol.3, issue.2, pp.25-34, 1996.

S. George, C. Michel, and M. Ollagnier-beldame, Usages Réflexifs Des Traces Dans Les Environnements Informatiques Pour l'apprentissage Humain, Intellectica, issue.59, pp.205-241, 2013.

S. Harris and A. Seaborne, SPARQL 1.1 Query Language, W3C Recommendation. W3C, 2013.

P. Hitzler, M. Krötzsch, B. Parsia, F. Peter, S. Patel-schneider et al., OWL 2 Web Ontology Language Primer, W3C Recommendation. W3C, 2009.

. Hsieh, H. Cheng-kang, F. Tangmunarunkit, J. Alquaddoomi, J. Jenkins et al., Lifestreams: A Modular Sense-Making Toolset for Identifying Important Patterns from Everyday Life, Proceedings of the 11th ACM Conference on Embedded Networked Sensor Systems, vol.5, pp.1-5, 2013.

V. Kaptelinin, Computer-Mediated Activity: Functional Organs in Social and Developmental Contexts, pp.45-68, 1996.

G. Klyne and C. Newman, Date and Time on the Internet: Timestamps, 2002.

. Kong-win, . Chang, M. Bryan, N. Lefevre, P. Guin et al., SPARE-LNC : Un Langage Naturel Contrôlé Pour l'interrogation de Traces d'interactions Stockées Dans Une Base RDF, IC2015, 2015.

. Laflaquiere, L. S. Julien, Y. Settouti, A. Prié, and . Mille, In Knowledge-Based Intelligent Information and Engineering Systems, pp.1171-1178, 2006.

J. Marty, T. Carron, and J. Heraud, Traces and Indicators: Fundamentals for Regulating Learning Activities, Teachers and Teaching: Strategies, Innovations and Problem Solving, pp.323-349, 2009.

B. Mathern, A. Mille, A. Cordier, D. Cram, and R. Zarka, Towards a Knowledge-Intensive and Interactive Knowledge Discovery Cycle, 20th ICCBR Workshop Proceedings, pp.151-62, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01353145

L. Moreau and P. Missier, PROV-DM: The PROV Data Model, W3C Recommendation. W3C, 2013.

M. Ollagnier-beldame, The Use of Digital Traces: A Promising Basis for the Design of Adapted Information Systems?, International Journal on Computer Science and Information Systems. Special Issue "Users and Information Systems, vol.6, issue.2, pp.24-45, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00669019

M. Sachan, D. Contractor, A. Tanveer, L. Faruquie, . Venkata et al., Using Content and Interactions for Discovering Communities in Social Networks, 21st International Conference on World Wide Web, pp.331-340, 2012.

G. Schreiber and Y. Raimond, RDF 1.1 Primer, W3C Working Group Note. W3C, 2014.

J. Snell and E. Prodromou, Activity Streams 2.0, W3C Candidate Recommendation. W3C, 2016.

. Song, C. W. Minseok, . Günther, and A. Van-der, Trace Clustering in Process Mining, Business Process Management Workshops, pp.109-120, 2009.

M. Sporny, G. Kellogg, and M. Lanthaler, JSON-LD 1.0 -A JSON-Based Serialization for Linked Data, W3C Recommendation. W3C, 2014.

H. Terrat, Apports et Limites Des TICE Dans Les Apprentissages de La Langue Chez Les Élèves Handicapés, 2015.

, Moteurs Présentant Des Troubles Associés : Utilisation Des Traces Numériques Pour Favoriser l'apprentissage de La Langue Écrite

. Van-der-aalst, M. P. Wil, F. Boudewijn, J. Van-dongen, L. Herbst et al., Workflow Mining: A Survey of Issues and Approaches, Data & Knowledge Engineering, vol.47, issue.2, pp.237-267, 2003.

, To choose, quoting Pariser's metaphor, between "information vegetable" and "information dessert

, In fact, the RESTful protocol defined by the Tin Can API is very similar to the one used by kTBS, so we are confident that this integration should not be too hard to achieve

, An acrostic is a poem (or other form of writing) in which the first letter (or syllabe or word) of each line (or paragraph, or other recurring feature in the text) spells out a word or a message

, This kinship between presentation and interpretation will be further discusses in Chapter

, in many cases, the user is asked for permission before an application shares their data with another one. However, users can only have this choice if both application providers have a prior agreement, and furthermore, nothing prevents them (technically

R. Abascal, M. Beigbeder, A. Bénel, S. Calabretto, B. Chabbat et al., Modéliser La Structuration Multiple Des Documents, Créer Du Sens à l'ère Numérique (H2PTM'03), pp.253-57, 2003.

R. Abascal, A. Bénel, M. Beigbeder, S. Calabretto, B. Chabbat et al., Un Modèle de Document à Structures Multiples, Sciences of Electronic, Technology of Information and Telecommunications (SETIT2004), 00, 2004.

B. Adida and M. Birbeck, RDFa Primer, W3C Working Group Note. W3C, 2008.

M. Baker, Hypermedia in RESTful Applications, 2008.

P. Barazzutti, A. Cordier, and B. Fuchs, Transmute: An Interactive Tool for Assisting Knowledge Discovery in Interaction Traces, Research Report. Universite Claude Bernard Lyon, 2001.
URL : https://hal.archives-ouvertes.fr/hal-01172013

M. Barhamgi, P. Champin, D. Benslimane, and A. M. Ouksel, Composing Data-Providing Web Services in P2P-Based Collaboration Environments, Advanced Information Systems Engineering, 19th International Conference, vol.4495, pp.531-545, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01536268

T. Berners-lee, W. Hall, J. A. Hendler, O. Kieron, N. Hara et al., A Framework for Web Science, Found. Trends Web Sci, vol.1, issue.1, pp.1-130, 2006.

J. Bonneau, E. Bursztein, I. Caron, R. Jackson, and M. Williamson, Secrets, Lies, and Account Recovery: Lessons from the Use of Personal Knowledge Questions at Google, 24th International Conference on World Wide Web, pp.141-150, 2015.

M. Buffat, A. Mille, and M. Picasso, Feedbacks on MOOCS, FR: ESAIM: Proceedings and Surveys, vol.50, pp.66-80, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01313193

R. Cazenave-lévêque, Interoperability among Trace Formalisms, 2016.

P. Champin, RDF-REST: A Unifying Framework for Web APIs and Linked Data, Services and Applications over Linked APIs and Data (SALAD), Workshop at ESWC, vol.1056, pp.10-19, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00921662

D. Nies, F. Tom, R. Salliau, E. Verborgh, R. Mannens et al., TinCan2PROV: Exposing Interoperable Provenance of Learning Processes through Experience API Logs, Proceedings of the 24th International Conference on World Wide Web Companion, pp.689-94, 2015.

D. Estrin, Small Data, Where n = Me, Commun. ACM, vol.57, issue.4, pp.32-34, 2014.

R. Fielding and . Thomas, Architectural Styles and the Design of Network-Based Software Architectures, 2000.

D. Glazkov, Custom Elements, W3C Working Draft. W3C, 2016.

K. Goel and P. Gupta, Introducing Schema.Org: Search Engines Come Together for a Richer Web, 2011.

R. Hasan, Predicting Query Performance and Explaining Results to Assist Linked Data Consumption, The Semantic Web: Trends and Challenges (Proceedings of ESWC 2014, pp.473-487, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01127124

J. Heflin, J. Hendler, and S. Luke, SHOE: A Knowledge Representation Language for Internet Applications, 1999.

. Kong-win, . Chang, M. Bryan, N. Lefevre, P. Guin et al., SPARE-LNC : Un Langage Naturel Contrôlé Pour l'interrogation de Traces d'interactions Stockées Dans Une Base RDF, IC2015, 2015.

A. D. Kramer, The Spread of Emotion via Facebook, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, 2012.

M. Lanthaler and C. Gütl, Model Your Application Domain, Not Your JSON Structures, Proceedings of the 22Nd International Conference on World Wide Web, pp.1415-1420, 2013.

T. Lebo, S. Sahoo, and D. Mcguinness, PROV-O: The PROV Ontology, W3C Recommendation. W3C, 2013.

W. Lee, W. Bailer, T. Bürger, P. Champin, J. Evain et al., Ontology for Media Resources 1.0." W3C Recommendation. W3C, 2012.

E. Mansour, A. V. Sambra, S. Hawke, M. Zereba, S. Capadisli et al., A Demonstration of the Solid Platform for Social Web Applications, Proceedings of the 25th International Conference Companion on World Wide Web, pp.223-226, 2016.

E. Marcotte, Responsive Web Design, 2010.

L. Médini, P. Champin, M. Mrissa, and A. Cordier, Towards Semantic Resource Mashups, Services and Applications over Linked APIs and Data (SALAD), 2014.

L. Moreau and P. Missier, PROV-DM: The PROV Data Model, W3C Recommendation. W3C, 2013.

E. Pariser, Beware Online "Filter Bubbles, 2011.

S. Pieters, WebVTT: The Web Video Text Tracks Format, Draft Community Group Report. W3C, 2016.

R. Sanderson, P. Ciccarese, and B. Young, Web Annotation Data Model, W3C Candidate Recommendation. W3C, 2016.

J. M. Snell, M. Atkins, W. Norris, C. Messina, M. Wilkinson et al., Activity Streams 1.0, Activity Streams working group, 2011.

J. Snell and E. Prodromou, Activity Streams 2.0, W3C Candidate Recommendation. W3C, 2016.

S. Speicher, J. Arwe, and A. Malhotra, Linked Data Platform 1.0, W3C Recommendation. W3C, 2015.

M. Sporny, G. Kellogg, and M. Lanthaler, JSON-LD 1.0 -A JSON-Based Serialization for Linked Data, W3C Recommendation. W3C, 2014.

. Actually, Cinelab model defines a few other categories of elements, which are not described here for the sake of conciseness and clarity. The interested reader can refer to the complete documentation (Aubert, Champin, and Prié 2012) for full details

, For example, the Institut de Recherche et d'Innovation (IRI) has adopted Cinelab for their own

O. Aubert, P. Champin, and Y. Prié, Cinelab Data Model, 2012.

O. Aubert, P. Champin, Y. Prié, and B. Richard, Canonical Processes in Active Reading and Hypervideo Production, Multimedia Systems Journal, vol.14, issue.6, pp.427-460, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01514429

M. Betrancourt, N. Guichon, and Y. Prié, Assessing the Use of a Trace-Based Synchronous Tool for Distant Language Tutoring, Computer-Supported Collaborative Learning, vol.1, pp.478-85, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00806428

P. Champin, B. Encelle, W. D. Nicholas, M. Evans, Y. Ollagnier-beldame et al., Towards Collaborative Annotation for Video Accessibility, 7th International Cross-Disciplinary Conference on Web Accessibility, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01381458

V. Gandhi and R. Ronfard, Detecting and Naming Actors in Movies Using Generative Appearance Models, CVPR 2013 -International Conference on Computer Vision and Pattern Recognition, pp.3706-3719, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00814197

D. Glazkov, Custom Elements, W3C Working Draft. W3C, 2016.

L. Hardman, ?. Obrenovi?, F. Nack, B. Kerhervé, and K. Piersol, Canonical Processes of Semantically Annotated Media Production, Multimedia Systems, vol.14, issue.6, pp.327-367, 2008.

C. Michel, M. Têtu-delage, P. Champin, and L. Pot, Les Cahiers Du Numérique, Médiation des mémoires en ligne, vol.12, pp.31-50, 2016.

F. Murnau and . Wilhelm, Nosferatu. Centraal Bureau voor Ligafilms, 1929.

T. Nelson and . Holm, Complex Information Processing: A File Structure for the Complex, the Changing and the Indeterminate, Proceedings of the 1965 20th National Conference, pp.84-100, 1965.

R. Ronfard, B. Encelle, N. Sauret, P. Champin, T. Steiner et al., Capturing and Indexing Rehearsals: The Design and Usage of a Digital Archive of Performing Arts, pp.533-573, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01178053

M. Sadallah, O. Aubert, and Y. Prié, Component-Based Hypervideo Model: High-Level Operational Specification of Hypervideos, Document Engineering, vol.70, pp.869-903, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01354518

R. Sanderson, P. Ciccarese, and B. Young, Web Annotation Data Model, W3C Candidate Recommendation. W3C, 2016.

T. Steiner, H. Mühleisen, R. Verborgh, P. Champin, B. Encelle et al., Weaving the Web(VTT) of Data, Linked Data on the Web (LDOW2014), 2014.
URL : https://hal.archives-ouvertes.fr/hal-00984780

T. Steiner, R. Ronfard, P. Champin, B. Encelle, and Y. Prié, Curtains Up! Lights, Camera, Action! Documenting the Creation of Theater and Opera Productions with Linked Data and Web Technologies, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01159826

R. Troncy, E. Mannens, S. Pfeiffer, and D. Van-deursen, Media Fragments URI 1.0 (Basic), W3C Recommendation. W3C, 2012.

J. F. Villamizar, B. Saray, Y. Encelle, P. Prié, and . Champin, An Adaptive Videos Enrichment System Based On Decision Trees For People With Sensory Disabilities, 8th International Cross-Disciplinary Conference on Web Accessibility, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01354397

L. Yahiaoui, Y. Prié, Z. Boufaïda, and P. Champin, Redocumenting Computer Mediated Activity from Its Traces: A Model-Based Approach for Narrative Construction, Journal of Digital Information (JoDI), issue.3, p.12, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01354445

, NB: if is not injective, then the inverse relation is not itself a function, and can have several representations under

. Actually, XML distinguishes two levels of compliance, well-formedness and validity, but both are syntactic criteria

, Those terms are borrowed from mathematical logic; we will show in the end of this section that the definitions we give here are a generalization of their usual definitions

, This could be the case if was a computer program using 32-bits integers

, In fact, it is enough if (respectively ) has those properties on (respectively )

, Note that this incompleteness is not the opposite of , but of a subtly different notion of completeness

, complete if every sentence of or its negation can be derived in . In other words, if is incomplete in that sense, some sentences do not have the same truth value in all possible models

, Although those languages require a compilation phase, they are not compiled into native machine code, but to a lower-level language (bytecode) that still needs an external native program to be executed, This includes languages such as Java and C#

, Greenspun's intent here is cleary to encourage to use high-level languages (such as Common Lisp) instead of re-implementing their functionalities in C or Fortran, This is humourously summarized by Greenspun's Tenth Rule of Programming

, In which case they might be opposed the famous meme "it is not a bug, it is a feature

J. Arsac, Des Ordinateurs à l'informatique (1952-1972), In , edited by Philippe Chatelin, vol.1, pp.31-43, 1988.

F. Baader, D. Calvanese, and D. L. Mcguinness, The Description Logic Handbook: Theory, Implementation, and Applications, 2003.

T. Bray, J. Paoli, C. M. Sperberg-mcqueen, E. Maler, and F. Yergeau, Extensible Markup Language (XML) 1.0, W3C Recommendation. W3C, 1998.

, Extensible Markup Language (XML) 1.0 (Fifth Edition), 2008.

N. Chomsky, Syntactic Structures. Mouton, 1957.

J. Clark, RELAX NG Compact Syntax, OASIS Committee Specification. OASIS, 2002.

J. Clark and S. Derose, XML Path Language (XPath), W3C Recommendation. W3C, 1999.

J. Cowan and R. Tobin, XML Information Set (Second Edition), W3C Recommendation. W3C, 2004.

D. Crocker and P. Overell, Augmented BNF for Syntax Specifications: ABNF, 2008.

D. Crockford, The Application/Json Media Type for JavaScript Object Notation (JSON), 2006.

D. C. Fallside and P. Walmsley, XML Schema Part 0: Primer Second Edition, W3C Recommendation. W3C, 2004.

M. Fernández, A. Malhotra, J. Marsh, M. Nagy, and N. Walsh, XQuery 1.0 and XPath 2.0 Data Model (XDM), W3C Recommendation. W3C, 2007.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable ObjectOriented Software, 1995.

W. Hodges, Model Theory, The Stanford Encyclopedia of Philosophy, 2013.

D. R. Hofstadter, Gödel, Escher, Bach: An Eternal Golden Braid, 1979.

L. W. , Document Object Model (DOM) Level 1 Specification, W3C Recommendation. W3C, 1998.

B. Meyer, Object-Oriented Software Construction, Second Edition, 1997.

M. Nivat and A. Podelski, Tree Automata and Languages, 1992.

S. Pemberton, XHTML 1.0 The Extensible HyperText Markup Language (Second Edition), 2000.

Y. Prié, Vers une phénoménologie des inscriptions numériques. Dynamique de l'activité et des structures informationnelles dans les systèmes d'interprétation, 2011.

P. Raatikainen, Gödel's Incompleteness Theorems, The Stanford Encyclopedia of Philosophy, 2015.

E. S. Raymond, The Art of Unix Programming, 2003.

G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation, 1997.

G. Schreiber and Y. Raimond, RDF 1.1 Primer, W3C Working Group Note. W3C, 2014.

, The Unicode Standard, Version 9, The Unicode Consortium, 2016.

A. M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem, J. of Math, vol.58, pp.345-363, 1936.

V. Bush, As We May Think, The Atlantic Monthly, 1945.

L. Carroll, Through the Looking-Glass, 1871.

R. Cazenave-lévêque, Interoperability among Trace Formalisms, 2016.

W. Hall, J. Hendler, and S. Staab, Web Science Manifesto, 2016.

G. Johnson, To Beat Go Champion, Google's Program Needed a Human Army, The New York Times, 2016.

M. Lanthaler and C. Gütl, Model Your Application Domain, Not Your JSON Structures, Proceedings of the 22Nd International Conference on World Wide Web, pp.1415-1420, 2013.

T. Lebo, S. Sahoo, and D. Mcguinness, PROV-O: The PROV Ontology, W3C Recommendation. W3C, 2013.

E. Pariser, Beware Online "Filter Bubbles, 2011.

M. Sadallah, O. Aubert, and Y. Prié, CHM: An Annotation-and Component-Based Hypervideo Model for the Web, Multimedia Tools and Applications, vol.70, issue.2, pp.869-903, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01353043

R. Sanderson, P. Ciccarese, and B. Young, Web Annotation Data Model, W3C Candidate Recommendation. W3C, 2016.

J. Snell and E. Prodromou, Activity Streams 2.0, W3C Candidate Recommendation. W3C, 2016.

R. Troncy, E. Mannens, S. Pfeiffer, and D. Van-deursen, Media Fragments URI 1.0 (Basic), W3C Recommendation. W3C, 2012.

H. Williams, Google's DeepMind AI Masters Lip-Reading, 2016.

T. Winograd, Shifting Viewpoints: Artificial Intelligence and Human-Computer Interaction, Artificial Intelligence, Special Review Issue, vol.170, issue.18, pp.1256-58, 2006.

G. Wu, Why More Data and Simple Algorithms Beat Complex Analytics Models, Annexes Curriculum Vitae Pierre-Antoine Champin Maître de Conférences (CN) -27ème section (Informatique) IUT -Université Claude Bernard Lyon 1 92, bd Niels Bohr 69 622, vol.93, pp.51-56, 2013.

, Jérôme Euzenat Titre : Modéliser l'expérience pour en assister la réutilisation : de la conception assistée par ordinateur au Web sémantique 1997 DEA DEA d'Informatique de Lyon Mention : Assez Bien Dirigé par : Robert Laurini Titre : Recherche de chemins en milieu hostile à l'aide des projections symboliques 1997 Diplôme d'ingénieur INSA de Lyon Spécialité, Informatique Mention : Félicitations du Jury 1992 Baccalauréat Série C (scientifique) Mention : Bien Expériences professionnelles 2003 -présent Maître de conférences LIRIS UMR 5205 / Université Claude Bernard Lyon, 2009.

, République d'Irlande) 2002 -2003 ATER Université Claude Bernard Lyon, 2001.

, Ingénieur doctorant CIFRE Dassault Système