Christoph Lange

semantic web mathematical knowledge management semantic wiki ontology wiki swim openmath omdoc mkm linked data mathematics rdf argumentation markup swikig collaboration xml jobad owl linked open data ontoiop web of data dol ontology engineering jacobs university ontolog content dictionaries eswc2008 krextor mathml mashup formalization cicm2009 web 2.0 tntbase cicm2010 rdfa discussion talk page heterogeneous mathematik research scientific publishing logic peer review common logic eswc2010 stex isem2010 i-semantics distributed documents cicm2008 vorlesung semwiki2008 notation e-science ph.d. mkm2009 studienstiftung doktorandenforum deri workshop database subversion content markup cmtc2010 eswc2009 xslt argumentation ontology metalanguage iso modular jomdoc documentation authoring engineering 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 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 social networks 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 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 symbols deduktionstreffen fgwm2009 lwa2009 icwl2009 case study om2009 webmontag bremen forschung ciao2009 xhtml html interaction interaktion document dokument eecs future iswc2008 semwiki om2010 db berkeley dbxml versioned content dictionary jem2008 sfsw2009 extraction library translation layer cake iswc2011 oasis standard language distributed ontologies annotation metadata fgwm education jem web interactive service reasoning semantic cscw editing