krextor – an extensible framework for contributing content math to the web of data

9
Motivation Krextor OpenMath CDs Outlook Krextor – An Extensible Framework for Contributing Content Math to the Web of Data CICM Systems & Projects 2011 Christoph Lange Universität Bremen, Germany 2011-07-19 Christoph Lange Krextor – An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 1

Upload: christoph-lange

Post on 18-Nov-2014

669 views

Category:

Technology


0 download

DESCRIPTION

CICM 2011 Systems & Projects

TRANSCRIPT

Page 1: Krextor – An Extensible Framework for Contributing Content Math to the Web of Data

Motivation Krextor OpenMath CDs Outlook

Krextor ndash An Extensible Framework forContributing Content Math to theWeb of Data

CICM Systems amp Projects 2011

Christoph Lange

Universitaumlt Bremen Germany

2011-07-19

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 1

Motivation Krextor OpenMath CDs Outlook

Linked [Open] DataBest practices for publishing and connecting structured data

easy retrieval of further informationlightweight semantics enables scalable reasoningas decentral as the Web (ldquoWeb of Datardquo)

As of September 2010

MusicBrainz

(zitgist)

P20

YAGO

World Fact-book (FUB)

WordNet (W3C)

WordNet(VUA)

VIVO UFVIVO

Indiana

VIVO Cornell

VIAF

URIBurner

Sussex Reading

Lists

Plymouth Reading

Lists

UMBEL

UK Post-codes

legislationgovuk

Uberblic

UB Mann-heim

TWC LOGD

Twarql

transportdatagov

uk

totlnet

Tele-graphis

TCMGeneDIT

TaxonConcept

The Open Library (Talis)

t4gm

Surge Radio

STW

RAMEAU SH

statisticsdatagov

uk

St Andrews Resource

Lists

ECS South-ampton EPrints

Semantic CrunchBase

semanticweborg

SemanticXBRL

SWDog Food

rdfabout US SEC

Wiki

UNLOCODE

Ulm

ECS (RKB

Explorer)

Roma

RISKS

RESEX

RAE2001

Pisa

OS

OAI

NSF

New-castle

LAAS

KISTIJISC

IRIT

IEEE

IBM

Eureacutecom

ERA

ePrints

dotAC

DEPLOY

DBLP (RKB

Explorer)

Course-ware

CORDIS

CiteSeer

Budapest

ACM

riese

Revyu

researchdatagov

uk

referencedatagov

uk

Recht-spraak

nl

RDFohloh

LastFM (rdfize)

RDF Book

Mashup

PSH

ProductDB

PBAC

Pokeacute-peacutedia

Ord-nance Survey

Openly Local

The Open Library

OpenCyc

OpenCalais

OpenEI

New York

Times

NTU Resource

Lists

NDL subjects

MARC Codes List

Man-chesterReading

Lists

Lotico

The London Gazette

LOIUS

lobidResources

lobidOrgani-sations

LinkedMDB

LinkedLCCN

LinkedGeoData

LinkedCT

Linked Open

Numbers

lingvoj

LIBRIS

Lexvo

LCSH

DBLP (L3S)

Linked Sensor Data (Knoesis)

Good-win

Family

Jamendo

iServe

NSZL Catalog

GovTrack

GESIS

GeoSpecies

GeoNames

GeoLinkedData(es)

GTAA

STITCHSIDER

Project Guten-berg (FUB)

MediCare

Euro-stat

(FUB)

DrugBank

Disea-some

DBLP (FU

Berlin)

DailyMed

Freebase

flickr wrappr

Fishes of Texas

FanHubz

Event-Media

EUTC Produc-

tions

Eurostat

EUNIS

ESD stan-dards

Popula-tion (En-AKTing)

NHS (EnAKTing)

Mortality (En-

AKTing)Energy

(En-AKTing)

CO2(En-

AKTing)

educationdatagov

uk

ECS South-ampton

Gem Norm-datei

datadcs

MySpace(DBTune)

MusicBrainz

(DBTune)

Magna-tune

John Peel(DB

Tune)

classical(DB

Tune)

Audio-scrobbler (DBTune)

LastfmArtists

(DBTune)

DBTropes

dbpedia lite

DBpedia

Pokedex

Airports

NASA (Data Incu-bator)

MusicBrainz(Data

Incubator)

Moseley Folk

Discogs(Data In-cubator)

Climbing

Linked Data for Intervals

Cornetto

Chronic-ling

America

Chem2Bio2RDF

bizdata

govuk

UniSTS

UniRef

UniPath-way

UniParc

Taxo-nomy

UniProt

SGD

Reactome

PubMed

PubChem

PRO-SITE

ProDom

Pfam PDB

OMIM

OBO

MGI

KEGG Reaction

KEGG Pathway

KEGG Glycan

KEGG Enzyme

KEGG Drug

KEGG Cpd

InterPro

HomoloGene

HGNC

Gene Ontology

GeneID

GenBank

ChEBI

CAS

Affy-metrix

BibBaseBBC

Wildlife Finder

BBC Program

mesBBC

Music

rdfaboutUS Census

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 2

Motivation Krextor OpenMath CDs Outlook

The Web of [Linked] Data in Science

ldquoWhat can I reusemdashwhat is that good for mdashwherehow is it appliedrdquo

As of September 2010

MusicBrainz

(zitgist)

P20

YAGO

World Fact-book (FUB)

WordNet (W3C)

WordNet(VUA)

VIVO UFVIVO

Indiana

VIVO Cornell

VIAF

URIBurner

Sussex Reading

Lists

Plymouth Reading

Lists

UMBEL

UK Post-codes

legislationgovuk

Uberblic

UB Mann-heim

TWC LOGD

Twarql

transportdatagov

uk

totlnet

Tele-graphis

TCMGeneDIT

TaxonConcept

The Open Library (Talis)

t4gm

Surge Radio

STW

RAMEAU SH

statisticsdatagov

uk

St Andrews Resource

Lists

ECS South-ampton EPrints

Semantic CrunchBase

semanticweborg

SemanticXBRL

SWDog Food

rdfabout US SEC

Wiki

UNLOCODE

Ulm

ECS (RKB

Explorer)

Roma

RISKS

RESEX

RAE2001

Pisa

OS

OAI

NSF

New-castle

LAAS

KISTIJISC

IRIT

IEEE

IBM

Eureacutecom

ERA

ePrints

dotAC

DEPLOY

DBLP (RKB

Explorer)

Course-ware

CORDIS

CiteSeer

Budapest

ACM

riese

Revyu

researchdatagov

uk

referencedatagov

uk

Recht-spraak

nl

RDFohloh

LastFM (rdfize)

RDF Book

Mashup

PSH

ProductDB

PBAC

Pokeacute-peacutedia

Ord-nance Survey

Openly Local

The Open Library

OpenCyc

OpenCalais

OpenEI

New York

Times

NTU Resource

Lists

NDL subjects

MARC Codes List

Man-chesterReading

Lists

Lotico

The London Gazette

LOIUS

lobidResources

lobidOrgani-sations

LinkedMDB

LinkedLCCN

LinkedGeoData

LinkedCT

Linked Open

Numbers

lingvoj

LIBRIS

Lexvo

LCSH

DBLP (L3S)

Linked Sensor Data (Knoesis)

Good-win

Family

Jamendo

iServe

NSZL Catalog

GovTrack

GESIS

GeoSpecies

GeoNames

GeoLinkedData(es)

GTAA

STITCHSIDER

Project Guten-berg (FUB)

MediCare

Euro-stat

(FUB)

DrugBank

Disea-some

DBLP (FU

Berlin)

DailyMed

Freebase

flickr wrappr

Fishes of Texas

FanHubz

Event-Media

EUTC Produc-

tions

Eurostat

EUNIS

ESD stan-dards

Popula-tion (En-AKTing)

NHS (EnAKTing)

Mortality (En-

AKTing)Energy

(En-AKTing)

CO2(En-

AKTing)

educationdatagov

uk

ECS South-ampton

Gem Norm-datei

datadcs

MySpace(DBTune)

MusicBrainz

(DBTune)

Magna-tune

John Peel(DB

Tune)

classical(DB

Tune)

Audio-scrobbler (DBTune)

LastfmArtists

(DBTune)

DBTropes

dbpedia lite

DBpedia

Pokedex

Airports

NASA (Data Incu-bator)

MusicBrainz(Data

Incubator)

Moseley Folk

Discogs(Data In-cubator)

Climbing

Linked Data for Intervals

Cornetto

Chronic-ling

America

Chem2Bio2RDF

bizdata

govuk

UniSTS

UniRef

UniPath-way

UniParc

Taxo-nomy

UniProt

SGD

Reactome

PubMed

PubChem

PRO-SITE

ProDom

Pfam PDB

OMIM

OBO

MGI

KEGG Reaction

KEGG Pathway

KEGG Glycan

KEGG Enzyme

KEGG Drug

KEGG Cpd

InterPro

HomoloGene

HGNC

Gene Ontology

GeneID

GenBank

ChEBI

CAS

Affy-metrix

BibBaseBBC

Wildlife Finder

BBC Program

mesBBC

Music

rdfaboutUS Census

e-science data ndash with opaque mathematical modelsstatistical datasets ndash without mathematical derivation rulespublication databases ndash without mathematical content

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 3

Motivation Krextor OpenMath CDs Outlook

Problem No Math on the Web of Data

Mathematical Knowledge

document-oriented (eg textbook style ldquoMizar articlerdquo)

often using XML ndash natively or as an interchange format

Web of Datanetwork-oriented (links relations)usually following the graph-based RDF data model

So how to contribute mathematical knowledge to the Web of Data

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 4

Motivation Krextor OpenMath CDs Outlook

The Krextor XMLrarrRDF library

OMDoc+RDFa

OWL in OMDoc+RDFa

XHTML+RDFa

OpenMath CD

your XML

+RDFa

your Microformat

genericrepresentation

RXR

RDFXML

Turtle

RDFa

your format

N-Triples

Javacallback

output format

input format

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 5

Motivation Krextor OpenMath CDs Outlook

Concrete Example OpenMath CDs to RDF

OpenMath CD in XML OpenMath CD ontology= RDF vocabulary

Dictionary

ContentDictionary

NotationDictionary

SignatureDictionary

ContentDic-tionaryGroup

Status

Version

SymbolDefinition

NotationDefinition

Signature

Property

Role

Example

CommentedPart

FormalPart

rdfsLiteral

subClassOf

subpropof hasPart

otherproperties

status

version

role

usesSymbol

usesSymbol

hasText

hasText

typeSystem

containsSignaturesFor

containsNotationsFor

typesSymbol rendersSymbol

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 6

Motivation Krextor OpenMath CDs Outlook

Challenges with OpenMath CDs

Requirement Utilize CDs as they are (be conservative compatible)

Example (Linking a Mathematical Property)

sin z = eizminuseminusiz2i is identified by

httpdlmfnistgov414E1and ldquoa mathematical property [CMP+FMP] of thehttpwwwopenmathorgcdtransc1sin symbolrdquoHow to link without touching the CD Standoff RDFHow to identify the OpenMath property Group it give it an IDHow to represent the formula

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 7

Motivation Krextor OpenMath CDs Outlook

Bootstrapping Mathematics on the Web of Data

OpenMathCDs

Planet-Math

DLMF

MSC

As of September 2010

MusicBrainz

(zitgist)

P20

YAGO

WorldFact-book(FUB)

WordNet(W3C)

WordNet(VUA)

VIVO UFVIVO

Indiana

VIVOCornell

VIAF

URIBurner

SussexReading

Lists

PlymouthReading

Lists

UMBEL

UK Post-codes

legislationgovuk

Uberblic

UBMann-heim

TWC LOGD

Twarql

transportdatagov

uk

totlnet

Tele-graphis

TCMGeneDIT

TaxonConcept

The OpenLibrary(Talis)

t4gm

SurgeRadio

STW

RAMEAUSH

statisticsdatagov

uk

StAndrewsResource

Lists

ECSSouth-amptonEPrints

SemanticCrunchBase

semanticweborg

SemanticXBRL

SWDogFood

rdfaboutUS SEC

Wiki

UNLOCODE

Ulm

ECS(RKB

Explorer)

Roma

RISKS

RESEX

RAE2001

Pisa

OS

OAI

NSF

New-castle

LAAS

KISTIJISC

IRIT

IEEE

IBM

Eureacutecom

ERA

ePrints

dotAC

DEPLOY

DBLP(RKB

Explorer)

Course-ware

CORDIS

CiteSeer

Budapest

ACM

riese

Revyu

researchdatagov

uk

referencedatagov

uk

Recht-spraak

nl

RDFohloh

LastFM(rdfize)

RDFBook

Mashup

PSH

ProductDB

PBAC

Pokeacute-peacutedia

Ord-nanceSurvey

OpenlyLocal

The OpenLibrary

OpenCyc

OpenCalais

OpenEI

NewYork

Times

NTUResource

Lists

NDLsubjects

MARCCodesList

Man-chesterReading

Lists

Lotico

TheLondonGazette

LOIUS

lobidResources

lobidOrgani-sations

LinkedMDB

LinkedLCCN

LinkedGeoData

LinkedCT

LinkedOpen

Numbers

lingvoj

LIBRIS

Lexvo

LCSH

DBLP(L3S)

LinkedSensor Data(Knoesis)

Good-win

Family

Jamendo

iServe

NSZLCatalog

GovTrack

GESIS

GeoSpecies

GeoNames

GeoLinkedData(es)

GTAA

STITCHSIDER

ProjectGuten-berg(FUB)

MediCare

Euro-stat

(FUB)

DrugBank

Disea-some

DBLP(FU

Berlin)

DailyMed

Freebase

flickrwrappr

Fishesof Texas

FanHubz

Event-Media

EUTCProduc-

tions

Eurostat

EUNIS

ESDstan-dards

Popula-tion (En-AKTing)

NHS(EnAKTing)

Mortality(En-

AKTing)Energy

(En-AKTing)

CO2(En-

AKTing)

educationdatagov

uk

ECSSouth-ampton

GemNorm-datei

datadcs

MySpace(DBTune)

MusicBrainz

(DBTune)

Magna-tune

JohnPeel(DB

Tune)

classical(DB

Tune)

Audio-scrobbler(DBTune)

LastfmArtists

(DBTune)

DBTropes

dbpedialite

DBpedia

Pokedex

Airports

NASA(DataIncu-bator)

MusicBrainz(Data

Incubator)

MoseleyFolk

Discogs(Data In-cubator)

Climbing

Linked Datafor Intervals

Cornetto

Chronic-ling

America

Chem2Bio2RDF

bizdata

govuk

UniSTS

UniRef

UniPath-way

UniParc

Taxo-nomy

UniProt

SGD

Reactome

PubMed

PubChem

PRO-SITE

ProDom

Pfam PDB

OMIM

OBO

MGI

KEGGReaction

KEGGPathway

KEGGGlycan

KEGGEnzyme

KEGGDrug

KEGGCpd

InterPro

HomoloGene

HGNC

GeneOntology

GeneID

GenBank

ChEBI

CAS

Affy-metrix

BibBaseBBC

WildlifeFinder

BBCProgram

mesBBC

Music

rdfaboutUS Census

Media

Geographic

Publications

Government

Cross-domain

Life sciences

User-generated content The near future enabled[not only] by Krextor

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 8

Motivation Krextor OpenMath CDs Outlook

Come to the Demo Session

OpenMath-specific aspects

How to create new links between the OpenMath CDs andexternal datasetsHow can RDF- andor OpenMath-aware clients utilize theOpenMath CD linked dataset

Hacking Session Bring your XML

Letrsquos implement an RDF extraction module for it

Letrsquos think about interlinking your data with others

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 9

  • Motivation
  • Krextor
  • OpenMath CDs
  • Outlook
Page 2: Krextor – An Extensible Framework for Contributing Content Math to the Web of Data

Motivation Krextor OpenMath CDs Outlook

Linked [Open] DataBest practices for publishing and connecting structured data

easy retrieval of further informationlightweight semantics enables scalable reasoningas decentral as the Web (ldquoWeb of Datardquo)

As of September 2010

MusicBrainz

(zitgist)

P20

YAGO

World Fact-book (FUB)

WordNet (W3C)

WordNet(VUA)

VIVO UFVIVO

Indiana

VIVO Cornell

VIAF

URIBurner

Sussex Reading

Lists

Plymouth Reading

Lists

UMBEL

UK Post-codes

legislationgovuk

Uberblic

UB Mann-heim

TWC LOGD

Twarql

transportdatagov

uk

totlnet

Tele-graphis

TCMGeneDIT

TaxonConcept

The Open Library (Talis)

t4gm

Surge Radio

STW

RAMEAU SH

statisticsdatagov

uk

St Andrews Resource

Lists

ECS South-ampton EPrints

Semantic CrunchBase

semanticweborg

SemanticXBRL

SWDog Food

rdfabout US SEC

Wiki

UNLOCODE

Ulm

ECS (RKB

Explorer)

Roma

RISKS

RESEX

RAE2001

Pisa

OS

OAI

NSF

New-castle

LAAS

KISTIJISC

IRIT

IEEE

IBM

Eureacutecom

ERA

ePrints

dotAC

DEPLOY

DBLP (RKB

Explorer)

Course-ware

CORDIS

CiteSeer

Budapest

ACM

riese

Revyu

researchdatagov

uk

referencedatagov

uk

Recht-spraak

nl

RDFohloh

LastFM (rdfize)

RDF Book

Mashup

PSH

ProductDB

PBAC

Pokeacute-peacutedia

Ord-nance Survey

Openly Local

The Open Library

OpenCyc

OpenCalais

OpenEI

New York

Times

NTU Resource

Lists

NDL subjects

MARC Codes List

Man-chesterReading

Lists

Lotico

The London Gazette

LOIUS

lobidResources

lobidOrgani-sations

LinkedMDB

LinkedLCCN

LinkedGeoData

LinkedCT

Linked Open

Numbers

lingvoj

LIBRIS

Lexvo

LCSH

DBLP (L3S)

Linked Sensor Data (Knoesis)

Good-win

Family

Jamendo

iServe

NSZL Catalog

GovTrack

GESIS

GeoSpecies

GeoNames

GeoLinkedData(es)

GTAA

STITCHSIDER

Project Guten-berg (FUB)

MediCare

Euro-stat

(FUB)

DrugBank

Disea-some

DBLP (FU

Berlin)

DailyMed

Freebase

flickr wrappr

Fishes of Texas

FanHubz

Event-Media

EUTC Produc-

tions

Eurostat

EUNIS

ESD stan-dards

Popula-tion (En-AKTing)

NHS (EnAKTing)

Mortality (En-

AKTing)Energy

(En-AKTing)

CO2(En-

AKTing)

educationdatagov

uk

ECS South-ampton

Gem Norm-datei

datadcs

MySpace(DBTune)

MusicBrainz

(DBTune)

Magna-tune

John Peel(DB

Tune)

classical(DB

Tune)

Audio-scrobbler (DBTune)

LastfmArtists

(DBTune)

DBTropes

dbpedia lite

DBpedia

Pokedex

Airports

NASA (Data Incu-bator)

MusicBrainz(Data

Incubator)

Moseley Folk

Discogs(Data In-cubator)

Climbing

Linked Data for Intervals

Cornetto

Chronic-ling

America

Chem2Bio2RDF

bizdata

govuk

UniSTS

UniRef

UniPath-way

UniParc

Taxo-nomy

UniProt

SGD

Reactome

PubMed

PubChem

PRO-SITE

ProDom

Pfam PDB

OMIM

OBO

MGI

KEGG Reaction

KEGG Pathway

KEGG Glycan

KEGG Enzyme

KEGG Drug

KEGG Cpd

InterPro

HomoloGene

HGNC

Gene Ontology

GeneID

GenBank

ChEBI

CAS

Affy-metrix

BibBaseBBC

Wildlife Finder

BBC Program

mesBBC

Music

rdfaboutUS Census

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 2

Motivation Krextor OpenMath CDs Outlook

The Web of [Linked] Data in Science

ldquoWhat can I reusemdashwhat is that good for mdashwherehow is it appliedrdquo

As of September 2010

MusicBrainz

(zitgist)

P20

YAGO

World Fact-book (FUB)

WordNet (W3C)

WordNet(VUA)

VIVO UFVIVO

Indiana

VIVO Cornell

VIAF

URIBurner

Sussex Reading

Lists

Plymouth Reading

Lists

UMBEL

UK Post-codes

legislationgovuk

Uberblic

UB Mann-heim

TWC LOGD

Twarql

transportdatagov

uk

totlnet

Tele-graphis

TCMGeneDIT

TaxonConcept

The Open Library (Talis)

t4gm

Surge Radio

STW

RAMEAU SH

statisticsdatagov

uk

St Andrews Resource

Lists

ECS South-ampton EPrints

Semantic CrunchBase

semanticweborg

SemanticXBRL

SWDog Food

rdfabout US SEC

Wiki

UNLOCODE

Ulm

ECS (RKB

Explorer)

Roma

RISKS

RESEX

RAE2001

Pisa

OS

OAI

NSF

New-castle

LAAS

KISTIJISC

IRIT

IEEE

IBM

Eureacutecom

ERA

ePrints

dotAC

DEPLOY

DBLP (RKB

Explorer)

Course-ware

CORDIS

CiteSeer

Budapest

ACM

riese

Revyu

researchdatagov

uk

referencedatagov

uk

Recht-spraak

nl

RDFohloh

LastFM (rdfize)

RDF Book

Mashup

PSH

ProductDB

PBAC

Pokeacute-peacutedia

Ord-nance Survey

Openly Local

The Open Library

OpenCyc

OpenCalais

OpenEI

New York

Times

NTU Resource

Lists

NDL subjects

MARC Codes List

Man-chesterReading

Lists

Lotico

The London Gazette

LOIUS

lobidResources

lobidOrgani-sations

LinkedMDB

LinkedLCCN

LinkedGeoData

LinkedCT

Linked Open

Numbers

lingvoj

LIBRIS

Lexvo

LCSH

DBLP (L3S)

Linked Sensor Data (Knoesis)

Good-win

Family

Jamendo

iServe

NSZL Catalog

GovTrack

GESIS

GeoSpecies

GeoNames

GeoLinkedData(es)

GTAA

STITCHSIDER

Project Guten-berg (FUB)

MediCare

Euro-stat

(FUB)

DrugBank

Disea-some

DBLP (FU

Berlin)

DailyMed

Freebase

flickr wrappr

Fishes of Texas

FanHubz

Event-Media

EUTC Produc-

tions

Eurostat

EUNIS

ESD stan-dards

Popula-tion (En-AKTing)

NHS (EnAKTing)

Mortality (En-

AKTing)Energy

(En-AKTing)

CO2(En-

AKTing)

educationdatagov

uk

ECS South-ampton

Gem Norm-datei

datadcs

MySpace(DBTune)

MusicBrainz

(DBTune)

Magna-tune

John Peel(DB

Tune)

classical(DB

Tune)

Audio-scrobbler (DBTune)

LastfmArtists

(DBTune)

DBTropes

dbpedia lite

DBpedia

Pokedex

Airports

NASA (Data Incu-bator)

MusicBrainz(Data

Incubator)

Moseley Folk

Discogs(Data In-cubator)

Climbing

Linked Data for Intervals

Cornetto

Chronic-ling

America

Chem2Bio2RDF

bizdata

govuk

UniSTS

UniRef

UniPath-way

UniParc

Taxo-nomy

UniProt

SGD

Reactome

PubMed

PubChem

PRO-SITE

ProDom

Pfam PDB

OMIM

OBO

MGI

KEGG Reaction

KEGG Pathway

KEGG Glycan

KEGG Enzyme

KEGG Drug

KEGG Cpd

InterPro

HomoloGene

HGNC

Gene Ontology

GeneID

GenBank

ChEBI

CAS

Affy-metrix

BibBaseBBC

Wildlife Finder

BBC Program

mesBBC

Music

rdfaboutUS Census

e-science data ndash with opaque mathematical modelsstatistical datasets ndash without mathematical derivation rulespublication databases ndash without mathematical content

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 3

Motivation Krextor OpenMath CDs Outlook

Problem No Math on the Web of Data

Mathematical Knowledge

document-oriented (eg textbook style ldquoMizar articlerdquo)

often using XML ndash natively or as an interchange format

Web of Datanetwork-oriented (links relations)usually following the graph-based RDF data model

So how to contribute mathematical knowledge to the Web of Data

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 4

Motivation Krextor OpenMath CDs Outlook

The Krextor XMLrarrRDF library

OMDoc+RDFa

OWL in OMDoc+RDFa

XHTML+RDFa

OpenMath CD

your XML

+RDFa

your Microformat

genericrepresentation

RXR

RDFXML

Turtle

RDFa

your format

N-Triples

Javacallback

output format

input format

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 5

Motivation Krextor OpenMath CDs Outlook

Concrete Example OpenMath CDs to RDF

OpenMath CD in XML OpenMath CD ontology= RDF vocabulary

Dictionary

ContentDictionary

NotationDictionary

SignatureDictionary

ContentDic-tionaryGroup

Status

Version

SymbolDefinition

NotationDefinition

Signature

Property

Role

Example

CommentedPart

FormalPart

rdfsLiteral

subClassOf

subpropof hasPart

otherproperties

status

version

role

usesSymbol

usesSymbol

hasText

hasText

typeSystem

containsSignaturesFor

containsNotationsFor

typesSymbol rendersSymbol

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 6

Motivation Krextor OpenMath CDs Outlook

Challenges with OpenMath CDs

Requirement Utilize CDs as they are (be conservative compatible)

Example (Linking a Mathematical Property)

sin z = eizminuseminusiz2i is identified by

httpdlmfnistgov414E1and ldquoa mathematical property [CMP+FMP] of thehttpwwwopenmathorgcdtransc1sin symbolrdquoHow to link without touching the CD Standoff RDFHow to identify the OpenMath property Group it give it an IDHow to represent the formula

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 7

Motivation Krextor OpenMath CDs Outlook

Bootstrapping Mathematics on the Web of Data

OpenMathCDs

Planet-Math

DLMF

MSC

As of September 2010

MusicBrainz

(zitgist)

P20

YAGO

WorldFact-book(FUB)

WordNet(W3C)

WordNet(VUA)

VIVO UFVIVO

Indiana

VIVOCornell

VIAF

URIBurner

SussexReading

Lists

PlymouthReading

Lists

UMBEL

UK Post-codes

legislationgovuk

Uberblic

UBMann-heim

TWC LOGD

Twarql

transportdatagov

uk

totlnet

Tele-graphis

TCMGeneDIT

TaxonConcept

The OpenLibrary(Talis)

t4gm

SurgeRadio

STW

RAMEAUSH

statisticsdatagov

uk

StAndrewsResource

Lists

ECSSouth-amptonEPrints

SemanticCrunchBase

semanticweborg

SemanticXBRL

SWDogFood

rdfaboutUS SEC

Wiki

UNLOCODE

Ulm

ECS(RKB

Explorer)

Roma

RISKS

RESEX

RAE2001

Pisa

OS

OAI

NSF

New-castle

LAAS

KISTIJISC

IRIT

IEEE

IBM

Eureacutecom

ERA

ePrints

dotAC

DEPLOY

DBLP(RKB

Explorer)

Course-ware

CORDIS

CiteSeer

Budapest

ACM

riese

Revyu

researchdatagov

uk

referencedatagov

uk

Recht-spraak

nl

RDFohloh

LastFM(rdfize)

RDFBook

Mashup

PSH

ProductDB

PBAC

Pokeacute-peacutedia

Ord-nanceSurvey

OpenlyLocal

The OpenLibrary

OpenCyc

OpenCalais

OpenEI

NewYork

Times

NTUResource

Lists

NDLsubjects

MARCCodesList

Man-chesterReading

Lists

Lotico

TheLondonGazette

LOIUS

lobidResources

lobidOrgani-sations

LinkedMDB

LinkedLCCN

LinkedGeoData

LinkedCT

LinkedOpen

Numbers

lingvoj

LIBRIS

Lexvo

LCSH

DBLP(L3S)

LinkedSensor Data(Knoesis)

Good-win

Family

Jamendo

iServe

NSZLCatalog

GovTrack

GESIS

GeoSpecies

GeoNames

GeoLinkedData(es)

GTAA

STITCHSIDER

ProjectGuten-berg(FUB)

MediCare

Euro-stat

(FUB)

DrugBank

Disea-some

DBLP(FU

Berlin)

DailyMed

Freebase

flickrwrappr

Fishesof Texas

FanHubz

Event-Media

EUTCProduc-

tions

Eurostat

EUNIS

ESDstan-dards

Popula-tion (En-AKTing)

NHS(EnAKTing)

Mortality(En-

AKTing)Energy

(En-AKTing)

CO2(En-

AKTing)

educationdatagov

uk

ECSSouth-ampton

GemNorm-datei

datadcs

MySpace(DBTune)

MusicBrainz

(DBTune)

Magna-tune

JohnPeel(DB

Tune)

classical(DB

Tune)

Audio-scrobbler(DBTune)

LastfmArtists

(DBTune)

DBTropes

dbpedialite

DBpedia

Pokedex

Airports

NASA(DataIncu-bator)

MusicBrainz(Data

Incubator)

MoseleyFolk

Discogs(Data In-cubator)

Climbing

Linked Datafor Intervals

Cornetto

Chronic-ling

America

Chem2Bio2RDF

bizdata

govuk

UniSTS

UniRef

UniPath-way

UniParc

Taxo-nomy

UniProt

SGD

Reactome

PubMed

PubChem

PRO-SITE

ProDom

Pfam PDB

OMIM

OBO

MGI

KEGGReaction

KEGGPathway

KEGGGlycan

KEGGEnzyme

KEGGDrug

KEGGCpd

InterPro

HomoloGene

HGNC

GeneOntology

GeneID

GenBank

ChEBI

CAS

Affy-metrix

BibBaseBBC

WildlifeFinder

BBCProgram

mesBBC

Music

rdfaboutUS Census

Media

Geographic

Publications

Government

Cross-domain

Life sciences

User-generated content The near future enabled[not only] by Krextor

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 8

Motivation Krextor OpenMath CDs Outlook

Come to the Demo Session

OpenMath-specific aspects

How to create new links between the OpenMath CDs andexternal datasetsHow can RDF- andor OpenMath-aware clients utilize theOpenMath CD linked dataset

Hacking Session Bring your XML

Letrsquos implement an RDF extraction module for it

Letrsquos think about interlinking your data with others

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 9

  • Motivation
  • Krextor
  • OpenMath CDs
  • Outlook
Page 3: Krextor – An Extensible Framework for Contributing Content Math to the Web of Data

Motivation Krextor OpenMath CDs Outlook

The Web of [Linked] Data in Science

ldquoWhat can I reusemdashwhat is that good for mdashwherehow is it appliedrdquo

As of September 2010

MusicBrainz

(zitgist)

P20

YAGO

World Fact-book (FUB)

WordNet (W3C)

WordNet(VUA)

VIVO UFVIVO

Indiana

VIVO Cornell

VIAF

URIBurner

Sussex Reading

Lists

Plymouth Reading

Lists

UMBEL

UK Post-codes

legislationgovuk

Uberblic

UB Mann-heim

TWC LOGD

Twarql

transportdatagov

uk

totlnet

Tele-graphis

TCMGeneDIT

TaxonConcept

The Open Library (Talis)

t4gm

Surge Radio

STW

RAMEAU SH

statisticsdatagov

uk

St Andrews Resource

Lists

ECS South-ampton EPrints

Semantic CrunchBase

semanticweborg

SemanticXBRL

SWDog Food

rdfabout US SEC

Wiki

UNLOCODE

Ulm

ECS (RKB

Explorer)

Roma

RISKS

RESEX

RAE2001

Pisa

OS

OAI

NSF

New-castle

LAAS

KISTIJISC

IRIT

IEEE

IBM

Eureacutecom

ERA

ePrints

dotAC

DEPLOY

DBLP (RKB

Explorer)

Course-ware

CORDIS

CiteSeer

Budapest

ACM

riese

Revyu

researchdatagov

uk

referencedatagov

uk

Recht-spraak

nl

RDFohloh

LastFM (rdfize)

RDF Book

Mashup

PSH

ProductDB

PBAC

Pokeacute-peacutedia

Ord-nance Survey

Openly Local

The Open Library

OpenCyc

OpenCalais

OpenEI

New York

Times

NTU Resource

Lists

NDL subjects

MARC Codes List

Man-chesterReading

Lists

Lotico

The London Gazette

LOIUS

lobidResources

lobidOrgani-sations

LinkedMDB

LinkedLCCN

LinkedGeoData

LinkedCT

Linked Open

Numbers

lingvoj

LIBRIS

Lexvo

LCSH

DBLP (L3S)

Linked Sensor Data (Knoesis)

Good-win

Family

Jamendo

iServe

NSZL Catalog

GovTrack

GESIS

GeoSpecies

GeoNames

GeoLinkedData(es)

GTAA

STITCHSIDER

Project Guten-berg (FUB)

MediCare

Euro-stat

(FUB)

DrugBank

Disea-some

DBLP (FU

Berlin)

DailyMed

Freebase

flickr wrappr

Fishes of Texas

FanHubz

Event-Media

EUTC Produc-

tions

Eurostat

EUNIS

ESD stan-dards

Popula-tion (En-AKTing)

NHS (EnAKTing)

Mortality (En-

AKTing)Energy

(En-AKTing)

CO2(En-

AKTing)

educationdatagov

uk

ECS South-ampton

Gem Norm-datei

datadcs

MySpace(DBTune)

MusicBrainz

(DBTune)

Magna-tune

John Peel(DB

Tune)

classical(DB

Tune)

Audio-scrobbler (DBTune)

LastfmArtists

(DBTune)

DBTropes

dbpedia lite

DBpedia

Pokedex

Airports

NASA (Data Incu-bator)

MusicBrainz(Data

Incubator)

Moseley Folk

Discogs(Data In-cubator)

Climbing

Linked Data for Intervals

Cornetto

Chronic-ling

America

Chem2Bio2RDF

bizdata

govuk

UniSTS

UniRef

UniPath-way

UniParc

Taxo-nomy

UniProt

SGD

Reactome

PubMed

PubChem

PRO-SITE

ProDom

Pfam PDB

OMIM

OBO

MGI

KEGG Reaction

KEGG Pathway

KEGG Glycan

KEGG Enzyme

KEGG Drug

KEGG Cpd

InterPro

HomoloGene

HGNC

Gene Ontology

GeneID

GenBank

ChEBI

CAS

Affy-metrix

BibBaseBBC

Wildlife Finder

BBC Program

mesBBC

Music

rdfaboutUS Census

e-science data ndash with opaque mathematical modelsstatistical datasets ndash without mathematical derivation rulespublication databases ndash without mathematical content

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 3

Motivation Krextor OpenMath CDs Outlook

Problem No Math on the Web of Data

Mathematical Knowledge

document-oriented (eg textbook style ldquoMizar articlerdquo)

often using XML ndash natively or as an interchange format

Web of Datanetwork-oriented (links relations)usually following the graph-based RDF data model

So how to contribute mathematical knowledge to the Web of Data

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 4

Motivation Krextor OpenMath CDs Outlook

The Krextor XMLrarrRDF library

OMDoc+RDFa

OWL in OMDoc+RDFa

XHTML+RDFa

OpenMath CD

your XML

+RDFa

your Microformat

genericrepresentation

RXR

RDFXML

Turtle

RDFa

your format

N-Triples

Javacallback

output format

input format

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 5

Motivation Krextor OpenMath CDs Outlook

Concrete Example OpenMath CDs to RDF

OpenMath CD in XML OpenMath CD ontology= RDF vocabulary

Dictionary

ContentDictionary

NotationDictionary

SignatureDictionary

ContentDic-tionaryGroup

Status

Version

SymbolDefinition

NotationDefinition

Signature

Property

Role

Example

CommentedPart

FormalPart

rdfsLiteral

subClassOf

subpropof hasPart

otherproperties

status

version

role

usesSymbol

usesSymbol

hasText

hasText

typeSystem

containsSignaturesFor

containsNotationsFor

typesSymbol rendersSymbol

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 6

Motivation Krextor OpenMath CDs Outlook

Challenges with OpenMath CDs

Requirement Utilize CDs as they are (be conservative compatible)

Example (Linking a Mathematical Property)

sin z = eizminuseminusiz2i is identified by

httpdlmfnistgov414E1and ldquoa mathematical property [CMP+FMP] of thehttpwwwopenmathorgcdtransc1sin symbolrdquoHow to link without touching the CD Standoff RDFHow to identify the OpenMath property Group it give it an IDHow to represent the formula

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 7

Motivation Krextor OpenMath CDs Outlook

Bootstrapping Mathematics on the Web of Data

OpenMathCDs

Planet-Math

DLMF

MSC

As of September 2010

MusicBrainz

(zitgist)

P20

YAGO

WorldFact-book(FUB)

WordNet(W3C)

WordNet(VUA)

VIVO UFVIVO

Indiana

VIVOCornell

VIAF

URIBurner

SussexReading

Lists

PlymouthReading

Lists

UMBEL

UK Post-codes

legislationgovuk

Uberblic

UBMann-heim

TWC LOGD

Twarql

transportdatagov

uk

totlnet

Tele-graphis

TCMGeneDIT

TaxonConcept

The OpenLibrary(Talis)

t4gm

SurgeRadio

STW

RAMEAUSH

statisticsdatagov

uk

StAndrewsResource

Lists

ECSSouth-amptonEPrints

SemanticCrunchBase

semanticweborg

SemanticXBRL

SWDogFood

rdfaboutUS SEC

Wiki

UNLOCODE

Ulm

ECS(RKB

Explorer)

Roma

RISKS

RESEX

RAE2001

Pisa

OS

OAI

NSF

New-castle

LAAS

KISTIJISC

IRIT

IEEE

IBM

Eureacutecom

ERA

ePrints

dotAC

DEPLOY

DBLP(RKB

Explorer)

Course-ware

CORDIS

CiteSeer

Budapest

ACM

riese

Revyu

researchdatagov

uk

referencedatagov

uk

Recht-spraak

nl

RDFohloh

LastFM(rdfize)

RDFBook

Mashup

PSH

ProductDB

PBAC

Pokeacute-peacutedia

Ord-nanceSurvey

OpenlyLocal

The OpenLibrary

OpenCyc

OpenCalais

OpenEI

NewYork

Times

NTUResource

Lists

NDLsubjects

MARCCodesList

Man-chesterReading

Lists

Lotico

TheLondonGazette

LOIUS

lobidResources

lobidOrgani-sations

LinkedMDB

LinkedLCCN

LinkedGeoData

LinkedCT

LinkedOpen

Numbers

lingvoj

LIBRIS

Lexvo

LCSH

DBLP(L3S)

LinkedSensor Data(Knoesis)

Good-win

Family

Jamendo

iServe

NSZLCatalog

GovTrack

GESIS

GeoSpecies

GeoNames

GeoLinkedData(es)

GTAA

STITCHSIDER

ProjectGuten-berg(FUB)

MediCare

Euro-stat

(FUB)

DrugBank

Disea-some

DBLP(FU

Berlin)

DailyMed

Freebase

flickrwrappr

Fishesof Texas

FanHubz

Event-Media

EUTCProduc-

tions

Eurostat

EUNIS

ESDstan-dards

Popula-tion (En-AKTing)

NHS(EnAKTing)

Mortality(En-

AKTing)Energy

(En-AKTing)

CO2(En-

AKTing)

educationdatagov

uk

ECSSouth-ampton

GemNorm-datei

datadcs

MySpace(DBTune)

MusicBrainz

(DBTune)

Magna-tune

JohnPeel(DB

Tune)

classical(DB

Tune)

Audio-scrobbler(DBTune)

LastfmArtists

(DBTune)

DBTropes

dbpedialite

DBpedia

Pokedex

Airports

NASA(DataIncu-bator)

MusicBrainz(Data

Incubator)

MoseleyFolk

Discogs(Data In-cubator)

Climbing

Linked Datafor Intervals

Cornetto

Chronic-ling

America

Chem2Bio2RDF

bizdata

govuk

UniSTS

UniRef

UniPath-way

UniParc

Taxo-nomy

UniProt

SGD

Reactome

PubMed

PubChem

PRO-SITE

ProDom

Pfam PDB

OMIM

OBO

MGI

KEGGReaction

KEGGPathway

KEGGGlycan

KEGGEnzyme

KEGGDrug

KEGGCpd

InterPro

HomoloGene

HGNC

GeneOntology

GeneID

GenBank

ChEBI

CAS

Affy-metrix

BibBaseBBC

WildlifeFinder

BBCProgram

mesBBC

Music

rdfaboutUS Census

Media

Geographic

Publications

Government

Cross-domain

Life sciences

User-generated content The near future enabled[not only] by Krextor

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 8

Motivation Krextor OpenMath CDs Outlook

Come to the Demo Session

OpenMath-specific aspects

How to create new links between the OpenMath CDs andexternal datasetsHow can RDF- andor OpenMath-aware clients utilize theOpenMath CD linked dataset

Hacking Session Bring your XML

Letrsquos implement an RDF extraction module for it

Letrsquos think about interlinking your data with others

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 9

  • Motivation
  • Krextor
  • OpenMath CDs
  • Outlook
Page 4: Krextor – An Extensible Framework for Contributing Content Math to the Web of Data

Motivation Krextor OpenMath CDs Outlook

Problem No Math on the Web of Data

Mathematical Knowledge

document-oriented (eg textbook style ldquoMizar articlerdquo)

often using XML ndash natively or as an interchange format

Web of Datanetwork-oriented (links relations)usually following the graph-based RDF data model

So how to contribute mathematical knowledge to the Web of Data

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 4

Motivation Krextor OpenMath CDs Outlook

The Krextor XMLrarrRDF library

OMDoc+RDFa

OWL in OMDoc+RDFa

XHTML+RDFa

OpenMath CD

your XML

+RDFa

your Microformat

genericrepresentation

RXR

RDFXML

Turtle

RDFa

your format

N-Triples

Javacallback

output format

input format

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 5

Motivation Krextor OpenMath CDs Outlook

Concrete Example OpenMath CDs to RDF

OpenMath CD in XML OpenMath CD ontology= RDF vocabulary

Dictionary

ContentDictionary

NotationDictionary

SignatureDictionary

ContentDic-tionaryGroup

Status

Version

SymbolDefinition

NotationDefinition

Signature

Property

Role

Example

CommentedPart

FormalPart

rdfsLiteral

subClassOf

subpropof hasPart

otherproperties

status

version

role

usesSymbol

usesSymbol

hasText

hasText

typeSystem

containsSignaturesFor

containsNotationsFor

typesSymbol rendersSymbol

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 6

Motivation Krextor OpenMath CDs Outlook

Challenges with OpenMath CDs

Requirement Utilize CDs as they are (be conservative compatible)

Example (Linking a Mathematical Property)

sin z = eizminuseminusiz2i is identified by

httpdlmfnistgov414E1and ldquoa mathematical property [CMP+FMP] of thehttpwwwopenmathorgcdtransc1sin symbolrdquoHow to link without touching the CD Standoff RDFHow to identify the OpenMath property Group it give it an IDHow to represent the formula

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 7

Motivation Krextor OpenMath CDs Outlook

Bootstrapping Mathematics on the Web of Data

OpenMathCDs

Planet-Math

DLMF

MSC

As of September 2010

MusicBrainz

(zitgist)

P20

YAGO

WorldFact-book(FUB)

WordNet(W3C)

WordNet(VUA)

VIVO UFVIVO

Indiana

VIVOCornell

VIAF

URIBurner

SussexReading

Lists

PlymouthReading

Lists

UMBEL

UK Post-codes

legislationgovuk

Uberblic

UBMann-heim

TWC LOGD

Twarql

transportdatagov

uk

totlnet

Tele-graphis

TCMGeneDIT

TaxonConcept

The OpenLibrary(Talis)

t4gm

SurgeRadio

STW

RAMEAUSH

statisticsdatagov

uk

StAndrewsResource

Lists

ECSSouth-amptonEPrints

SemanticCrunchBase

semanticweborg

SemanticXBRL

SWDogFood

rdfaboutUS SEC

Wiki

UNLOCODE

Ulm

ECS(RKB

Explorer)

Roma

RISKS

RESEX

RAE2001

Pisa

OS

OAI

NSF

New-castle

LAAS

KISTIJISC

IRIT

IEEE

IBM

Eureacutecom

ERA

ePrints

dotAC

DEPLOY

DBLP(RKB

Explorer)

Course-ware

CORDIS

CiteSeer

Budapest

ACM

riese

Revyu

researchdatagov

uk

referencedatagov

uk

Recht-spraak

nl

RDFohloh

LastFM(rdfize)

RDFBook

Mashup

PSH

ProductDB

PBAC

Pokeacute-peacutedia

Ord-nanceSurvey

OpenlyLocal

The OpenLibrary

OpenCyc

OpenCalais

OpenEI

NewYork

Times

NTUResource

Lists

NDLsubjects

MARCCodesList

Man-chesterReading

Lists

Lotico

TheLondonGazette

LOIUS

lobidResources

lobidOrgani-sations

LinkedMDB

LinkedLCCN

LinkedGeoData

LinkedCT

LinkedOpen

Numbers

lingvoj

LIBRIS

Lexvo

LCSH

DBLP(L3S)

LinkedSensor Data(Knoesis)

Good-win

Family

Jamendo

iServe

NSZLCatalog

GovTrack

GESIS

GeoSpecies

GeoNames

GeoLinkedData(es)

GTAA

STITCHSIDER

ProjectGuten-berg(FUB)

MediCare

Euro-stat

(FUB)

DrugBank

Disea-some

DBLP(FU

Berlin)

DailyMed

Freebase

flickrwrappr

Fishesof Texas

FanHubz

Event-Media

EUTCProduc-

tions

Eurostat

EUNIS

ESDstan-dards

Popula-tion (En-AKTing)

NHS(EnAKTing)

Mortality(En-

AKTing)Energy

(En-AKTing)

CO2(En-

AKTing)

educationdatagov

uk

ECSSouth-ampton

GemNorm-datei

datadcs

MySpace(DBTune)

MusicBrainz

(DBTune)

Magna-tune

JohnPeel(DB

Tune)

classical(DB

Tune)

Audio-scrobbler(DBTune)

LastfmArtists

(DBTune)

DBTropes

dbpedialite

DBpedia

Pokedex

Airports

NASA(DataIncu-bator)

MusicBrainz(Data

Incubator)

MoseleyFolk

Discogs(Data In-cubator)

Climbing

Linked Datafor Intervals

Cornetto

Chronic-ling

America

Chem2Bio2RDF

bizdata

govuk

UniSTS

UniRef

UniPath-way

UniParc

Taxo-nomy

UniProt

SGD

Reactome

PubMed

PubChem

PRO-SITE

ProDom

Pfam PDB

OMIM

OBO

MGI

KEGGReaction

KEGGPathway

KEGGGlycan

KEGGEnzyme

KEGGDrug

KEGGCpd

InterPro

HomoloGene

HGNC

GeneOntology

GeneID

GenBank

ChEBI

CAS

Affy-metrix

BibBaseBBC

WildlifeFinder

BBCProgram

mesBBC

Music

rdfaboutUS Census

Media

Geographic

Publications

Government

Cross-domain

Life sciences

User-generated content The near future enabled[not only] by Krextor

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 8

Motivation Krextor OpenMath CDs Outlook

Come to the Demo Session

OpenMath-specific aspects

How to create new links between the OpenMath CDs andexternal datasetsHow can RDF- andor OpenMath-aware clients utilize theOpenMath CD linked dataset

Hacking Session Bring your XML

Letrsquos implement an RDF extraction module for it

Letrsquos think about interlinking your data with others

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 9

  • Motivation
  • Krextor
  • OpenMath CDs
  • Outlook
Page 5: Krextor – An Extensible Framework for Contributing Content Math to the Web of Data

Motivation Krextor OpenMath CDs Outlook

The Krextor XMLrarrRDF library

OMDoc+RDFa

OWL in OMDoc+RDFa

XHTML+RDFa

OpenMath CD

your XML

+RDFa

your Microformat

genericrepresentation

RXR

RDFXML

Turtle

RDFa

your format

N-Triples

Javacallback

output format

input format

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 5

Motivation Krextor OpenMath CDs Outlook

Concrete Example OpenMath CDs to RDF

OpenMath CD in XML OpenMath CD ontology= RDF vocabulary

Dictionary

ContentDictionary

NotationDictionary

SignatureDictionary

ContentDic-tionaryGroup

Status

Version

SymbolDefinition

NotationDefinition

Signature

Property

Role

Example

CommentedPart

FormalPart

rdfsLiteral

subClassOf

subpropof hasPart

otherproperties

status

version

role

usesSymbol

usesSymbol

hasText

hasText

typeSystem

containsSignaturesFor

containsNotationsFor

typesSymbol rendersSymbol

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 6

Motivation Krextor OpenMath CDs Outlook

Challenges with OpenMath CDs

Requirement Utilize CDs as they are (be conservative compatible)

Example (Linking a Mathematical Property)

sin z = eizminuseminusiz2i is identified by

httpdlmfnistgov414E1and ldquoa mathematical property [CMP+FMP] of thehttpwwwopenmathorgcdtransc1sin symbolrdquoHow to link without touching the CD Standoff RDFHow to identify the OpenMath property Group it give it an IDHow to represent the formula

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 7

Motivation Krextor OpenMath CDs Outlook

Bootstrapping Mathematics on the Web of Data

OpenMathCDs

Planet-Math

DLMF

MSC

As of September 2010

MusicBrainz

(zitgist)

P20

YAGO

WorldFact-book(FUB)

WordNet(W3C)

WordNet(VUA)

VIVO UFVIVO

Indiana

VIVOCornell

VIAF

URIBurner

SussexReading

Lists

PlymouthReading

Lists

UMBEL

UK Post-codes

legislationgovuk

Uberblic

UBMann-heim

TWC LOGD

Twarql

transportdatagov

uk

totlnet

Tele-graphis

TCMGeneDIT

TaxonConcept

The OpenLibrary(Talis)

t4gm

SurgeRadio

STW

RAMEAUSH

statisticsdatagov

uk

StAndrewsResource

Lists

ECSSouth-amptonEPrints

SemanticCrunchBase

semanticweborg

SemanticXBRL

SWDogFood

rdfaboutUS SEC

Wiki

UNLOCODE

Ulm

ECS(RKB

Explorer)

Roma

RISKS

RESEX

RAE2001

Pisa

OS

OAI

NSF

New-castle

LAAS

KISTIJISC

IRIT

IEEE

IBM

Eureacutecom

ERA

ePrints

dotAC

DEPLOY

DBLP(RKB

Explorer)

Course-ware

CORDIS

CiteSeer

Budapest

ACM

riese

Revyu

researchdatagov

uk

referencedatagov

uk

Recht-spraak

nl

RDFohloh

LastFM(rdfize)

RDFBook

Mashup

PSH

ProductDB

PBAC

Pokeacute-peacutedia

Ord-nanceSurvey

OpenlyLocal

The OpenLibrary

OpenCyc

OpenCalais

OpenEI

NewYork

Times

NTUResource

Lists

NDLsubjects

MARCCodesList

Man-chesterReading

Lists

Lotico

TheLondonGazette

LOIUS

lobidResources

lobidOrgani-sations

LinkedMDB

LinkedLCCN

LinkedGeoData

LinkedCT

LinkedOpen

Numbers

lingvoj

LIBRIS

Lexvo

LCSH

DBLP(L3S)

LinkedSensor Data(Knoesis)

Good-win

Family

Jamendo

iServe

NSZLCatalog

GovTrack

GESIS

GeoSpecies

GeoNames

GeoLinkedData(es)

GTAA

STITCHSIDER

ProjectGuten-berg(FUB)

MediCare

Euro-stat

(FUB)

DrugBank

Disea-some

DBLP(FU

Berlin)

DailyMed

Freebase

flickrwrappr

Fishesof Texas

FanHubz

Event-Media

EUTCProduc-

tions

Eurostat

EUNIS

ESDstan-dards

Popula-tion (En-AKTing)

NHS(EnAKTing)

Mortality(En-

AKTing)Energy

(En-AKTing)

CO2(En-

AKTing)

educationdatagov

uk

ECSSouth-ampton

GemNorm-datei

datadcs

MySpace(DBTune)

MusicBrainz

(DBTune)

Magna-tune

JohnPeel(DB

Tune)

classical(DB

Tune)

Audio-scrobbler(DBTune)

LastfmArtists

(DBTune)

DBTropes

dbpedialite

DBpedia

Pokedex

Airports

NASA(DataIncu-bator)

MusicBrainz(Data

Incubator)

MoseleyFolk

Discogs(Data In-cubator)

Climbing

Linked Datafor Intervals

Cornetto

Chronic-ling

America

Chem2Bio2RDF

bizdata

govuk

UniSTS

UniRef

UniPath-way

UniParc

Taxo-nomy

UniProt

SGD

Reactome

PubMed

PubChem

PRO-SITE

ProDom

Pfam PDB

OMIM

OBO

MGI

KEGGReaction

KEGGPathway

KEGGGlycan

KEGGEnzyme

KEGGDrug

KEGGCpd

InterPro

HomoloGene

HGNC

GeneOntology

GeneID

GenBank

ChEBI

CAS

Affy-metrix

BibBaseBBC

WildlifeFinder

BBCProgram

mesBBC

Music

rdfaboutUS Census

Media

Geographic

Publications

Government

Cross-domain

Life sciences

User-generated content The near future enabled[not only] by Krextor

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 8

Motivation Krextor OpenMath CDs Outlook

Come to the Demo Session

OpenMath-specific aspects

How to create new links between the OpenMath CDs andexternal datasetsHow can RDF- andor OpenMath-aware clients utilize theOpenMath CD linked dataset

Hacking Session Bring your XML

Letrsquos implement an RDF extraction module for it

Letrsquos think about interlinking your data with others

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 9

  • Motivation
  • Krextor
  • OpenMath CDs
  • Outlook
Page 6: Krextor – An Extensible Framework for Contributing Content Math to the Web of Data

Motivation Krextor OpenMath CDs Outlook

Concrete Example OpenMath CDs to RDF

OpenMath CD in XML OpenMath CD ontology= RDF vocabulary

Dictionary

ContentDictionary

NotationDictionary

SignatureDictionary

ContentDic-tionaryGroup

Status

Version

SymbolDefinition

NotationDefinition

Signature

Property

Role

Example

CommentedPart

FormalPart

rdfsLiteral

subClassOf

subpropof hasPart

otherproperties

status

version

role

usesSymbol

usesSymbol

hasText

hasText

typeSystem

containsSignaturesFor

containsNotationsFor

typesSymbol rendersSymbol

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 6

Motivation Krextor OpenMath CDs Outlook

Challenges with OpenMath CDs

Requirement Utilize CDs as they are (be conservative compatible)

Example (Linking a Mathematical Property)

sin z = eizminuseminusiz2i is identified by

httpdlmfnistgov414E1and ldquoa mathematical property [CMP+FMP] of thehttpwwwopenmathorgcdtransc1sin symbolrdquoHow to link without touching the CD Standoff RDFHow to identify the OpenMath property Group it give it an IDHow to represent the formula

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 7

Motivation Krextor OpenMath CDs Outlook

Bootstrapping Mathematics on the Web of Data

OpenMathCDs

Planet-Math

DLMF

MSC

As of September 2010

MusicBrainz

(zitgist)

P20

YAGO

WorldFact-book(FUB)

WordNet(W3C)

WordNet(VUA)

VIVO UFVIVO

Indiana

VIVOCornell

VIAF

URIBurner

SussexReading

Lists

PlymouthReading

Lists

UMBEL

UK Post-codes

legislationgovuk

Uberblic

UBMann-heim

TWC LOGD

Twarql

transportdatagov

uk

totlnet

Tele-graphis

TCMGeneDIT

TaxonConcept

The OpenLibrary(Talis)

t4gm

SurgeRadio

STW

RAMEAUSH

statisticsdatagov

uk

StAndrewsResource

Lists

ECSSouth-amptonEPrints

SemanticCrunchBase

semanticweborg

SemanticXBRL

SWDogFood

rdfaboutUS SEC

Wiki

UNLOCODE

Ulm

ECS(RKB

Explorer)

Roma

RISKS

RESEX

RAE2001

Pisa

OS

OAI

NSF

New-castle

LAAS

KISTIJISC

IRIT

IEEE

IBM

Eureacutecom

ERA

ePrints

dotAC

DEPLOY

DBLP(RKB

Explorer)

Course-ware

CORDIS

CiteSeer

Budapest

ACM

riese

Revyu

researchdatagov

uk

referencedatagov

uk

Recht-spraak

nl

RDFohloh

LastFM(rdfize)

RDFBook

Mashup

PSH

ProductDB

PBAC

Pokeacute-peacutedia

Ord-nanceSurvey

OpenlyLocal

The OpenLibrary

OpenCyc

OpenCalais

OpenEI

NewYork

Times

NTUResource

Lists

NDLsubjects

MARCCodesList

Man-chesterReading

Lists

Lotico

TheLondonGazette

LOIUS

lobidResources

lobidOrgani-sations

LinkedMDB

LinkedLCCN

LinkedGeoData

LinkedCT

LinkedOpen

Numbers

lingvoj

LIBRIS

Lexvo

LCSH

DBLP(L3S)

LinkedSensor Data(Knoesis)

Good-win

Family

Jamendo

iServe

NSZLCatalog

GovTrack

GESIS

GeoSpecies

GeoNames

GeoLinkedData(es)

GTAA

STITCHSIDER

ProjectGuten-berg(FUB)

MediCare

Euro-stat

(FUB)

DrugBank

Disea-some

DBLP(FU

Berlin)

DailyMed

Freebase

flickrwrappr

Fishesof Texas

FanHubz

Event-Media

EUTCProduc-

tions

Eurostat

EUNIS

ESDstan-dards

Popula-tion (En-AKTing)

NHS(EnAKTing)

Mortality(En-

AKTing)Energy

(En-AKTing)

CO2(En-

AKTing)

educationdatagov

uk

ECSSouth-ampton

GemNorm-datei

datadcs

MySpace(DBTune)

MusicBrainz

(DBTune)

Magna-tune

JohnPeel(DB

Tune)

classical(DB

Tune)

Audio-scrobbler(DBTune)

LastfmArtists

(DBTune)

DBTropes

dbpedialite

DBpedia

Pokedex

Airports

NASA(DataIncu-bator)

MusicBrainz(Data

Incubator)

MoseleyFolk

Discogs(Data In-cubator)

Climbing

Linked Datafor Intervals

Cornetto

Chronic-ling

America

Chem2Bio2RDF

bizdata

govuk

UniSTS

UniRef

UniPath-way

UniParc

Taxo-nomy

UniProt

SGD

Reactome

PubMed

PubChem

PRO-SITE

ProDom

Pfam PDB

OMIM

OBO

MGI

KEGGReaction

KEGGPathway

KEGGGlycan

KEGGEnzyme

KEGGDrug

KEGGCpd

InterPro

HomoloGene

HGNC

GeneOntology

GeneID

GenBank

ChEBI

CAS

Affy-metrix

BibBaseBBC

WildlifeFinder

BBCProgram

mesBBC

Music

rdfaboutUS Census

Media

Geographic

Publications

Government

Cross-domain

Life sciences

User-generated content The near future enabled[not only] by Krextor

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 8

Motivation Krextor OpenMath CDs Outlook

Come to the Demo Session

OpenMath-specific aspects

How to create new links between the OpenMath CDs andexternal datasetsHow can RDF- andor OpenMath-aware clients utilize theOpenMath CD linked dataset

Hacking Session Bring your XML

Letrsquos implement an RDF extraction module for it

Letrsquos think about interlinking your data with others

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 9

  • Motivation
  • Krextor
  • OpenMath CDs
  • Outlook
Page 7: Krextor – An Extensible Framework for Contributing Content Math to the Web of Data

Motivation Krextor OpenMath CDs Outlook

Challenges with OpenMath CDs

Requirement Utilize CDs as they are (be conservative compatible)

Example (Linking a Mathematical Property)

sin z = eizminuseminusiz2i is identified by

httpdlmfnistgov414E1and ldquoa mathematical property [CMP+FMP] of thehttpwwwopenmathorgcdtransc1sin symbolrdquoHow to link without touching the CD Standoff RDFHow to identify the OpenMath property Group it give it an IDHow to represent the formula

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 7

Motivation Krextor OpenMath CDs Outlook

Bootstrapping Mathematics on the Web of Data

OpenMathCDs

Planet-Math

DLMF

MSC

As of September 2010

MusicBrainz

(zitgist)

P20

YAGO

WorldFact-book(FUB)

WordNet(W3C)

WordNet(VUA)

VIVO UFVIVO

Indiana

VIVOCornell

VIAF

URIBurner

SussexReading

Lists

PlymouthReading

Lists

UMBEL

UK Post-codes

legislationgovuk

Uberblic

UBMann-heim

TWC LOGD

Twarql

transportdatagov

uk

totlnet

Tele-graphis

TCMGeneDIT

TaxonConcept

The OpenLibrary(Talis)

t4gm

SurgeRadio

STW

RAMEAUSH

statisticsdatagov

uk

StAndrewsResource

Lists

ECSSouth-amptonEPrints

SemanticCrunchBase

semanticweborg

SemanticXBRL

SWDogFood

rdfaboutUS SEC

Wiki

UNLOCODE

Ulm

ECS(RKB

Explorer)

Roma

RISKS

RESEX

RAE2001

Pisa

OS

OAI

NSF

New-castle

LAAS

KISTIJISC

IRIT

IEEE

IBM

Eureacutecom

ERA

ePrints

dotAC

DEPLOY

DBLP(RKB

Explorer)

Course-ware

CORDIS

CiteSeer

Budapest

ACM

riese

Revyu

researchdatagov

uk

referencedatagov

uk

Recht-spraak

nl

RDFohloh

LastFM(rdfize)

RDFBook

Mashup

PSH

ProductDB

PBAC

Pokeacute-peacutedia

Ord-nanceSurvey

OpenlyLocal

The OpenLibrary

OpenCyc

OpenCalais

OpenEI

NewYork

Times

NTUResource

Lists

NDLsubjects

MARCCodesList

Man-chesterReading

Lists

Lotico

TheLondonGazette

LOIUS

lobidResources

lobidOrgani-sations

LinkedMDB

LinkedLCCN

LinkedGeoData

LinkedCT

LinkedOpen

Numbers

lingvoj

LIBRIS

Lexvo

LCSH

DBLP(L3S)

LinkedSensor Data(Knoesis)

Good-win

Family

Jamendo

iServe

NSZLCatalog

GovTrack

GESIS

GeoSpecies

GeoNames

GeoLinkedData(es)

GTAA

STITCHSIDER

ProjectGuten-berg(FUB)

MediCare

Euro-stat

(FUB)

DrugBank

Disea-some

DBLP(FU

Berlin)

DailyMed

Freebase

flickrwrappr

Fishesof Texas

FanHubz

Event-Media

EUTCProduc-

tions

Eurostat

EUNIS

ESDstan-dards

Popula-tion (En-AKTing)

NHS(EnAKTing)

Mortality(En-

AKTing)Energy

(En-AKTing)

CO2(En-

AKTing)

educationdatagov

uk

ECSSouth-ampton

GemNorm-datei

datadcs

MySpace(DBTune)

MusicBrainz

(DBTune)

Magna-tune

JohnPeel(DB

Tune)

classical(DB

Tune)

Audio-scrobbler(DBTune)

LastfmArtists

(DBTune)

DBTropes

dbpedialite

DBpedia

Pokedex

Airports

NASA(DataIncu-bator)

MusicBrainz(Data

Incubator)

MoseleyFolk

Discogs(Data In-cubator)

Climbing

Linked Datafor Intervals

Cornetto

Chronic-ling

America

Chem2Bio2RDF

bizdata

govuk

UniSTS

UniRef

UniPath-way

UniParc

Taxo-nomy

UniProt

SGD

Reactome

PubMed

PubChem

PRO-SITE

ProDom

Pfam PDB

OMIM

OBO

MGI

KEGGReaction

KEGGPathway

KEGGGlycan

KEGGEnzyme

KEGGDrug

KEGGCpd

InterPro

HomoloGene

HGNC

GeneOntology

GeneID

GenBank

ChEBI

CAS

Affy-metrix

BibBaseBBC

WildlifeFinder

BBCProgram

mesBBC

Music

rdfaboutUS Census

Media

Geographic

Publications

Government

Cross-domain

Life sciences

User-generated content The near future enabled[not only] by Krextor

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 8

Motivation Krextor OpenMath CDs Outlook

Come to the Demo Session

OpenMath-specific aspects

How to create new links between the OpenMath CDs andexternal datasetsHow can RDF- andor OpenMath-aware clients utilize theOpenMath CD linked dataset

Hacking Session Bring your XML

Letrsquos implement an RDF extraction module for it

Letrsquos think about interlinking your data with others

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 9

  • Motivation
  • Krextor
  • OpenMath CDs
  • Outlook
Page 8: Krextor – An Extensible Framework for Contributing Content Math to the Web of Data

Motivation Krextor OpenMath CDs Outlook

Bootstrapping Mathematics on the Web of Data

OpenMathCDs

Planet-Math

DLMF

MSC

As of September 2010

MusicBrainz

(zitgist)

P20

YAGO

WorldFact-book(FUB)

WordNet(W3C)

WordNet(VUA)

VIVO UFVIVO

Indiana

VIVOCornell

VIAF

URIBurner

SussexReading

Lists

PlymouthReading

Lists

UMBEL

UK Post-codes

legislationgovuk

Uberblic

UBMann-heim

TWC LOGD

Twarql

transportdatagov

uk

totlnet

Tele-graphis

TCMGeneDIT

TaxonConcept

The OpenLibrary(Talis)

t4gm

SurgeRadio

STW

RAMEAUSH

statisticsdatagov

uk

StAndrewsResource

Lists

ECSSouth-amptonEPrints

SemanticCrunchBase

semanticweborg

SemanticXBRL

SWDogFood

rdfaboutUS SEC

Wiki

UNLOCODE

Ulm

ECS(RKB

Explorer)

Roma

RISKS

RESEX

RAE2001

Pisa

OS

OAI

NSF

New-castle

LAAS

KISTIJISC

IRIT

IEEE

IBM

Eureacutecom

ERA

ePrints

dotAC

DEPLOY

DBLP(RKB

Explorer)

Course-ware

CORDIS

CiteSeer

Budapest

ACM

riese

Revyu

researchdatagov

uk

referencedatagov

uk

Recht-spraak

nl

RDFohloh

LastFM(rdfize)

RDFBook

Mashup

PSH

ProductDB

PBAC

Pokeacute-peacutedia

Ord-nanceSurvey

OpenlyLocal

The OpenLibrary

OpenCyc

OpenCalais

OpenEI

NewYork

Times

NTUResource

Lists

NDLsubjects

MARCCodesList

Man-chesterReading

Lists

Lotico

TheLondonGazette

LOIUS

lobidResources

lobidOrgani-sations

LinkedMDB

LinkedLCCN

LinkedGeoData

LinkedCT

LinkedOpen

Numbers

lingvoj

LIBRIS

Lexvo

LCSH

DBLP(L3S)

LinkedSensor Data(Knoesis)

Good-win

Family

Jamendo

iServe

NSZLCatalog

GovTrack

GESIS

GeoSpecies

GeoNames

GeoLinkedData(es)

GTAA

STITCHSIDER

ProjectGuten-berg(FUB)

MediCare

Euro-stat

(FUB)

DrugBank

Disea-some

DBLP(FU

Berlin)

DailyMed

Freebase

flickrwrappr

Fishesof Texas

FanHubz

Event-Media

EUTCProduc-

tions

Eurostat

EUNIS

ESDstan-dards

Popula-tion (En-AKTing)

NHS(EnAKTing)

Mortality(En-

AKTing)Energy

(En-AKTing)

CO2(En-

AKTing)

educationdatagov

uk

ECSSouth-ampton

GemNorm-datei

datadcs

MySpace(DBTune)

MusicBrainz

(DBTune)

Magna-tune

JohnPeel(DB

Tune)

classical(DB

Tune)

Audio-scrobbler(DBTune)

LastfmArtists

(DBTune)

DBTropes

dbpedialite

DBpedia

Pokedex

Airports

NASA(DataIncu-bator)

MusicBrainz(Data

Incubator)

MoseleyFolk

Discogs(Data In-cubator)

Climbing

Linked Datafor Intervals

Cornetto

Chronic-ling

America

Chem2Bio2RDF

bizdata

govuk

UniSTS

UniRef

UniPath-way

UniParc

Taxo-nomy

UniProt

SGD

Reactome

PubMed

PubChem

PRO-SITE

ProDom

Pfam PDB

OMIM

OBO

MGI

KEGGReaction

KEGGPathway

KEGGGlycan

KEGGEnzyme

KEGGDrug

KEGGCpd

InterPro

HomoloGene

HGNC

GeneOntology

GeneID

GenBank

ChEBI

CAS

Affy-metrix

BibBaseBBC

WildlifeFinder

BBCProgram

mesBBC

Music

rdfaboutUS Census

Media

Geographic

Publications

Government

Cross-domain

Life sciences

User-generated content The near future enabled[not only] by Krextor

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 8

Motivation Krextor OpenMath CDs Outlook

Come to the Demo Session

OpenMath-specific aspects

How to create new links between the OpenMath CDs andexternal datasetsHow can RDF- andor OpenMath-aware clients utilize theOpenMath CD linked dataset

Hacking Session Bring your XML

Letrsquos implement an RDF extraction module for it

Letrsquos think about interlinking your data with others

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 9

  • Motivation
  • Krextor
  • OpenMath CDs
  • Outlook
Page 9: Krextor – An Extensible Framework for Contributing Content Math to the Web of Data

Motivation Krextor OpenMath CDs Outlook

Come to the Demo Session

OpenMath-specific aspects

How to create new links between the OpenMath CDs andexternal datasetsHow can RDF- andor OpenMath-aware clients utilize theOpenMath CD linked dataset

Hacking Session Bring your XML

Letrsquos implement an RDF extraction module for it

Letrsquos think about interlinking your data with others

Christoph Lange Krextor ndash An Extensible Framework for Contributing Content Math to the Web of Data 2011-07-19 9

  • Motivation
  • Krextor
  • OpenMath CDs
  • Outlook