Bridging the Gap: Intelligent Environments with Smart Materials

Abstract

Smart Materials (SMat) promise to open new opportunities in the area of Intelligent Environments (IE), whether as part of dedicated smart devices or as the fabric constituting everyday appliances and building infrastructure. Through the use of ontologies both IE engineers and the IEs themselves can be aware of, and predict, how novel configurable and changing materials react under different conditions. In contrast to conventional Smart Objects, however, as computational software/hardware-systems, lending themselves to the object-oriented perspective of conventional ontology specification languages, SMat and IE in the wider sense require a perspective focussing on extended spaces and numerical domains. Both are known to be problematic in terms of usability and computational complexity for the traditional object-oriented languages, with even very basic notions already leading into undecidability. Context Logic (CL), in contrast, is a formalism specialized for these domains. This paper demonstrates how terminology from this area involving extended spaces and numerical domains can be modeled in CL.