krextor – an extensible framework for contributing content math to the web of data
DESCRIPTION
CICM 2011 Systems & ProjectsTRANSCRIPT
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-