{"text_format":"2","workbook":"xls","n_sheets":1,"sheets":["report2"],"not_rendered":{"charts":0,"images":0,"macros":0,"external_links":1,"defined_names":1,"comments":0,"pivot_tables":0},"unopened":[],"bounds":{"document_bytes":16777216,"sheet_cells":100000,"run_cost":"one","rows_first":2000,"rows_last":500,"rows_between":2000,"halvings":0,"cell_chars":16384,"cell_head_chars":4096},"cells_cut":0,"cells_raw":0,"read":"whole","date_system":"1900","formulas":"cached_only"}

{"sheet":"report2","index":0,"n_rows":26,"n_cols":5,"rows_kept":26,"cut":false,"hidden":false,"merged":[[0,2,0,3],[0,4,0,5],[1,2,1,3],[1,4,1,5],[2,2,2,3],[2,4,2,5],[3,2,3,3],[5,2,5,3],[6,2,6,3],[7,2,7,3],[8,2,8,3],[9,2,9,3],[13,2,13,3],[14,2,14,3],[18,2,18,3]],"flags":["formulas_cached_only"]}
[null,"1.","Record Nr.",null,"UNINA9910809249603321"]
[null,null,"Autore",null,"Lange Christoph"]
[null,null,"Titolo",null,"Enabling collaboration on semiformal mathematical knowledge by semantic web integration / / Christoph Lange"]
[null,null,"Pubbl/distr/stampa",null,"Heidelberg, Germany : , : IOS Press : , : AKA, , 2011"]
[{"$nulls":4},"©2011"]
[null,null,"ISBN",null,"1-61499-345-9"]
[null,null,"Descrizione fisica",null,"1 online resource (610 p.)"]
[null,null,"Collana",null,"Studies on the Semantic Web, , 1868-1158 ; ; Volume 011"]
[null,null,"Disciplina",null,"006.332"]
[null,null,"Soggetti",null,"Knowledge representation (Information theory)"]
[{"$nulls":4},"Semantic Web"]
[{"$nulls":4},"Mathematics"]
[{"$nulls":4},"OMDoc (Document markup language)"]
[null,null,"Lingua di pubblicazione",null,"Inglese"]
[null,null,"Formato",null,"Materiale a stampa"]
[null,null,null,"Livello bibliografico","Monografia"]
[null,null,null,"Note generali","Description based upon print version of record."]
[null,null,null,"Nota di bibliografia","Includes bibliographical references."]
[null,null,"Nota di contenuto",null,"Title Page; Contents; Abstract; Acknowledgments; Part I. Introduction; Chapter 1. Web Collaboration on Mathematical Knowledge; Current Practices of \"\"Doing Mathematics\"\"; Enabling Management, Understanding, and Application of Mathematical Knowledge; Web 2.0 and Semantic Web in Science; Mathematics on the Web - State of the Art and Challenges; Collaborative Mathematics on the Web - Why Retry Now?; Challenges to be Addressed by a New MKM Infrastructure; Structure and Contribution of this Thesis; Part II. Knowledge Representation; Chapter 2. Representing Mathematical Knowledge"]
[{"$nulls":4},"Structures of Mathematical KnowledgeRequirements for Reusably Representing and Exchanging Mathematical Knowledge; Knowledge Representation on the [Semantic] Web (State of the Art); Representing Semiformal Mathematical Knowledge (State of the Art); Designing an Improved Representation and Exchange Language; Chapter 3. Ontologies for Structures of Mathematical Knowledge; Overview of the Ontologies by Structural Dimension; Logical and Functional Structures, and Notation; Rhetorical and Document Structures; Metadata; The Application Environment; Discussions about Knowledge Items"]
[{"$nulls":4},"Requirements for Extracting Structures from Semantic Markup to RDFRelated Work; Conclusion and Future Work; Chapter 4. Using Mathematical Markup for Implementing and Documenting Expressive Ontologies; Problem and Requirements Statement; State of the Art; "]
[{"$nulls":4},"Implementing and Documenting Heterogeneous Ontologies in OMDoc; Implementation of the OMDoc Ontology; Case Study: Reimplementing FOAF in OMDoc; Related Work; Conclusion and Future Work; Chapter 5. Multi-Dimensional Metadata Markup; The Metadata Syntax of OMDoc 1.2 (State of the Art); The new OMDoc+RDFa Metadata Framework; Related Work"]
[{"$nulls":4},"ConclusionPart III. Services and their Integration; Chapter 6. Primitive Services for Managing Mathematical Knowledge; Tasks, Scenarios, and Required Primitive Services; Editing; Validating; Human- and Machine-Comprehensible Publishing; Information Retrieval; Arguing about Problems and their Solutions; Conclusion; Chapter 7. Integrating Assistive Services into Interactive Documents; State of the Art and Related Work; Requirements for Integrating Services into Documents; The JOBAD Architecture; In-Document Client Services; Symbol-based Client Services; Expression-based Client Services"]
[{"$nulls":4},"Conclusion and Future WorkChapter 8. Transparent Translations in Knowledge Bases; Extracting Structures from Semantic Markup; Migration to More Expressive Languages; Coping with Different Representation Granularities on Import and Export; Recommendations for Running Translations Transparently; Conclusion; Chapter 9. The Semantic Wiki SWiM - An Integrated Collaboration Environment; Wikis and Semantic Wikis (State of the Art); Requirements Analysis and Design Decisions; Architecture; How SWiM Supports OpenMath CD Maintenance Workflows; Related Work; Conclusion and Future Work"]
[{"$nulls":4},"Chapter 10. Usability Evaluation of an Integrated Environment for Maintaining Semiformal Collections"]
[null,null,null,"Sommario/riassunto","Mathematics is becoming increasingly collaborative, but software does not sufficiently support that: Social Web applications do not currently make mathematical knowledge accessible to automated agents that have a deeper understanding of mathematical structures. Such agents exist but focus on individual research tasks, such as authoring, publishing, peer-review, or verification, instead of complex collaboration workflows. This work effectively enables their integration by bridging the document-oriented perspective of mathematical authoring and publishing, and the network perspective of threaded"]