A logic-based language for describing device interoperability

Technology´s constant progress makes us build more and more independent devices dedicated to different goals. In this way, we make it more complex for humans to make use of those devices. In particular; the functionalities required by some user may be achievable only by combining functionalities of several devices currently accessible over a changing network. We therefore propose a language for describing devices and their functionalities in a way that enables the inference, definition and querying of potential compositions. We define this language, and demonstrate practical applications.