Lange, C.
Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration. - 1 online resource (610 pages) - Studies on the Semantic Web ; v.11 . - Studies on the Semantic Web .
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 -- Structures of Mathematical Knowledge -- Requirements 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 -- Requirements for Extracting Structures from Semantic Markup to RDF -- Related Work -- Conclusion and Future Work -- Chapter 4. Using Mathematical Markup for Implementing and Documenting Expressive Ontologies -- Problem and Requirements Statement -- State of the Art -- 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 -- Conclusion. Part 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 -- Conclusion and Future Work -- Chapter 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 -- Chapter 10. Usability Evaluation of an Integrated Environment for Maintaining Semiformal Collections -- Preparation and Setup -- Evaluation Hypotheses and Method -- Quantitative Content Analysis of Argumentative Discussions -- Community Survey -- Supervised Usability Experiments with Test Users -- Evaluation Results and their Interpretation -- Conclusion and Future Work -- Part IV. Conclusion and Future Work -- Chapter 11. Conclusion and Future Work -- Retrospective Summary -- Evaluation Against the Original Research Questions -- Future Directions for e-Science -- Conclusion -- Part V. Appendix -- Chapter A. Namespace Prefixes. Chapter B. Ontologies -- OMDoc -- OpenMath CDs -- Mathematics-specific Issue and Solution Types -- Chapter C. Algorithm and Implementation Details -- Primitive Services -- JOBAD, a Library of Assistive Services for Interactive Documents -- Transparent Translations in Knowledge Bases -- The Semantic Wiki SWiM -- Bibliography.
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 discussions and Web information retrieval. This is achieved by giving existing representations of mathematical and relevant related knowledge about applications, projects and people a common Semantic Web foundation. Service integration is addressed from the two perspectives of enriching published documents by embedding assistive services, and translating between different knowledge representations inside knowledge bases. A usability evaluation of a semantic wiki that coherently integrates knowledge production and consumption services points out the remaining challenges in making such heterogeneously integrated environments support realistic workflows. The results of this thesis will soon also enable collaborative acquisition of new mathematical knowledge, as well as the contributions of existing knowledge collections of the Web of Data.
9781614993452
Knowledge representation (Information theory).
Mathematics.
OMDoc (Document markup language).
Semantic Web.
Electronic books.
TK5105.888 -- .L372 2011eb
006.332
Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration. - 1 online resource (610 pages) - Studies on the Semantic Web ; v.11 . - Studies on the Semantic Web .
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 -- Structures of Mathematical Knowledge -- Requirements 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 -- Requirements for Extracting Structures from Semantic Markup to RDF -- Related Work -- Conclusion and Future Work -- Chapter 4. Using Mathematical Markup for Implementing and Documenting Expressive Ontologies -- Problem and Requirements Statement -- State of the Art -- 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 -- Conclusion. Part 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 -- Conclusion and Future Work -- Chapter 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 -- Chapter 10. Usability Evaluation of an Integrated Environment for Maintaining Semiformal Collections -- Preparation and Setup -- Evaluation Hypotheses and Method -- Quantitative Content Analysis of Argumentative Discussions -- Community Survey -- Supervised Usability Experiments with Test Users -- Evaluation Results and their Interpretation -- Conclusion and Future Work -- Part IV. Conclusion and Future Work -- Chapter 11. Conclusion and Future Work -- Retrospective Summary -- Evaluation Against the Original Research Questions -- Future Directions for e-Science -- Conclusion -- Part V. Appendix -- Chapter A. Namespace Prefixes. Chapter B. Ontologies -- OMDoc -- OpenMath CDs -- Mathematics-specific Issue and Solution Types -- Chapter C. Algorithm and Implementation Details -- Primitive Services -- JOBAD, a Library of Assistive Services for Interactive Documents -- Transparent Translations in Knowledge Bases -- The Semantic Wiki SWiM -- Bibliography.
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 discussions and Web information retrieval. This is achieved by giving existing representations of mathematical and relevant related knowledge about applications, projects and people a common Semantic Web foundation. Service integration is addressed from the two perspectives of enriching published documents by embedding assistive services, and translating between different knowledge representations inside knowledge bases. A usability evaluation of a semantic wiki that coherently integrates knowledge production and consumption services points out the remaining challenges in making such heterogeneously integrated environments support realistic workflows. The results of this thesis will soon also enable collaborative acquisition of new mathematical knowledge, as well as the contributions of existing knowledge collections of the Web of Data.
9781614993452
Knowledge representation (Information theory).
Mathematics.
OMDoc (Document markup language).
Semantic Web.
Electronic books.
TK5105.888 -- .L372 2011eb
006.332