<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Knowledge Representation Methods for Smart Devices in Intelligent Buildings</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Giuseppe Loseto Supervisor: Michele Ruta</string-name>
          <email>loseto@deemail.poliba.it</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>DEE</institution>
          ,
          <addr-line>Politecnico di Bari via Re David 200 - I-70125 Bari</addr-line>
          ,
          <country country="IT">Italy</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>State of the Art</institution>
        </aff>
      </contrib-group>
      <fpage>18</fpage>
      <lpage>22</lpage>
      <abstract>
        <p>Home and building automation aims at improving features and capabilities of household systems and appliances. Nevertheless, current solutions poorly support dynamic scenarios and context-awareness. The integration of knowledge representation features and reasoning techniques (originally devised for the Semantic Web) into standard home automation protocols can offer high-level services to users. A semanticbased approach is proposed, able to interface users and devices (whose characteristics are expressed by means of annotated profiles) within a service-oriented home infrastructure.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>Introduction</title>
      <p>Corporation, www.echelon.com) – only offer static automation capabilities,
consisting of pre-designed application scenarios. They do not allow autonomicity in
environmental adaptation given a user profile and dynamic context-awareness.</p>
      <p>
        An early approach towards AmI was proposed in [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ]. Intelligent agents were
used to automate a service composition task, providing transparency from the
user’s standpoint. Nevertheless, such an approach was based on service
discovery protocols such as UPnP and Bluetooth SDP, presenting a too elementary
discovery and supporting only exact match of code-based service attributes. Due
to the growing interest in reducing energy consumption, several studies on AmI
and multi-agent systems have been proposed for energy management and
comfort enhancement [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. Unfortunately, these solutions either require direct user
intervention or only support basic interaction between devices, lacking advanced
resource discovery and composition capabilities. The use of knowledge
representation can allow to overcome such limitations. Knowledge Bases (KBs) will be
exploited to enable a user-device interaction and to interconnect household
appliances, using different protocols, in order to share services and data, e.g., related
to device energy consumption [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. In [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] an ontology-based domotic framework
with a rule-based reasoning module was introduced to manage and coordinate
heterogeneous devices endowed with semantic descriptions. The main weakness
of the above works is in the presence of static rule sets and centralized KBs. A
really pervasive environment requires a different approach, able to deal with the
intrinsically dynamic, decentralized and unpredictable nature of AmI.
3
      </p>
    </sec>
    <sec id="sec-2">
      <title>Proposed approach</title>
      <p>Framework. A general-purpose framework for HBA has been proposed,
supporting semantic-enhanced characterization of both user requirements and
services/resources provided by devices. Following pervasive computing spirit, during
ordinary activities the user should be able to simultaneously exploit information
and functionalities provided by multiple objects deployed in her surroundings.
Each device should autonomously expose its services and should also be able to
discover functionalities and request services from other devices.</p>
      <p>Technologies and ideas are borrowed from the Semantic Web initiative and
adapted to HBA scenarios. Semantic Web languages, such as OWL1, provide the
basic terminological infrastructure for domotic ubiquitous KBs (u-KBs) which
enable the needed information interchange. The fully exploitation of semantics
in user and device description has several benefits which include: (i)
machineunderstandable annotated descriptions to improve interoperability; (ii)
reasoning on descriptions to characterize environmental conditions (context) and to
support advanced services through semantic-based matchmaking.</p>
      <p>
        The reference framework architecture, shown in Figure 1, integrates both
semantic-enabled and legacy home devices in a domotic network with an IP
backbone. Coordination among user agents and domotic agents (representing
1 OWL Web Ontology Language, version 2, W3C Recommendation 27 October 2009,
http://www.w3.org/TR/owl2-overview/
(a) Testbed
(b) Device Panel
devices, rooms and areas) is facilitated by a home unit. Communication
between client agents and the home system may occur through either IEEE 802.11
or Bluetooth wireless standards. The discovery framework is based on a
distributed application-layer protocol. Optimized inference services [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] feature a
Decision Support System (DSS) hosted by the coordination unit. Service
discovery is not limited to identity matches (infrequent in real situations) but it
supports a logic-based ranking of approximated matches allowing to choose
resources/services best satisfying a request, also taking user preferences and
context into account. Such an approach allows then user to require addressed
services instead of simplistic device features. For example, the system could be able
to reply to articulated requests as the one reported in what follows: I am tired
and I have a splitting headache. For these reasons, I am very nervous and I wish
a relaxing home environment. It is a warm evening and I feel hot. By sending
a request to the home, an accurate home service selection can be performed, as
shown in Figure 3. The selected service set includes suggestions for DVD
playback and music, following stored user preferences. A lower room temperature
and soft lighting settings are selected to improve user comfort. Finally, system
sets appropriate home safety and security settings inferred by the mobile
matchmaker exploiting the axioms in the ontology. An uncovered part of the request
is also present, because there are no specific services able to match nervous user
state.
      </p>
      <p>
        Methodology. In order to grant feasibility, the proposed framework was based
on a fully backward-compatible extension of current domotic technologies.
Consequently, besides review of the state of the art, the first research phase included
a careful study of the most widespread HBA standards, in order to verify the
possibility of a semantic enhancement and to select a reference protocol for
subsequent work. The second step involved the design of protocol enhancements
to support the representation and exchange of semantic information, followed
by an extensive evaluation through simulation campaigns. Then the framework
has been defined in detail, including: (a) specification of an ontology for the
HBA application domain able to support the functional and non–functional
requirements of the project; (b) development and optimization of an embedded
matchmaking engine, providing standard and non-standard inference services
described in [
        <xref ref-type="bibr" rid="ref2 ref5">2, 5</xref>
        ]. Based on the theoretical framework, a testbed has been
developed to evaluate the effectiveness of the approach and to experiment about
performance –considering several case studies, with user and device semantic
descriptions varying in number and complexity.
4
      </p>
    </sec>
    <sec id="sec-3">
      <title>Results</title>
      <p>
        KNX was selected as reference HBA standard due to its support for multiple
communication media, availability of development tools and wide industry
acceptance. At protocol level, main contribution includes the definition of new
data structures and application-layer services [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ] conforming KNX 2.0
specification to store and exchange semantic metadata. Due to the reduced availability of
both device storage and protocol bandwidth in current domotic infrastructures,
the proposed enhancements envisage the use of a compression algorithm
specifically targeted to document in XML-based ontological languages [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]. The mobile
semantic matchmaker in [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ] has been extended with the Concept Covering
inference service [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] –in addition to Concept Abduction and Concept Contraction [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]–
to support covering of a complex request through the conjunction of elementary
service units. A prototypical testbed, shown in Figure 2, was developed. It
represents a small set of home environments equipped with different KNX-compliant
off-the-shelf devices. Integration of the semantic-enhanced protocol features in
an agent framework is a further step in the research. In [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ], main characteristics
of the framework are highlighted and early performance evaluation is presented.
A subsequent step, under current investigation, involves the exploitation of a
semantic-based negotiation protocol seeking to maximize energy efficiency. The
agents are able to: (i) negotiate on available home and energy resources through
a user-transparent and device-driven interaction; (ii) reveal conflicting
information on energy constraints; (iii) support non-expert users in selecting home
configurations. The first results are presented in [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ].
5
      </p>
    </sec>
    <sec id="sec-4">
      <title>Conclusion and Future Work</title>
      <p>A semantic-based pervasive computing approach has been investigated to
overcome existing limitations in HBA solutions. The integration of KR and reasoning
techniques with current standards and technologies is fundamental to improve
user comfort and building efficiency. Enhancements aim at building a distributed
knowledge-based framework.
Beyond completing the outlined research tasks, future extensions will include a
user agent running on a mobile client, enabling rich and autonomous interactions
in a collaborative smart space.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Bonino</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Castellina</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Corno</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          :
          <article-title>The DOG gateway: enabling ontology-based intelligent domotic environments</article-title>
          .
          <source>IEEE Transactions on Consumer Electronics</source>
          <volume>54</volume>
          (
          <issue>4</issue>
          ),
          <fpage>1656</fpage>
          -
          <lpage>1664</lpage>
          (november
          <year>2008</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Colucci</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          , Di Noia,
          <string-name>
            <given-names>T.</given-names>
            ,
            <surname>Pinto</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            ,
            <surname>Ragone</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            ,
            <surname>Ruta</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            ,
            <surname>Tinelli</surname>
          </string-name>
          , E.:
          <article-title>A nonmonotonic approach to semantic matchmaking and request refinement in emarketplaces</article-title>
          .
          <source>International Journal of Electronic Commerce</source>
          <volume>12</volume>
          (
          <issue>2</issue>
          ),
          <fpage>127</fpage>
          -
          <lpage>154</lpage>
          (
          <year>2007</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Klein</surname>
          </string-name>
          , L.,
          <string-name>
            <surname>young Kwak</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kavulya</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Jazizadeh</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Becerik-Gerber</surname>
            ,
            <given-names>B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Varakantham</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tambe</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Coordinating occupant behavior for building energy and comfort management using multi-agent systems</article-title>
          .
          <source>Automation in Construction</source>
          <volume>22</volume>
          (
          <issue>0</issue>
          ),
          <fpage>525</fpage>
          -
          <lpage>536</lpage>
          (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Kofler</surname>
            ,
            <given-names>M.J.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Reinisch</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kastner</surname>
            ,
            <given-names>W.:</given-names>
          </string-name>
          <article-title>A semantic representation of energyrelated information in future smart homes</article-title>
          .
          <source>Energy and Buildings</source>
          <volume>47</volume>
          (
          <issue>0</issue>
          ),
          <fpage>169</fpage>
          -
          <lpage>179</lpage>
          (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Ragone</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Di Noia</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Di Sciascio</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Donini</surname>
            ,
            <given-names>F.M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Colucci</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Colasuonno</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          :
          <article-title>Fully automated web services discovery and composition through concept covering and concept abduction</article-title>
          .
          <source>International Journal of Web Services Research (JWSR) 4</source>
          (
          <issue>3</issue>
          ),
          <fpage>85</fpage>
          -
          <lpage>112</lpage>
          (
          <year>2007</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Ruta</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Scioscia</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Di Sciascio</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Loseto</surname>
          </string-name>
          , G.:
          <article-title>A semantic-based evolution of EIB Konnex protocol standard</article-title>
          .
          <source>In: IEEE International Conference on Mechatronics (ICM</source>
          <year>2011</year>
          ). pp.
          <fpage>773</fpage>
          -
          <lpage>778</lpage>
          (
          <year>April 2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Ruta</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Scioscia</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Di Sciascio</surname>
          </string-name>
          , E.:
          <article-title>Mobile semantic-based matchmaking: a fuzzy dl approach</article-title>
          .
          <source>In: The Semantic Web: Research and Applications. Proceedings of 7th Extended Semantic Web Conference (ESWC 2010). Lecture Notes in Computer Science</source>
          , vol.
          <volume>6088</volume>
          , pp.
          <fpage>16</fpage>
          -
          <lpage>30</lpage>
          . Springer (
          <year>2010</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Ruta</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Scioscia</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Di Sciascio</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Loseto</surname>
          </string-name>
          , G.:
          <article-title>Semantic-based Enhancement of ISO/IEC 14543-3 EIB/KNX Standard for Building Automation</article-title>
          .
          <source>IEEE Transactions on Industrial Informatics</source>
          <volume>7</volume>
          (
          <issue>4</issue>
          ),
          <fpage>731</fpage>
          -
          <lpage>739</lpage>
          (
          <year>2011</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Ruta</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Scioscia</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Loseto</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <given-names>Di</given-names>
            <surname>Sciascio</surname>
          </string-name>
          ,
          <string-name>
            <surname>E.</surname>
          </string-name>
          :
          <article-title>An Agent Framework for Knowledge-based Homes</article-title>
          .
          <source>In: 3rd International Workshop on Agent Technologies for Energy Systems (ATES</source>
          <year>2012</year>
          )
          <article-title>(2012</article-title>
          , to appear)
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Santofimia</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Moya</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Villanueva</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Villa</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Lopez</surname>
          </string-name>
          , J.:
          <article-title>Intelligent Agents for Automatic Service Composition in Ambient Intelligence</article-title>
          . In: Usmani,
          <string-name>
            <surname>Z</surname>
          </string-name>
          . (ed.)
          <source>Web Intelligence and Intelligent Agents</source>
          , pp.
          <fpage>411</fpage>
          -
          <lpage>428</lpage>
          . InTech (
          <year>2010</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Scioscia</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ruta</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Building a Semantic Web of Things: issues and perspectives in information compression</article-title>
          .
          <source>In: Semantic Web Information Management (SWIM'09)</source>
          .
          <source>In Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC</source>
          <year>2009</year>
          ). pp.
          <fpage>589</fpage>
          -
          <lpage>594</lpage>
          . IEEE Computer Society (
          <year>2009</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Shadbolt</surname>
          </string-name>
          , N.:
          <article-title>Ambient intelligence</article-title>
          .
          <source>Intelligent Systems, IEEE 18</source>
          ,
          <issue>2</issue>
          -
          <fpage>3</fpage>
          (
          <year>July 2003</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>