Cargando…
Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration.
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 individ...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
IOS Press,
2011.
©2011 |
| Colección: | Studies on the Semantic Web ;
v. 11. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn867822088 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 140110s2011 xx ob 000 0 eng d | ||
| 040 | |a IDEBK |b eng |e pn |c IDEBK |d EBLCP |d E7B |d OCLCQ |d DEBSZ |d CCO |d OCLCO |d OCLCQ |d OCLCF |d OCLCQ |d AZK |d COCUF |d MOR |d PIFAG |d ZCU |d MERUC |d OCLCQ |d U3W |d STF |d NRAMU |d CRU |d ICG |d VTS |d OCLCQ |d INT |d OCLCQ |d TKN |d OCLCQ |d DKC |d OCLCQ |d HS0 |d OCLCQ |d TUHNV |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 961642071 |a 962636305 | ||
| 020 | |a 1306284821 |q (ebk) | ||
| 020 | |a 9781306284820 |q (ebk) | ||
| 020 | |a 9781614993452 | ||
| 020 | |a 1614993459 | ||
| 020 | |z 9781607508403 | ||
| 029 | 1 | |a DEBBG |b BV044065891 | |
| 029 | 1 | |a DEBSZ |b 405561180 | |
| 029 | 1 | |a NZ1 |b 15590612 | |
| 035 | |a (OCoLC)867822088 |z (OCoLC)961642071 |z (OCoLC)962636305 | ||
| 037 | |a 559733 |b MIL | ||
| 050 | 4 | |a TK5105.888 | |
| 082 | 0 | 4 | |a 006 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Lange, C. | |
| 245 | 1 | 0 | |a Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration. |
| 260 | |b IOS Press, |c 2011. | ||
| 264 | 4 | |c ©2011 | |
| 300 | |a 1 online resource | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Studies on the Semantic Web, |x 1868-1158 ; |v Volume 011 | |
| 588 | 0 | |a Print version record. | |
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a 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 | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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; 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 | |
| 505 | 8 | |a 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 | |
| 505 | 8 | |a 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 | |
| 520 | |a 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. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Knowledge representation (Information theory) | |
| 650 | 0 | |a Semantic Web. | |
| 650 | 0 | |a Mathematics. | |
| 650 | 0 | |a OMDoc (Document markup language) | |
| 650 | 2 | |a Mathematics | |
| 650 | 6 | |a Représentation des connaissances. | |
| 650 | 6 | |a Web sémantique. | |
| 650 | 6 | |a Mathématiques. | |
| 650 | 7 | |a Knowledge representation (Information theory) |2 fast | |
| 650 | 7 | |a Mathematics |2 fast | |
| 650 | 7 | |a OMDoc (Document markup language) |2 fast | |
| 650 | 7 | |a Semantic Web |2 fast | |
| 758 | |i has work: |a Enabling collaboration on semiformal mathematical knowledge by semantic web integration (Text) |1 https://id.oclc.org/worldcat/entity/E39PD3GJpRrfYWMFw8PR8Jqtdj |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |z 9781306284820 |
| 830 | 0 | |a Studies on the Semantic Web ; |v v. 11. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1589013 |z Texto completo |
| 936 | |a BATCHLOAD | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL1589013 | ||
| 938 | |a ebrary |b EBRY |n ebr10827958 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis27260737 | ||
| 994 | |a 92 |b IZTAP | ||