Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our User Agreement and Privacy Policy.

Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our Privacy Policy and User Agreement for details.

Like this presentation? Why not share!

- Previewing OWL Changes and Refactor... by Christoph Lange 670 views
- Mathematical Semantic Markup in a W... by Christoph Lange 1037 views
- Editing OpenMath Content Dictionari... by Christoph Lange 758 views
- Aspects of Mathematical Knowledge o... by Christoph Lange 1211 views
- Bridging Domain Knowledge and its F... by Christoph Lange 601 views
- wiki.openmath.org – how it works, h... by Christoph Lange 713 views

616 views

Published on

Ontolog Semantic Wiki Miniseries 2008/09

License: CC Attribution-ShareAlike License

No Downloads

Total views

616

On SlideShare

0

From Embeds

0

Number of Embeds

11

Shares

0

Downloads

5

Comments

0

Likes

1

No embeds

No notes for slide

- 1. Research Background and Application Context Key Technology The System Use Cases and Applications Conclusion SWiM – A wiki for collaborating on mathematical ontologies Ontolog Semantic Wiki Mini-Series Christoph Lange Jacobs University, Bremen, Germany KWARC – Knowledge Adaptation and Reasoning for Content November 20, 2008 Lange (Jacobs University) SWiM – A wiki for collaborating on mathematical ontologies November 20, 2008 1
- 2. Research Background and Application Context Key Technology The System Use Cases and Applications Conclusion Mathematical Knowledge Management Goal: support collaborative authoring of documents usable for knowledge management semantic markup common for documents in mathematics: MathML, OpenMath, OMDoc (compare semantic web ontologies) layers of knowledge: symbols (cf. concepts), statements (axioms), theories (ontologies), documents has many applications, but how to acquire the knowledge? ⇒ services to support the authoring workﬂow? Example (a simple formula?) <apply> <csymbol definitionURL="http://openmath.org/cd/arith1">plus</csymbol> <cn type="integer">1</cn> <ci>n</ci> </apply> Lange (Jacobs University) SWiM – A wiki for collaborating on mathematical ontologies November 20, 2008 2
- 3. Research Background and Application Context Key Technology The System Use Cases and Applications Conclusion Semantic Wiki and Ontologies Semantic wikis found usable to support collaborative formalization Diﬀerence here is: deeply nested markup, lots of cross-references Right granularity of pages: one page = one theory, one statement, one formula? ⇒ extract knowledge relevant for search and navigation, build services on top of that RDF graph in terms of an ontology that models the semantics of the markup; direct and inferred relationships: dependency, containment Example A wiki page (internally): Extracted RDF triples (= graph): Proof proves Theorem <omdoc> type type <proof id="pyth-proof" for="pythagoras"> pyth-proof proves pythagoras ...</proof> <pyth-proof, rdf:type, omdoc:Proof> </omdoc> <pyth-proof, omdoc:proves, pythagoras> Lange (Jacobs University) SWiM – A wiki for collaborating on mathematical ontologies November 20, 2008 3
- 4. Research Background and Application Context Key Technology The System Use Cases and Applications Conclusion SWiM: IkeWiki + Mathematical Markup editing, presentation, navigation, discourse, semantic services See http://swim.kwarc.info, http://wiki.openmath.org Lange (Jacobs University) SWiM – A wiki for collaborating on mathematical ontologies November 20, 2008 4
- 5. Research Background and Application Context Key Technology The System Use Cases and Applications Conclusion Editing Support Dedicated editors for documents (statements, theories), metadata, formulæ Import/export from and to semantic markup languages, Subversion repository integration (support legacy workﬂows) Lange (Jacobs University) SWiM – A wiki for collaborating on mathematical ontologies November 20, 2008 5
- 6. Research Background and Application Context Key Technology The System Use Cases and Applications Conclusion Argumentative Discussions Structured workﬂow for discussing problems and solutions Argumentation ontology (SIOC module) with domain-speciﬁc extensions (Survey: tinyurl.com/5qdetd) assistance with standard solutions Lange (Jacobs University) SWiM – A wiki for collaborating on mathematical ontologies November 20, 2008 6
- 7. Research Background and Application Context Key Technology The System Use Cases and Applications Conclusion Dictionaries of Symbols and Proof Formalization OpenMath 3: revision of the content dictionaries (collections of symbol deﬁnitions – a lightweight, modular ontology) user interface: editing formulae, metadata, symbol notations; argumentation “Let’s write multiplication as a × b instead of a · b!” http://wiki.openmath.org Flyspeck: Formalizing a Proof of the Kepler conjecture: hundreds of proof sketches, collaboratively transform them into something machine-veriﬁable formalizing, annotating, discussing, project management Lange (Jacobs University) SWiM – A wiki for collaborating on mathematical ontologies November 20, 2008 7
- 8. Research Background and Application Context Key Technology The System Use Cases and Applications Conclusion The SWiM Approach: Good for Math and other Domains SWiM makes mathematical documents editable collaboratively and facilitates common workﬂows by exploiting the knowledge they contain. Domain-speciﬁc semantic markup and ontology allows for advantages over generic semantic wikis, and over non-semantic mathematical wikis (more and easier knowledge management) Approach considered transferable to other domains (e. g. chemistry): decide on page granularity, capture semantics in ontology, extract RDF, integrate suitable editors http://swim.kwarc.info http://wiki.openmath.org Lange (Jacobs University) SWiM – A wiki for collaborating on mathematical ontologies November 20, 2008 8

No public clipboards found for this slide

×
### Save the most important slides with Clipping

Clipping is a handy way to collect and organize the most important slides from a presentation. You can keep your great finds in clipboards organized around topics.

Be the first to comment