Publishing Math Lecture Notes as Linked Data

Embed Size (px)

DESCRIPTION

ESWC 2010

Text of Publishing Math Lecture Notes as Linked Data

  • 1. Publishing Math Lecture Notes as Linked Data ESWC 2010 (Demo Track)Catalin David1 and Michael Kohlhase1 and Christoph Lange1 and Florian Rabe1 and Nikita Zhiltsov2 and Vyacheslav Zholudev11 Jacobs University, Bremen, Germany KWARC Knowledge Adaptation and Reasoning for Content2 Kazan Federal University, RussiaMay 31, 2010David/Kohlhase/Lange/Rabe/Zhiltsov/Zholudev (Jacobs/Kazan U.) Publishing Math Lecture Notes as Linked Data May 31, 2010 1/10

2. Origin: 2,000 slides + 1,000 homework problemsbegin{frame}frametitle{Properties of binary Relations}begin{itemize}item textbf{Definition 37} A relation $Rsubseteq Atimes A$is called emph{reflexive} on $A$,iff $forall ain A.langle a,aranglein R$item textbf{Example 38} The equality relation is anequivalence relation on any set.David/Kohlhase/Lange/Rabe/Zhiltsov/Zholudev (Jacobs/Kazan U.) Publishing Math Lecture Notes as Linked Data May 31, 2010 2/10 3. Origin: 2,000 slides + 1,000 homework problemsbegin{frame}frametitle{Properties of binary Relations}begin{itemize}item textbf{Definition 37} A relation $Rsubseteq Atimes A$is called emph{reflexive} on $A$,iff $forall ain A.langle a,aranglein R$item textbf{Example 38} The equality relation is anequivalence relation on any set.Definition 37 A relation R A A is called reflexive on A, iffa A. a, a R....Example 38 The equality relation is an equivalence relation onany set.PDF looks good, but otherwise. . . ?David/Kohlhase/Lange/Rabe/Zhiltsov/Zholudev (Jacobs/Kazan U.) Publishing Math Lecture Notes as Linked Data May 31, 2010 2/10 4. Serve Information Needs . . .. . . of Students whats that!?structural induction any example for that?sample exercises for last weeks topics?David/Kohlhase/Lange/Rabe/Zhiltsov/Zholudev (Jacobs/Kazan U.) Publishing Math Lecture Notes as Linked Data May 31, 2010 3/10 5. Serve Information Needs . . .. . . of Students whats that!?structural induction any example for that?sample exercises for last weeks topics?. . . of Lecturersa good next topic (with minimal prerequisites)introduce trees to students: operating systems background vs.graph theory backgroundexam exercises with a good coverageDavid/Kohlhase/Lange/Rabe/Zhiltsov/Zholudev (Jacobs/Kazan U.) Publishing Math Lecture Notes as Linked Data May 31, 2010 3/10 6. Our Semantic ArchitectureDavid/Kohlhase/Lange/Rabe/Zhiltsov/Zholudev (Jacobs/Kazan U.) Publishing Math Lecture Notes as Linked Data May 31, 2010 4/10 7. sTEX: Semantically extended LTEXAbegin{module}[id=relation-properties]importmodule{relations}begin{frame}frametitle{Properties of binary Relations}begin{itemize}item begin{definition}[id=relprops.def]A relation $sseteq{R}{cart{A,A}}$ is calleddefin{reflexive} on $A$,iff $foralS{a}A{inset{tup{a,a}}{R}}$end{definition}item begin{example}[for=relprops.def]The equality relation is an equivalence relation on any set.end{example}David/Kohlhase/Lange/Rabe/Zhiltsov/Zholudev (Jacobs/Kazan U.) Publishing Math Lecture Notes as Linked Data May 31, 2010 5/10 8. TNTBase: A versioned database for XMLFrom sTEX, we generate (semi-)automaticallyOMDoc (intermediate semantic XML representation),and from that:RDF (structural outlines of documents) Virtuoso triple storehuman-readable documents with semantic annotationsXHTML+MathML+RDFaDavid/Kohlhase/Lange/Rabe/Zhiltsov/Zholudev (Jacobs/Kazan U.) Publishing Math Lecture Notes as Linked Data May 31, 2010 6/10 9. TNTBase: A versioned database for XMLFrom sTEX, we generate (semi-)automaticallyOMDoc (intermediate semantic XML representation),and from that:RDF (structural outlines of documents) Virtuoso triple storehuman-readable documents with semantic annotationsXHTML+MathML+RDFa(all served in compliance with Linked Data best practices)David/Kohlhase/Lange/Rabe/Zhiltsov/Zholudev (Jacobs/Kazan U.) Publishing Math Lecture Notes as Linked Data May 31, 2010 7/10 10. Querying RDFMocassin query input form: OMDoc-aware SPARQL and full-textqueriesDavid/Kohlhase/Lange/Rabe/Zhiltsov/Zholudev (Jacobs/Kazan U.) Publishing Math Lecture Notes as Linked Data May 31, 2010 8/10 11. Querying RDFMocassin query input form: OMDoc-aware SPARQL and full-textqueriesWant more? SPARQL endpointDavid/Kohlhase/Lange/Rabe/Zhiltsov/Zholudev (Jacobs/Kazan U.) Publishing Math Lecture Notes as Linked Data May 31, 2010 8/10 12. Interactive DocumentsSemantic annotations in XHTML+MathML+RDFa documents serveas anchors for servicesDavid/Kohlhase/Lange/Rabe/Zhiltsov/Zholudev (Jacobs/Kazan U.) Publishing Math Lecture Notes as Linked Data May 31, 2010 9/10 13. Next steps (in progress)from 3,000 manually annotated lecture notes to 300,000automatically annotated ariv publicationsadd links to linked datasets (e. g. DBpedia) to our lecture notescontribute our dataset to the LOD cloudbenefit from cross-linkingPublishing Math Lecture Notes as Linked Data http://kwarc.info/LinkedLectures/ See the demo tonight!David/Kohlhase/Lange/Rabe/Zhiltsov/Zholudev (Jacobs/Kazan U.) Publishing Math Lecture Notes as Linked Data May 31, 2010 10/10