LEADER 05748nam 2200709 450 001 9910809249603321 005 20230725062052.0 010 $a1-61499-345-9 035 $a(CKB)2550000001179594 035 $a(EBL)1589013 035 $a(SSID)ssj0000766568 035 $a(PQKBManifestationID)11446041 035 $a(PQKBTitleCode)TC0000766568 035 $a(PQKBWorkID)10791635 035 $a(PQKB)10549727 035 $a(MiAaPQ)EBC1589013 035 $a(WaSeSS)Ind00045584 035 $a(Au-PeEL)EBL1589013 035 $a(CaPaEBR)ebr10827958 035 $a(CaONFJC)MIL559733 035 $a(OCoLC)867822088 035 $a(EXLCZ)992550000001179594 100 $a20140125h20112011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aEnabling collaboration on semiformal mathematical knowledge by semantic web integration /$fChristoph Lange 210 1$aHeidelberg, Germany :$cIOS Press :$cAKA,$d2011. 210 4$dİ2011 215 $a1 online resource (610 p.) 225 1 $aStudies on the Semantic Web,$x1868-1158 ;$vVolume 011 300 $aDescription based upon print version of record. 311 $a1-60750-840-0 311 $a1-306-28482-1 320 $aIncludes bibliographical references. 327 $aTitle 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 327 $aStructures 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 327 $aRequirements 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; 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 327 $aConclusionPart 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 327 $aConclusion 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 327 $aChapter 10. Usability Evaluation of an Integrated Environment for Maintaining Semiformal Collections 330 $aMathematics 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 410 0$aStudies on the Semantic Web ;$vv. 11. 606 $aKnowledge representation (Information theory) 606 $aSemantic Web 606 $aMathematics 606 $aOMDoc (Document markup language) 615 0$aKnowledge representation (Information theory) 615 0$aSemantic Web. 615 0$aMathematics. 615 0$aOMDoc (Document markup language) 676 $a006.332 700 $aLange$b Christoph$01688975 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910809249603321 996 $aEnabling collaboration on semiformal mathematical knowledge by semantic web integration$94063635 997 $aUNINA