Krextor - An Extensible Framework for Contributing Content Math to the Web of Data

An increasing amount of scientific knowledge is being contributed to the emerging Web of [Linked] Data, where it is made available in a machine-comprehensible way and interlinked with other related datasets. This already powers distributed query answering engines and intelligent semantic mashups enriching web publications - however, it still largely lacks mathematical functionality. There are e-science datasets - with mathematical model descriptions opaque to machines.