Date post: | 10-May-2015 |
Category: |
Technology |
Upload: | christoph-lange |
View: | 558 times |
Download: | 1 times |
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
wiki.openmath.org – how it works, how youcan participate
OpenMath Workshop @ CICM 2009
Christoph Lange
Jacobs University, Bremen, Germany
KWARC – Knowledge Adaptation and Reasoning for ContentThis work was supported by JEM-Thematic-Network ECP-038208.
July 9, 2009
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 1/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Overview
http://wiki.openmath.org – browse, edit, and discussOpenMath 2 and 3 Content Dictionariespermission system distinguishes CD editors from visitorspowered by semantic wiki technology (SWiM)
In this talk:How does it work?How can you use it?What do users think?What’s next?
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 2/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
OpenMath CD example<CD><CDName>arith1</CDName><Description>common arithmetic functions</Description><CDBase>http://www.openmath.org/cd</CDBase><!-- also mandatory: date, version, status -->
<CDDefinition><Name>plus</Name><Role>application</Role><Description>The symbol representing an n-arycommutative function plus.</Description>
<CMP>for all a,b | a + b = b + a </CMP><FMP>β(quant1#forall, a, b,
@(relation1#eq,@(arith1#plus, a, b),@(arith1#plus, b, a)))</FMP>...<Example>...</Example>
</CDDefinition>...
</CD>Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 3/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Additional information
Given in separate files (one per CD):types of symbols: e. g. in STSnotations of symbols (for human-readable [PresentationMathML] output): XSLT or domain-specific language
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 4/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Maintenance of the OpenMath CDs (1)
Review process:Official CDs (those maintained by OpenMath Society) undergoreview processOnce intendedmeaning of a symbol is fixed, mistakes still remain
Authoring:CD files reside in Subversion repositoryhttps://svn.openmath.orgcheck out working copyuse XML-aware text editor
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 5/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Maintenance of the OpenMath CDs (2)
Discussing issues:mailing lists [email protected], [email protected] issue tracker: https://trac.mathweb.org/OM3
Presenting CDs:Most commonly XHTML+MathMLXSLT, controlled by makefiles
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 6/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 1: Minor Edits
edits that don’t change semantics (e. g. spelling of a symboldescription) – traditional workflow:
1 Update the svn working copy2 Open the CD file3 Navigate to the Description child of the symbol in question4 Fix the mistake5 Commit the file (and give a meaningful log message that
exactly refers to the symbol where the mistake was fixed)
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 7/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 2: Discussing and ImplementingRevisions
major revisions that a single editor cannot make and that have to bediscussed
1 Someone points out a problem (e. g. an FMP is wrong)2 . . . sends a mail to the mailing list (including a link to the CD)
(theoretical alternative: Trac)3 others reply, reach agreement4 somebody implements the solution and documents it in the log
message
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 8/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 3: Editing and Verifying Notations
imagine seeing exp(x) ∶= ∑n=0∞
xnn! in some CD exp.ocd
1 What formal identifier does∑ have?⇒ arith1#sum2 Open arith1.ntn (or arith1.xsl ,)3 Go to ‘‘sum’’4 Fix the notation definition⇒∑upper
lower5 Regenerate the original CD’s presentation:make exp.xhtml
(Regenerate all CDs where∑ occurs? Regenerate all CDs??)6 Open exp.xhtml in browser. Correct? If not, then go to 27 Commit arith1.ntn, giving a meaningful log message
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 9/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
The OpenMath Wiki at wiki.openmath.org
SWiM– Semantic Wiki for Mathematical Knowledge Management
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 10/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 1: Minor Edits (1)
SWiM offers editors for all types of knowledge in CDs(→ Lange/González Palomo, MathUI 2008):
structural outline (e. g. CD→CDDefinition→FMP)metadata of all such units (e. g. description, revision date)OpenMath objects (inside FMPs and examples)
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 11/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Structure Editor
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 12/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Metadata Editor
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 13/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Formula Editor
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 14/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 1: Minor Edits (2)
revisions in a context as local as possibleevery CD, symbol, CMP, FMP, example is one wiki page = oneunit of navigation, editing, maintenance(compare Subversion: 1 CD = 1 file)split CD into such fragments on update from svn, reassemble iton commitsmooth Subversion integration (no breaks so far!): can still editwith other toolsCDs can still be viewed as a whole
r1234 | clange | 2009-05-11 13:06:41 +0200 (Mon, 11 May 2009) |2 lines[Administrator@SWiM] replaced metadata field dc:descriptionActually changed fragment cd:transc1+sin
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 15/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 2: Discussing and ImplementingRevisions (1)
One local discussion forum per wiki page (= CD, symbol, math.property, example)
discussions on the granularity of knowledgediscussion threads with a semantic structurecompare conventional wikis: unstructured discussion pages,users have to follow syntactic and linguistic conventionsSWiM: users can indicate the type of their post:
argumentation ontology: issue→idea→position→decision
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 16/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 2: Discussing and ImplementingRevisions (2)
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 17/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 2: Discussing and ImplementingRevisions (3)
Joint queries over discussion threads and CDs:discussions represented as RDF graph (using theargumentation ontology)
post typesreply-to relation
CD structures also represented as RDF (extracted from XML)part–whole linkslinks from symbol occurrences to symbol definitionsmetadata
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 18/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 2: Discussing and ImplementingRevisions (3)
SELECT DISTINCT ?P WHERE {?P a omo:Symbol ;
ikewiki:hasDiscussion ?D .?C a arguonto:Issue;
sioc:has_container ?D .OPTIONAL { ?Dec arguonto:decides ?C . }FILTER (!bound(?Dec)) }
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 19/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 2: Discussing and ImplementingRevisions (4)
Potential of extending argumentation ontology domain-specifically:common problems have common solutionssystem can assist users with implementing themongoing survey on what is ‘‘common’’:http://tinyurl.com/5qdetd
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 20/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 3: Editing and Verifying Notations
SWiM uses *.ntn notation dictionaries (→ Kohlhase/Müller/Rabe,MKM 2008), renders documents using JOMDoc(http://jomdoc.omdoc.org)Editing workflow:
1 navigate from occurrence of symbol to its definition (thanks toparallel markup)
2 navigate from symbol definition to the corresponding notation(to be speeded up by more interactivity→ Giceva/Lange/Rabe,Sunday)
3 rendered documents are cached, but after changing a notationdefinition clears all affected documents from cache (query findsaffected documents)
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 21/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Use Case 3: Editing and Verifying Notations
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 22/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
EvaluationDiscussions: only feature really used so far (usability issues?)
initially imported old e-mail discussions(Rowley/Carlisle/Kohlhase/. . . )later, users also discussed in the wiki (90 discussion postsoverall)69 posts fit into argumentation ontology (48 issues, 10 ideas)9 out of 23 user-contributed posts not classifiedpost type missed most: questionsome posts not classifiable because of multiple argumentativetypes in the same sentence (research challenge!)36 posts (e-mail only) about symbols, 54 on CD level, none for[CF]MPs, examples.Subparts hard to reach? Not intuitive? Posts about more thanone symbol?
Users basically understand how to discussCh. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 23/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Bugs and Missing Features
bias on editing existing contente. g. adding a symbol to a CD is close to impossible(due to different granularities wiki vs. svn)Subversion support is restricted: update, commit, lock(no add, delete, merge, . . . )other misses: no links to discussion posts, no e-mail notification,no global search/replaceWhat else?→ http://trac.mathweb.org/OM3 – thanks!,
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 24/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Roadmap
underlying IkeWiki engine discontinuedstarted port to successor KiWi (more modular, dashboard,recommendation, facetted search, transactions)TNTBase (→ http://trac.mathweb.org/tntbase),versioned XML databaseinteractive documents→ Giceva/Lange/Rabe, Sunday
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 25/26
OpenMath CDs Authoring/Reviewing Wiki Evaluation Conclusion
Conclusion
SWiM supports certain special but common use cases very wellnot yet a full CD editorSWiM to be improved→ better collaboration onhttp://wiki.openmath.org
Ch. Lange (Jacobs University) wiki.openmath.org – how it works, how you can participate July 9, 2009 26/26