Digitisation, representation, and formalisation - Digital libraries of mathematics

One of the main tasks of the mathematical knowledge management community must surely be to enhance access to mathematics on digital systems. In this paper we present a spectrum of approaches to solving the various problems inherent in this task, arguing that a variety of approaches is both necessary and useful. The main ideas presented are about the differences between digitised mathematics, digitally represented mathematics and formalised mathematics. Each has its part to play in managing mathematical information in a connected world. Digitised material is that which is embodied in a computer file, accessible and displayable locally or globally. Represented material is digital material in which there is some structure (usually syntactic in nature) which maps to the mathematics contained in the digitised information. Formalised material is that in which both the syntax and semantics of the represented material, is automatically accessible. Given the range of mathematical information to which access is desired, and the limited resources available for managing that information, we must ensure that these resources are applied to digitise, form representations of or formalise, existing and new mathematical information in such a way as to extract the most benefit from the least expenditure of resources. We also analyse some of the various social and legal issues which surround the practical tasks.

A semiotic framework for information representation of energy consumption in office buildings

Taking a perspective from a whole building lifecycle, occupier's actions could account for about 50% of energy. However occupants' activities influence building energy performance is still a blind area. Building energy performance is thought to be the result of a combination of building fabrics, building services and occupants' activities, along with their interactions. In this sense, energy consumption in built environment is regarded as a socio-technical system. In order to understand how such a system works, a range of physical, technical and social information is involved that needs to be integrated and aligned. This paper has proposed a semiotic framework to add value for Building Information Modelling, incorporating energy-related occupancy factors in a context of office buildings. Further, building information has been addressed semantically to describe a building space from the facility management perspective. Finally, the framework guides to set up building information representation system, which can help facility managers to manage buildings efficiently by improving their understanding on how office buildings are operated and used.