[論文レビュー] wiki.openmath.org - how it works, how you can participate

Christoph Lange|arXiv (Cornell University)|Mar 26, 2010

Natural Language Processing Techniques参考文献 11被引用数 4

ひとこと要約

本論文では、IkeWiki と Subversion を基盤に構築された、バージョン管理、リアルタイムの議論、構造化されたメタデータ処理を備えた OpenMath コンテンツ辞書（CD）の共同編集を可能にする意味的ウィキシステム SWiM を提案する。本研究では、従来の Subversion ワークフローと比較して、微小な編集や共同レビューの使いやすさが著しく向上することを示している。一方で、将来の開発におけるスケーラビリティとインタラクティビティを向上させるために、KiWi への移行計画も提示している。

ABSTRACT

At http://wiki.openmath.org, the OpenMath 2 and 3 Content Dictionaries are accessible via a semantic wiki interface, powered by the SWiM system. We shortly introduce the inner workings of the system, then describe how to use it, and conclude with first experiences gained from OpenMath society members working with the system and an outlook to further development plans.

研究の動機と目的

• 従来の Subversion を用いた OpenMath コンテンツ辞書（CD）の編集における制限を解消し、よりインタラクティブで共同作業に適したインターフェースを提供すること。
• Subversion と統合された意味的ウィキシステムを通じて、CD のリアルタイム議論とバージョン管理された編集を可能にすること。
• 構造化されたメタデータ、非公式および公式なプロパティ定義、表記マッピングをサポートすることで、CD 編集者の使いやすさを向上させること。
• 新システムの効果性が、従来の方法と比較して一般的な編集ワークフローをどのように処理できるかを評価すること。
• 将来的な開発におけるデータベース統合、トランザクションサポート、および検索やレコメンデーションといった高度機能を実現するための、KiWi への移行ロードマップを提示すること。

提案手法

• システムは IkeWiki エンジンに SWiM 拡張を適用し、OpenMath CD 用のウィキインターフェースを提供する。XML 対応の編集と Subversion 結合を実装している。
• 各 CD は、CDDefinition ブロック、メタデータ、埋め込み FMP/CMP 表現を含むウィキページとして保存される。一方、表記や型定義は別々のファイルで管理される。
• Web ベースのフォームによる編集が行われ、XML 構造が保持され、Subversion を介したリアルタイムの検証とバージョニングが可能である。
• 議論スレッドは特定の記号に直接リンクされ、意味的変更に関する細かく人間が読みやすい共同作業が可能になる。
• Subversion からの CD のインポート／エクスポートが可能で、データ損失がないことを保証するための自動差分チェックが実施される。
• 将来の開発に向けて、KiWi への移行計画が策定されており、そのモジュラーなアーキテクチャを活用してプラグイン対応、トランザクションサポート、強化された検索機能、ダッシュボード機能を実現する。

実験結果

リサーチクエスチョン

• RQ1 SWiM ウィキは、従来の Subversion ベースのワークフローと比較して、OpenMath CD 編集の使いやすさをどのように向上させるか？
• RQ2 統合されたバージョン管理と議論機能を持つ意味的ウィキは、数学的知識表現の共同メンテナンスを効果的に支援できるか？
• RQ3 現在の SWiM アーキテクチャには、新しい記号や CD の追加といった複雑な CD 編集タスクを処理する上で、どのような主な制限があるか？
• RQ4 次世代のウィキバックエンドである KiWi は、OpenMath CD 著作のスケーラビリティ、インタラクティビティ、拡張性をどのように向上させられるか？
• RQ5 インポート、編集、エクスポートのサイクル中に、システムはデータ整合性とメタデータの正確性をどの程度保っているか？

主な発見

• SWiM ウィキは、スペルミスの修正や束縛変数の訂正といった微小な編集において、意味のあるコミットメッセージとともに直接的・原子的変更が可能になるため、編集体験が著しく向上した。
• 特定の記号にリンクされた構造的で人間が読みやすい議論が可能であり、CD 編集者から、電子メールや Trac タイケットよりも的確で効果的であると評価された。
• 検証テストの結果、すべての OpenMath 3 CD をウィキ経由でインポート・編集・再エクスポートした結果、XML 構造とコンテンツの整合性が保持され、データ損失は検出されなかった。
• 現在のアーキテクチャでは、1回のステップで新しい CD や記号を作成する機能が制限されており、複数ステップのウィキ編集と別個のページ作成が必要となるため、ワークフローの効率性が損なわれている。
• SWiM にグローバル検索、メール通知、トランザクションサポートの欠如は、アーキテクチャ上の制限を示しており、将来的な開発における KiWi への移行を促進する要因となった。
• 計画中の KiWi 結合により、ファセット検索、コンテンツレコメンデーション、アトミックな複数変更コミットといった高度な機能が実現可能となり、共同作業と保守性が向上する。