Enabling collaboration on semiformal mathematical knowledge by semantic web integration / / Christoph Lange |
Autore | Lange Christoph |
Pubbl/distr/stampa | Heidelberg, Germany : , : IOS Press : , : AKA, , 2011 |
Descrizione fisica | 1 online resource (610 p.) |
Disciplina | 006.332 |
Collana | Studies on the Semantic Web |
Soggetto topico |
Knowledge representation (Information theory)
Semantic Web Mathematics OMDoc (Document markup language) |
Soggetto genere / forma | Electronic books. |
ISBN | 1-61499-345-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
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 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 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 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 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 Chapter 10. Usability Evaluation of an Integrated Environment for Maintaining Semiformal Collections |
Record Nr. | UNINA-9910453457003321 |
Lange Christoph | ||
Heidelberg, Germany : , : IOS Press : , : AKA, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Enabling collaboration on semiformal mathematical knowledge by semantic web integration / / Christoph Lange |
Autore | Lange Christoph |
Pubbl/distr/stampa | Heidelberg, Germany : , : IOS Press : , : AKA, , 2011 |
Descrizione fisica | 1 online resource (610 p.) |
Disciplina | 006.332 |
Collana | Studies on the Semantic Web |
Soggetto topico |
Knowledge representation (Information theory)
Semantic Web Mathematics OMDoc (Document markup language) |
ISBN | 1-61499-345-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
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 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 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 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 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 Chapter 10. Usability Evaluation of an Integrated Environment for Maintaining Semiformal Collections |
Record Nr. | UNINA-9910790733003321 |
Lange Christoph | ||
Heidelberg, Germany : , : IOS Press : , : AKA, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Enabling collaboration on semiformal mathematical knowledge by semantic web integration / / Christoph Lange |
Autore | Lange Christoph |
Pubbl/distr/stampa | Heidelberg, Germany : , : IOS Press : , : AKA, , 2011 |
Descrizione fisica | 1 online resource (610 p.) |
Disciplina | 006.332 |
Collana | Studies on the Semantic Web |
Soggetto topico |
Knowledge representation (Information theory)
Semantic Web Mathematics OMDoc (Document markup language) |
ISBN | 1-61499-345-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
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 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 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 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 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 Chapter 10. Usability Evaluation of an Integrated Environment for Maintaining Semiformal Collections |
Record Nr. | UNINA-9910809249603321 |
Lange Christoph | ||
Heidelberg, Germany : , : IOS Press : , : AKA, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
OMDoc -- an open markup format for mathematical documents : (version 1.2) / Michael Kohlhase ; foreword by Alan Bundy |
Autore | Kohlhase, Michael |
Pubbl/distr/stampa | Berlin : Springer, c2006 |
Descrizione fisica | xix, 428 p. : ill. ; 24 cm |
Collana |
Lecture notes in computer science ; 4180
Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems Lecture notes in computer science, 0302-9743 ; 4180. Lecture notes in artificial intelligence. AI systems |
Soggetto topico |
Mathematics - Data processing
Information storage and retrieval systems - Mathematics OMDoc (Document markup language) |
ISBN |
3540378979
9783540378976 |
Classificazione |
CR I.2
CR F.4 CR F.3.1 CR G.4 CR H.3 CR I.1 CR I.7 AMS 68P LC QA76.95.K64 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991002027709707536 |
Kohlhase, Michael | ||
Berlin : Springer, c2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
OMDoc-- an open markup format for mathematical documents : (version 1.2) / / Michael Kohlhase ; foreword by Alan Bundy |
Autore | Kohlhase Michael <1964-> |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
Descrizione fisica | 1 online resource (XIX, 428 p.) |
Disciplina | 006.3 |
Collana |
Lecture notes in computer science. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence |
Soggetto topico |
Mathematics - Data processing
Information storage and retrieval systems - Mathematics OMDoc (Document markup language) |
ISBN | 3-540-37898-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | pt. 1. Setting the stage for open mathematical documents -- pt. 2. An OMDoc primer -- pt. 3. The OMDoc document format -- pt. 4. OMDoc applications, tools, and projects -- pt. 5. Appendix. |
Altri titoli varianti | OMDoc |
Record Nr. | UNINA-9910767522903321 |
Kohlhase Michael <1964-> | ||
Berlin ; ; New York, : Springer, c2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|