Christoph Lange

semantic web mathematical knowledge management semantic wiki ontology wiki swim mkm omdoc openmath linked data mathematics rdf markup argumentation swikig collaboration owl xml jobad web of data linked open data ontoiop krextor mathml dol ontolog content dictionaries eswc2008 mashup ontology engineering jacobs university talk page tntbase formalization cicm2010 heterogeneous cicm2009 discussion rdfa web 2.0 mathematik database subversion common logic content markup semwiki2008 e-science cmtc2010 notation workshop ph.d. vorlesung cicm2008 mkm2009 eswc2010 stex deri isem2010 doktorandenforum i-semantics studienstiftung distributed documents research iso metalanguage eswc2009 engineering authoring documentation peer review jomdoc scientific publishing logic xslt modular argumentation ontology webmontag bremen forschung ciao2009 xhtml html web jem interaction interactive om2009 case study service icwl2009 lwa2009 reasoning fgwm2009 deduktionstreffen semantic cscw editing content dictionary jem2008 sfsw2009 versioned extraction library berkeley dbxml translation db om2010 layer cake iswc2011 semwiki oasis standard iswc2008 future language eecs distributed ontologies dokument annotation metadata document fgwm education interaktion spatial reasoning big data auction business process formal methods ontology language ontohub iso tc 37 tke2012 iso 17347 msc digital libraries skos eswc mathematics subject classification eswc2012 classification scheme planetary social semantic web knowledge engineering google schema.org planetmath social software arxiv.org search engines data economy digital transformation fair data data spaces project management phd europe skills germany career university scholarly communication oscoss gesis open science social science dsos msca wdaqua project question answering data quality open data data integration enterprise information integration geodata social networks specification latex cicm2011 scovo statistics government data mashups oor standards iaoa fgwm2008 lwa2008 semnet eswc2007 demo theorem proving kepler flyspeck mathematical notation mathui2007 mkm2007 mathui2008 lernen mnu2008 abhängigkeiten scoop2009 zuverlässigkeit rechnernetze protokoll internet tcp/ip tcp semiformal knowledge representation aegisconf ambient assisted living interoperability aal change management xquery ores2010 refactoring repository ki2009 mathematical documents aimashup2009 mocassin sparql e-learning lecture notes vocabulary software engineering symbols