With this libary you can read the I2C tempsensor off the appboard.

Revision:
0:1a9f04f52745
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/TemperatureSensor.h	Fri Dec 25 20:41:34 2015 +0000
@@ -0,0 +1,18 @@
+#ifndef TEMPERATURESENSOR_H
+#define TEMPERATURESENSOR_H
+
+#include "LM75B.h"
+#include <string>
+
+class TemperatureSensor : public LM75B
+{
+public:
+    TemperatureSensor(PinName SDA, PinName SCL, std::string key, std::string name);
+    std::string getDataPacket(void);
+private:
+    std::string name;         
+    std::string key;
+    
+};
+
+#endif
\ No newline at end of file