<!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>Semantic-based Social Intelligence through Multi-Agent Systems</article-title>
      </title-group>
      <contrib-group>
        <aff id="aff0">
          <label>0</label>
          <institution>Michele Ruta, Floriano Scioscia, Giuseppe Loseto, Filippo Gramegna, Agnese Pinto, Eugenio Di Sciascio Polytechnic University of Bari - via E. Orabona 4</institution>
          ,
          <addr-line>Bari (I-70125)</addr-line>
          ,
          <country country="IT">Italy</country>
        </aff>
      </contrib-group>
      <fpage>96</fpage>
      <lpage>102</lpage>
      <abstract>
        <p>-Current technologies and market solutions are far from fulfilling the Ambient Intelligence (AmI) vision of simplified people-environment interactions. Even though Despite recent solutions based on Internet of Things (IoT) technologies provide the needed infrastructure, most approaches suffer from inadequate levels of intelligence and autonomy. This paper proposes a novel semantic-based Multi-Agent System (MAS) framework complying with the emerging Social Internet of Things paradigm devoted to improve both automation and adaptivity: device agents self-organize in social relationships, interacting autonomously and sharing information, cooperating and orchestrating ambient resources. A service-oriented architecture allows collaborative dissemination, discovery and composition of service/resource descriptions. Decision and choreography capabilities of software agents leverage Semantic Web languages at the knowledge representation layer and a mobile-oriented implementation of non-standard inferences for semantic matchmaking. Benefits of the proposal are highlighted through an AmI case study in the field of Home and Building Automation (HBA). A comparison with the state of the art is also provided. Index Terms-Semantic Web of Things, Social Agents, Ambient Intelligence, Service Discovery</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>I. INTRODUCTION</title>
      <p>The advent of Social Networking Services (SNSs) has had a
deep impact on how people communicate and interact. Starting
from personal user profiles containing general information,
typical elements of SNSs include: the capability to engage
asymmetrical (e.g., follower/followee) or symmetrical (e.g.,
friendship, group) relationships among users; a personal log
(wall) to post text and/or multimedia items; the possibility to
mark (tag) contacts to draw their attention to a given item,
as well as to append comments and reactions (e.g., like) to
elements published by other users. These basic primitives can
be combined to support several interaction models, granting
users high flexibility in the way they share information,
communicate, collaborate and search for resources of interest.</p>
      <p>
        Endowing autonomous agents with social capabilities can
transfer benefits of SNSs to Multi-Agent Systems (MASs),
particularly to complex, dynamic and loosely coupled ones.
This is the case of Internet of Things (IoT) contexts for
Ambient Intelligence (AmI) [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], where networks of lightweight
agents on highly heterogeneous mobile and embedded devices
provide context-aware, adaptable, unobtrusive and intelligent
support to users’ activities [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. In AmI, the environment should
adapt to changes in external conditions as well as users’
personal preferences and requirements, even anticipating needs
and behaviors. Current solutions available for commercial
and technical use cases are quite far from such levels of
intelligence, automation and adaptivity. A limited flexibility is
possible, as devices are logically associated at the application
level by means of static profiles, defined during systems
deployment. This is also the case of domotics –i.e., Home and
Building Automation (HBA)–, one of the widespread examples
of AmI for environmental control. In most established HBA
standards, solutions are centralized and proprietary: changing
possible configurations or introducing new devices typically
require the intervention of qualified practitioners. Even recent
“smart home” platforms introduced by IT companies still
depend heavily on manual configuration and provide only
rudimentary levels of automation [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ].
      </p>
      <p>
        This paper presents a novel MAS paradigm at the
convergence of the Semantic Web of Things (SWoT) [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ] and
Social Internet of Things (SIoT) [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] visions. IoT devices act
as socially intelligent agents, capable of autonomous
configuration, coordination and orchestration. Interaction patterns
inspired by SNSs allow agents to establish relationships,
share information, exchange requests and services, in a
dynamic, decentralized and collaborative fashion. Agents
exploit Knowledge Representation (KR) technologies borrowed
from the Semantic Web to express and circulate knowledge
about themselves and the context they are dipped in. In
addition, the semantic-based matchmaking implemented in a
resource-efficient mobile engine [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ], on a moderately
expressive fragment of the Web Ontology Language (OWL2) [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ],
supports the social intelligence through discovery, aggregation
and ranking of available social entities. As agents acquire
new knowledge about their context, both their configurations
and the environmental services evolve: the MAS becomes a
social network, where individual device interactions produce
emergent behaviors toward high-level goals, without requiring
explicit user commands. The paper reports on a case study
in the field of HBA: current approaches are compared with
the one proposed here in order to assess possible benefits and
evidence the added value of the proposal.
      </p>
      <p>The remainder of the paper is organized as reported in what
follows: after related work discussion in Section II, Section
III describes the proposed approach. An AmI case study is
presented in Section IV to clarify the proposal, including a
comparison with state-of-the-art technologies for IoT-oriented
HBA. Conclusion in Section V closes the paper.</p>
      <p>II. RELATED WORK</p>
      <p>
        The study in [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ] observed that the majority of SNS users
access them regularly, as they find both enjoyment and
usefulness. Higher numbers of connected users –and in particular
complementary ones [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]– increase opportunities for finding
needed information and services. These benefits can also apply
to social networks of objects, which work as independent
agents and interact for information and resource/service
sharing.
      </p>
      <p>
        One of the earliest examples of social object capabilities can
be found in [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ], a proposal aimed at distributed OWL
Knowledge Base management and reasoning. Upon connection to the
network, embedded devices proactively exchanged information
in a handshake. “Requester” devices, endowed with reasoning
capabilities, allowed users to execute queries, which were
automatically distributed among requester’s “known” devices.
Unfortunately, reasoning capabilities were curbed by the
restrictions of the adopted query language, limiting the practical
interest of supported use cases.
      </p>
      <p>
        The approach proposed in this paper is conceptually close
to [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ], where SIoT has been envisioned as a social evolution
of the Internet of Things, with agentified objects capable of
setting mutual relationships and exploiting them to exchange
information and services, without requiring interactions with
users or human-oriented SNSs. Conversely, earlier efforts such
as [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ] aimed to make objects aware of people’s social context.
Networks of socially intelligent objects were analyzed in [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ],
by defining key metrics about nodes and links, adapted from
the literature on SNSs analysis. An ontology formalized the
definitions, and social objects could use them to manage their
policies, friends and reputation. A further step toward social
agency is object blogging [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ], i.e., an object’s ability to
self-describe autonomously on the Web or in a local area
network to support intelligent interactions. This was previously
explored in RFID contexts [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ] and constitutes an evolution of
proposals requiring human intervention [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ], [
        <xref ref-type="bibr" rid="ref15">15</xref>
        ]. The work
in [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ] identified smartphones as means to put people back in
the loop of ubiquitous autonomous social MASs. Smartphones
are ideal tools for learning about their owners and context, in
order to work as their digital counterparts, exposing dynamic
personalized profiles in the social agent choreography.
Several works have already explored smartphones and wearable
devices to model users’ activities, preferences and contexts
[
        <xref ref-type="bibr" rid="ref17">17</xref>
        ].
      </p>
      <p>
        Semantic-based approaches are not uncommon in AmI
and particularly in domotics. Building automation ontologies
were used for system design and commissioning, device
description, data modeling and access, ambient control [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ].
The ontology-based system in [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ] delivered context-aware
customized information to different kinds of users. Queries
matched device and user descriptions in OWL while rules
implemented temporal and extra-logical constraints,
achieving overall capabilities similar to Complex Event Processing
(CEP) architectures. Nevertheless, integration appears as a
serious limitation, because installing new devices required not
      </p>
      <p>TABLE I</p>
      <p>NETWORK ENTITIES AND SOCIAL FEATURES
Technical feature
Object / Device / Application
Functional profile
Object pairing
Object communication
Object configuration
update/adaptation
Object log
Object command
Object reply
Functionality
activation/deactivation</p>
      <p>
        Social environment
Social agent
Service
Social relationship
(friend/follower)
Social interaction
Distributed service discovery
Wall
Post
Comment
Tag &amp; Like
only manual configuration, but also changes to the reference
ontology. Also the proposals in [
        <xref ref-type="bibr" rid="ref20">20</xref>
        ], [
        <xref ref-type="bibr" rid="ref21">21</xref>
        ] relied on
rulebased reasoning, where the system state should fully match
rule conditions in order to trigger a rule. Unless only
elementary rules are adopted, however, full matches are quite
rare in realistic scenarios, where entities are described by
heterogeneous and often contradictory annotations. Finally, in
[
        <xref ref-type="bibr" rid="ref22">22</xref>
        ] a semantic Service-Oriented Architecture (SOA) enabled
discovery and composition of semantic services. For greater
autonomy and flexibility, in this paper the SOA paradigm
has been coupled with a MAS of socially intelligent agents.
The proposal extends the early conceptual and architectural
elements introduced in [
        <xref ref-type="bibr" rid="ref23">23</xref>
        ].
      </p>
    </sec>
    <sec id="sec-2">
      <title>III. A NETWORK OF SEMANTIC AGENTS</title>
      <p>The proposed approach aims at agent coordination in
purposely infrastructured environments and particularly in
domotics scenarios through interaction paradigms inspired by
social networks. Devices are fully enabled in sharing
resources/services, making decisions, disseminating requests and
gaining responses through a distributed peer-to-peer protocol.
Shared knowledge fragments about devices themselves,
functional profiles and context are advertised via a decentralized
service-oriented architecture. The social relationship and the
discovery models outlined hereafter integrate in a unified
social agent space both single-purpose physical objects and
applications deployed on multi-purpose devices.</p>
      <sec id="sec-2-1">
        <title>A. Framework and architecture for social agents</title>
        <p>Table I highlights basic correspondences of entities and
features in a generic AmI domain to the proposed social MAS
environment. This applies particularly to domotics and HBA.
Every object acts as a social agent: it exposes an individual
profile describing its general features (e.g., device type,
location, hardware details) as well as the resources/services it
can provide through possible configurations. An agent is able
to become friend and/or follower of other agents. According
to the different kinds of interactions described hereafter, it
can write posts on either its wall or friends’ walls when its
settings or capabilities change, and also when it produces new
or updated information after a context analysis. Each post
contains perceptions and events observed by the social agent.
In the proposed SOA-based MAS, it is considered as a request
for system reconfiguration through distributed semantic service
discovery, which can be exploited by:
sensor agents, such as a weather station, which can
observe the environment and share data but don’t have
actuation capabilities;
actuator agents, such as a lamp or a fan, which can react
to environmental changes but have limited or no sensing
facilities: by reading posts, they become aware of current
conditions and activate/deactivate some services;
smart agents, endowed with both sensors and actuators: if
a smart agent does not have all the capabilities needed to
comply with the perceived changes, a discovery process
is started to find peers providing further suitable services,
as described in Section IV-A.</p>
        <p>
          Semantic annotations referred to ontologies in OWL2 [
          <xref ref-type="bibr" rid="ref7">7</xref>
          ]
are used to express agent profiles, service descriptions and
requests. Being formally grounded on Description Logics
(DLs) semantics, they are both machine understandable and
human readable. In particular, this paper refers to the OWL2
fragment corresponding to the ALN (Attributive Language
with unqualified Number restrictions) DL, which supports
standard and non-standard inferences with polynomial
complexity [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ].
        </p>
        <p>
          Decision capabilities of social agents are enacted through
a collaborative service/resource discovery. This process
leverages semantic matchmaking, i.e., the task aimed at
retrieving and ranking the most relevant resources for a given
request, where both requests and resources are satisfiable
concept expressions w.r.t. a common ontology T . Classic
subsumption/satisfiability approach is extended here by means
of the Concept Abduction, Concept Contraction and Concept
Covering [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ] non-standard inference tasks in ALN :
- Concept Contraction: if annotations of a request R and a
given resource S are not compatible (i.e., an explicit clash
arises from their logical conjunction), Contraction determines
what part G (for Give up) of the request is conflicting with
S. If one retracts G from R, a concept K (for Keep) remains,
which is a contracted version of R compatible with S. G
explains “why R and S are not compatible”;
- Concept Abduction: if R and S are compatible, but S does
not satisfy R completely, Abduction determines what should
be hypothesized in S in order to obtain a full match. The
solution H (for Hypothesis) to Abduction explains “what is
requested in R and not specified in S”. By computing penalty
metrics linked to G and H [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ], Contraction and Abduction
further enable a logic-based relevance scoring of a set of
resources w.r.t. a certain request;
- Concept Covering: in AmI scenarios such as domotics, it is
often useful to compose multiple services/resources in order
to satisfy a complex request. Given a request R and a set
of resource instances S = fS1, S2, ... , Sng, Covering finds
out a pair hSc; Hi, where Sc S contains resources whose
aggregation satisfies R as much as possible, while H is the
(possible) remaining part of R not covered by concepts in Sc.
        </p>
        <p>
          The proposed MAS complies with a range of different
scenarios and contexts, because it is inherently
platformindependent and general-purpose. All social features reported
in Table I can be modeled regardless of the particular
application-layer communication protocol. Anyway, a first
implementation has been proposed in [
          <xref ref-type="bibr" rid="ref24">24</xref>
          ] based on the
Constrained Application Protocol (CoAP) [
          <xref ref-type="bibr" rid="ref25">25</xref>
          ], a lightweight
Web of Things protocol for machine-to-machine interaction.
        </p>
      </sec>
      <sec id="sec-2-2">
        <title>B. Semantic-based social network interaction</title>
        <p>In the proposed framework, social agents are distinguished
in two possible families: full ones, able to execute the inference
tasks described above, and basic ones, endowed with low
memory and low (or no) computing capabilities, which can
only provide sensing/acting services, but cannot perform
autonomous reasoning. A pair of agents can engage in two kinds
of social relationships. Through the bidirectional friendship
link, they can exchange both information and services. In
particular, they became able to: (i) read and write on each
other’s wall; (ii) request the friend’s service descriptions; (iii)
activate or deactivate the friend’s services. When becoming
friend with a full agent, a basic agent can select it as semantic
facilitator, i.e., reasoning helper. Conversely, an agent can
follow another one if interested only in receiving updates
published on its wall, i.e., becoming an observer through a
unidirectional relationship.</p>
        <p>Following/friendship criteria are automatically verified by
means of a matchmaking process involving the device profiles.
Two agents are good candidates for friendship if one or more
of the following conditions are met: (i) strong co-location,
i.e., devices are placed in the same room/area; (ii) parental
or co-ownership, i.e., they are from the same manufacturer
or belong to the same owner; (iii) co-working, i.e., they are
able to cooperate closely as they share annotations referred
to the same ontology and provide functionalities related to the
same activity (e.g., room lighting) or observed parameter (e.g.,
indoor temperature). On the other hand, a follower request is
more appropriate in case of: (i) weak or sporadic co-location,
such that information produced by an agent can still be useful
to other ones to characterize their own context, but at the same
time they need/prefer to start independent discovery requests;
(ii) no co-ownership; (iii) weak co-working relationship, i.e.,
direct interactions would have low usefulness, because e.g., the
two agent profiles are incompatible w.r.t. a common reference
ontology, i.e., they are significantly different (note that even
a follower relationship is inappropriate in case of profiles
referring to separate ontologies, as that implies agents belong
to totally different domains, e.g., HBA and healthcare).</p>
        <p>For a broader range of interaction patterns, the framework
also permits being both a friend and a follower of the same
agent: this is useful in highly heterogeneous scenarios. In
any case, a friendship/follow request can be rejected if the
above conditions are not verified or the maximum number
of friends/followers has been reached w.r.t. processing and
memory limits of the invited agent. In practice, however, by
enlarging its social network an agent increases opportunities
for useful cooperation, hence rejections should be infrequent.</p>
        <p>Like in human-oriented SNSs, agents’ walls are the main
knowledge sharing medium. The proposed framework supports
both push and pull models, exploiting the above relationships:
push: if agent Ai wants to receive updates from peer
Aj automatically, it will ask to become a follower. If
accepted, follower Ai will be able to start a distributed
discovery session when it receives a notification of a new
post or comment on the wall of the followed agent Aj ;
pull: if Ai wants to access Aj ’s wall on demand, it
will ask to become a friend. By doing so, Ai will also
automatically grant Aj access to its own wall. Then Ai
will perform semantic matchmaking if Aj writes a post
on Ai’s wall, during a collaborative covering as reported
in Figure 1.</p>
        <p>Each agent will choose a model –or even both– based on its
goals and strategies. These elements are relevant and conform
to the general behavior policy of the MAS, anyway they are
outside the scope of the paper.</p>
        <p>
          When an agent detects an event (e.g., a change in internal or
environmental parameters) and conditions require adaptation –
i.e., modification to the functional configuration of itself and/or
of nearby devices– it will write a post on its wall. As these
trigger mechanisms are fundamentally domain-dependent and
application-oriented, the framework does not prescribe specific
solutions. In any case, the written post P will consist of a
pair hR; Li, where R is the request issued by the node –
expressed as a semantic annotation w.r.t. a reference ontology–
and L is the like value. The like reaction to a post has been
mutuated from human-oriented SNSs, but in the proposed
approach it is a real value in [0; 1] instead of a Boolean
value. It represents the coverage ratio of request R, as resulting
from Concept Covering in the collaborative service discovery
process. Specifically, if U is the uncovered part returned by
the Concept Covering of R with a set of available services,
the associated like value is computed as L = 1 nnoorrmm((UR))
using the norm on concept expressions described in [
          <xref ref-type="bibr" rid="ref6">6</xref>
          ]. An
example of the whole process is in Figure 1, composed of the
following steps:
1) When an agent Ai detects a reconfiguration is needed, it
writes a post Pi on its own wall. Li is initialized to 0.
2) If Ai is a basic device, go to step 3. Otherwise, Ai executes
the Concept Covering task on the local set of service
annotations S (Section III-A). Ai activates the selected services
and adds a comment Ci to Pi as a pair hUi; Tii, where Ui
is the uncovered part of Ri and Ti tags the selected local
services/resources. Moreover, the value of Li is updated as
per the above formula.
3) If Ri is not completely covered, Ai selects a friend Aj and
writes a post Pj =hRj ; Lj i) on its wall. Particularly, if Ai has
executed step 2, Rj is set to the uncovered part Ui, otherwise
Rj is equal to Ri and Lj is 0. Writing Pj on the friend’s
wall automatically implies that Ai must be notified when a
comment is added to the post. Aj recursively executes the
steps 2) - 3).
4) When Ai receives the notification of Pj , it reads the
comment from the friend’s wall and appends it to Pi in order
to update the status of the request. Finally, Ai updates the like
value accordingly.
        </p>
        <p>The choice of friend(s) to call in the above step 3 basically
depends on heuristic preference criteria, such as the number
and type of services exposed by the friend (known at friendship
establishment time), network latency or friend’s computational
resources.</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>IV. CASE STUDY: FROM OBJECTS TO AGENTS FOR</title>
      <p>AMBIENT INTELLIGENCE</p>
      <p>The case study presented here would clarify the social
and collaborative potentialities of the proposed MAS
framework. To this aim, a specific scenario is targeted: the
selforchestration capability of agentified home devices allows to
evidence the AmI capabilities of the above approach.</p>
      <sec id="sec-3-1">
        <title>A. Illustrative example</title>
        <p>Figure 2 depicts the reference testbed recalling the case
study; a house contains a social network of semantic-enabled
AS_Request: (detectsOutdoorLuminosityCondition some)
and (detectsOutdoorLuminosityCondition only
LowLuminosityCondition) and (detectsIntrusionEvent
some) and (detectsIntrusionEvent only
IntrusionEvent) and (detectsOccupancyCondition some)
and (detectsOccupancyCondition only (not
OccupantPresence))
F ull_Close: (detectsPrecipitationCondition some) and
(detectsPrecipitationCondition only Rain) and
(detectsWindCondition some) and
(detectsWindCondition only StrongWind) and
(detectsIntrusionEvent some) and
(detectsIntrusionEvent only
IntrusionEventForShutter) and
(detectsOccupancyCondition some) and
(detectsOccupancyCondition (not OccupantPresence))
Lamp_On: (detectsOutdoorLuminosityCondition some)
and (detectsOutdoorLuminosityCondition only
LowLuminosityCondition) and (detectsIntrusionEvent
some) and (detectsIntrusionEvent only
IntrusionEventForLamp)
Lamp_Medium: (detectsOutdoorLuminosityCondition
some) and (detectsOutdoorLuminosityCondition only
MediumLuminosityCondition) and
(detectsOccupancyCondition some) and
(detectsOccupancyCondition only OccupantPresence)
Lamp_Off: (detectsOutdoorLuminosityCondition some)
and (detectsOutdoorLuminosityCondition only
HighLuminosityCondition) and
(detectsOccupancyCondition some) and
(detectsOccupancyCondition only (not
OccupantPresence))
Half_Close: (detectsPrecipitationCondition some) and
(detectsPrecipitationCondition only (not Rain)) and
(detectsWindCondition some) and
(detectsWindCondition only ModerateWind)
listed in Figure 4, Concept Covering selects only
the Full Close service, provided by SC: this is
Open: (detectsPrecipitationCondition some) and basically due to commonality with the request
(detectsPrecipitationCondition only (not Rain)) and of concepts (detectsOccupancyCondition
(((dddeeettteeeccctttsssOWWuiitnndddoCCooornnLdduiimttiiinooonnsiostnoylmCyeo)nLdaiingtdhitoBnreeszoem)e)aanndd s(noomte)OccupaanndtPrese(ndceet)e)ctsOc(sceurvpiacencyCdoensdcriipttiioonns
(detectsOutdoorLuminosityCondition only provided by the air conditioner are not reported because it
HighLuminosityCondition) does not offer any useful feature). AS comments its post
Fig. 4. Shutter controller SC service annotations including both a tag to the Full Close shutter service and
the uncovered part of the request. In order to further cover
the post, AS can select one of its friends and forward
agents embedded in the following devices: an alarm system the uncovered part. Since SC has provided the highest
(AS), a rolling shutter controller (SC), an air conditioner (AC) contribution in the first covering step, AS posts on SC’s
and a dimmer lamp (L). The blue arrows in Figure 2 specify wall the OWL2 annotation of the uncovered part, reported in
the existing friendship relations between the above agents. Figure 6. When SC receives the message, it recursively starts</p>
        <p>According to the criteria suggested in Section III-B, the a covering process, which involves the services exposed by
agents set friendship relations because they are in the same its friend L (Figure 5). The Covering inference task selects
location and share functionalities useful to improve comfort the Lamp On service, which completely covers the remaining
or security in the house. Not all agent pairs are friends: in part of the initial request. SC therefore comments the post on
particular, Figure 2 shows L befriends SC only. Besides, each its wall by tagging the activated service and updating the like
agent has embedded sensing and/or actuating capabilities and value to 1. Further agents do not need to be involved, as the
exposes a set of functional profiles to its friends. request is fully satisfied. Finally, AS receives a notification of</p>
        <p>
          Let us suppose it is evening and AS detects an intrusion the comment to its post on SC’s wall, it reads the comment
while there is nobody in the house. AS writes a new post and sees the initial request has been completely fulfilled. As
on its wall, representing what it has sensed as an OWL2 a consequence, it updates the like value of the post on its
annotation. Figure 3 shows a formalization of the post in wall and the discovery process stops. The house has changed
OWL2 Manchester syntax [
          <xref ref-type="bibr" rid="ref26">26</xref>
          ]. Service requests and descrip- its configuration by closing shutters and switching the lamp
tions are expressed w.r.t. the reference ontology (not reported on reacting to the intrusion alert.
due to space constraints), by specifying the context conditions
suitable for the activation of a given service. Then AS starts AS_Req_Uncovered: (detectsOutdoorLuminosityCondition
a Concept Covering process using the content of the post as sLoomweL)umainndos(idteytCeocntdsiOtuitodno)oraLnudmi(ndoestietcytCsoInndtirtuisoinonoEnvelynt
request, while services are taken from AS’s cache of available some) and (detectsIntrusionEvent only
functionalities exposed by all its direct friends, i.e., SC and IntrusionEventForLamp)
AC. Freshness of cache entries is checked via preliminary Fig. 6. OWL2 annotation of the uncovered part of AS Request
conditional requests: a service annotation will be retrieved
again only if it has been updated, otherwise AS can directly It is useful to point out that the Intrusion class was
use the cached copy. This procedure guarantees the covering defined as more specific than both IntrusionForLamp and
task is performed using the latest descriptions of all available IntrusionForShutter, i.e., it should require services
services. both from a lamp and a shutter controller. Such a
modelAccording to the semantic service descriptions ing pattern allows activating functionalities (Full Close and
Lamp On) of different devices that are fired when the same
event is detected.
        </p>
        <p>The above example has been kept simple for the sake of
clarity, with relatively short service annotations and purely
reactive MAS behavior. Notwithstanding, the adopted inferences
allow managing more articulated specifications with detailed
constraints. Moreover, the proposed approach fully supports
proactive agents, which can fire periodic or sporadic internal
events to trigger collaborative service discovery and MAS
configuration updates. Finally, the small MAS described in
the example can be federated with other MASs in nearby
zones (e.g., of adjacent houses) by means of social interaction
capabilities, ensuing from the possibility to establish friendship
or follower relationships between agents across zones. This
allows taking advantage of sensing/acting capabilities of a
larger agent pool, as well as compensating possible deficits
of individual agents and zones reaching a concrete ambient
intelligence in real-life significant scenarios.</p>
      </sec>
      <sec id="sec-3-2">
        <title>B. Evaluation</title>
        <p>
          In order to assess both peculiarities and capabilities of
the proposed semantic-based social MAS, a systematic
comparison with existing IoT-oriented AmI approaches has been
carried out. Particularly, HBA platforms have been selected
as reference systems. In more detail, the following solutions
have been considered: KNX IoT1; IzoT Platform2, originally
developed by Echelon Corporation for the Industrial IoT but
also exploited for HBA applications; Dog Gateway3 [
          <xref ref-type="bibr" rid="ref20">20</xref>
          ];
Eclipse SmartHome4.
        </p>
        <p>Table II highlights most relevant elements: it emerges that,
to the best of our knowledge, only the approach proposed
1http://www.knx.org/knx-en/Landing-Pages/KNX-IoT
2http://www.echelon.com/izot-platform
3http://dog-gateway.github.io/
4http://www.eclipse.org/smarthome/index.html
here fully complies with resource-constrained scenarios (by
supporting a P2P architecture and lightweight protocols such
as CoAP). Another distinguishing feature is a certain
expressiveness in the possibility of device description and modeling
(by adopting semantically rich formalisms as OWL 2). Finally,
noteworthy is the support for an articulated discovery through
both exact and approximated matches formally grounded on
service/resource composition.</p>
        <p>
          Quantitative performance results of the proposed approach
are not provided here, but the semantic service discovery and
orchestration based on Concept Covering is arguably the most
computationally demanding task, while social relationship
management is not resource-intensive. Results obtained in
[
          <xref ref-type="bibr" rid="ref23">23</xref>
          ] for an earlier version of this framework allow optimistic
expectations about feasibility on IoT device networks and
compatibility with performance requirements of HBA and AmI
scenarios.
        </p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>V. CONCLUSION</title>
      <p>The paper proposed a novel semantic-based social MAS
framework. Though presented in a HBA scenario, features
and approach are general-purpose and target several possible
Ambient Intelligence records. The application domains are
basically inherited from ontologies modeling the reference
implementation.</p>
      <p>The proposed approach enables autonomic agent interaction
and a semantic-enhanced service/resource discovery grounded
on the formal annotation of devices, environment and
phenomena. A case study and a comparison with state- of-the-art
techniques help highlighting peculiarities of the proposal.</p>
      <p>Future work will include further investigation and extension
of the social presence capabilities of agents, as well as novel
interaction patterns. A full prototypical implementation is
expected to evidence possible optimization directions and
scalability concerns. Finally, graphical visualizations of devices’
walls are being implemented.</p>
      <p>ACKNOWLEDGEMENTS
This work was supported in part by Italian PON project ERHA
(Enhanced Radioteraphy with HAdrons).</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>C.</given-names>
            <surname>Savaglio</surname>
          </string-name>
          , G. Fortino,
          <string-name>
            <given-names>M.</given-names>
            <surname>Ganzha</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Paprzycki</surname>
          </string-name>
          , C. Ba˘dica˘, and
          <string-name>
            <given-names>M.</given-names>
            <surname>Ivanovic</surname>
          </string-name>
          ´, “
          <article-title>Agent-Based Computing in the Internet of Things: A Survey,</article-title>
          ” in
          <source>International Symposium on Intelligent and Distributed Computing</source>
          . Springer,
          <year>2017</year>
          , pp.
          <fpage>307</fpage>
          -
          <lpage>320</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>F.</given-names>
            <surname>Sadri</surname>
          </string-name>
          , “
          <article-title>Ambient intelligence: A survey,” ACM Computing Surveys (CSUR)</article-title>
          , vol.
          <volume>43</volume>
          , no.
          <issue>4</issue>
          , p.
          <fpage>36</fpage>
          ,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>W.</given-names>
            <surname>Kastner</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Krammer</surname>
          </string-name>
          ,
          <article-title>and</article-title>
          <string-name>
            <given-names>A.</given-names>
            <surname>Fernbach</surname>
          </string-name>
          , “
          <article-title>State of the Art in Smart Homes</article-title>
          and Buildings,” in Industrial Communication Technology Handbook, 2nd ed., R. Zurawski, Ed. CRC Press/Taylor &amp; Francis,
          <year>2014</year>
          , ch. 55, pp.
          <fpage>1415</fpage>
          -
          <lpage>1434</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>M.</given-names>
            <surname>Ruta</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Scioscia</surname>
          </string-name>
          , and E. Di Sciascio, “
          <article-title>Enabling the Semantic Web of Things: Framework and Architecture,” in Semantic Computing (ICSC</article-title>
          ),
          <source>2012 IEEE Sixth International Conference on. IEEE</source>
          ,
          <year>2012</year>
          , pp.
          <fpage>345</fpage>
          -
          <lpage>347</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>L.</given-names>
            <surname>Atzori</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Iera</surname>
          </string-name>
          , and G. Morabito, “From ”Smart Objects” to ”Social Objects”:
          <article-title>The next evolutionary step of the Internet of Things,” Communications Magazine</article-title>
          , IEEE, vol.
          <volume>52</volume>
          , no.
          <issue>1</issue>
          , pp.
          <fpage>97</fpage>
          -
          <lpage>105</lpage>
          ,
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>F.</given-names>
            <surname>Scioscia</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Ruta</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            <surname>Loseto</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Gramegna</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Ieva</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Pinto</surname>
          </string-name>
          , and E. Di Sciascio, “
          <article-title>Mini-ME matchmaker and reasoner for the Semantic Web of Things,” in Innovations, Developments, and Applications of Semantic Web and Information Systems</article-title>
          .
          <source>IGI Global</source>
          ,
          <year>2018</year>
          , pp.
          <fpage>262</fpage>
          -
          <lpage>294</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>B.</given-names>
            <surname>Parsia</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Rudolph</surname>
          </string-name>
          ,
          <string-name>
            <surname>M.</surname>
          </string-name>
          <article-title>Kr o¨tzsch, P. Patel-Schneider, and</article-title>
          <string-name>
            <given-names>P.</given-names>
            <surname>Hitzler</surname>
          </string-name>
          , “OWL 2
          <string-name>
            <given-names>Web</given-names>
            <surname>Ontology Language Primer (Second Edition</surname>
          </string-name>
          ),”
          <fpage>W3C</fpage>
          , W3C Recommendation, Dec.
          <year>2012</year>
          , http://www.w3.org/TR/owl2-primer.
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>K.-Y.</given-names>
            <surname>Lin and H.-P. Lu</surname>
          </string-name>
          , “
          <article-title>Why people use social networking sites: An empirical study integrating network externalities and motivation theory,” Computers in Human Behavior</article-title>
          , vol.
          <volume>27</volume>
          , no.
          <issue>3</issue>
          , pp.
          <fpage>1152</fpage>
          -
          <lpage>1161</lpage>
          ,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>B.</given-names>
            <surname>Ramis Ferrer</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Iarovyi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Gonzalez</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Lobov</surname>
          </string-name>
          , and
          <string-name>
            <given-names>J. L.</given-names>
            <surname>Martinez</surname>
          </string-name>
          <string-name>
            <surname>Lastra</surname>
          </string-name>
          , “
          <article-title>Management of distributed knowledge encapsulated in embedded devices</article-title>
          ,”
          <source>International Journal of Production Research</source>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>18</lpage>
          ,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>G.</given-names>
            <surname>Biamino</surname>
          </string-name>
          , “
          <article-title>A semantic model for socially aware objects</article-title>
          ,
          <source>” Advances in Internet of Things</source>
          , vol.
          <year>2012</year>
          ,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>O.</given-names>
            <surname>Voutyras</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Bourelos</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Gogouvitis</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Kyriazis</surname>
          </string-name>
          , and T. Varvarigou, “
          <article-title>Social monitoring and social analysis in internet of things virtual networks,” in Intelligence in Next Generation Networks (ICIN</article-title>
          ),
          <year>2015</year>
          18th International Conference on. IEEE,
          <year>2015</year>
          , pp.
          <fpage>244</fpage>
          -
          <lpage>251</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>G.</given-names>
            <surname>Capurso</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Ruta</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Scioscia</surname>
          </string-name>
          , and E. Di Sciascio, “
          <string-name>
            <surname>Object</surname>
          </string-name>
          (
          <article-title>B)logging: Semantic Self-Description for Cyber-Physical Systems,” in Proceedings of the Doctoral Consortium</article-title>
          , Challenge, Industry Track, Tutorials and Posters @
          <source>RuleML+RR</source>
          <year>2017</year>
          ,
          <article-title>ser</article-title>
          .
          <source>CEUR Workshop Proceedings, July</source>
          <year>2017</year>
          , vol.
          <year>1875</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <surname>R. De Virgilio</surname>
            ,
            <given-names>E. Di</given-names>
          </string-name>
          <string-name>
            <surname>Sciascio</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          <string-name>
            <surname>Ruta</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          <string-name>
            <surname>Scioscia</surname>
            , and
            <given-names>R.</given-names>
          </string-name>
          <string-name>
            <surname>Torlone</surname>
          </string-name>
          , “
          <article-title>Semantic-based RFID Data Management,” in Unique Radio Innovation for the 21st Century: Building Scalable and Global RFID Networks</article-title>
          . Springer,
          <year>2011</year>
          , pp.
          <fpage>111</fpage>
          -
          <lpage>142</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>J.</given-names>
            <surname>Bleecker</surname>
          </string-name>
          , “
          <article-title>A Manifesto for Networked Objects Cohabiting with Pigeons, Arphids and Aibos in the Internet of Things,” in HumanComputer Interaction with Mobile Devices</article-title>
          and Services, International Conference on,
          <year>2006</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>S.</given-names>
            <surname>Benford</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Hazzard</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Chamberlain</surname>
          </string-name>
          , and L. Xu, “
          <article-title>Augmenting a guitar with its digital footprint,” in New Interfaces for Musical Expression</article-title>
          , 15th International Conference on,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [16]
          <string-name>
            <given-names>J.</given-names>
            <surname>Miranda</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Makitalo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Garcia-Alonso</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Berrocal</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Mikkonen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Canal</surname>
          </string-name>
          , and
          <string-name>
            <given-names>J. M.</given-names>
            <surname>Murillo</surname>
          </string-name>
          , “
          <article-title>From the Internet of Things to the Internet of People,” Internet Computing</article-title>
          , IEEE, vol.
          <volume>19</volume>
          , no.
          <issue>2</issue>
          , pp.
          <fpage>40</fpage>
          -
          <lpage>47</lpage>
          ,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          [17]
          <string-name>
            <given-names>V.</given-names>
            <surname>Pejovic</surname>
          </string-name>
          and
          <string-name>
            <given-names>M.</given-names>
            <surname>Musolesi</surname>
          </string-name>
          , “
          <article-title>Anticipatory mobile computing: A survey of the state of the art</article-title>
          and research challenges,
          <source>” ACM Computing Surveys (CSUR)</source>
          , vol.
          <volume>47</volume>
          , no.
          <issue>3</issue>
          , p.
          <fpage>47</fpage>
          ,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          [18]
          <string-name>
            <given-names>J.</given-names>
            <surname>Ploennigs</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Hensel</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Dibowski</surname>
          </string-name>
          , and
          <string-name>
            <given-names>K.</given-names>
            <surname>Kabitzsch</surname>
          </string-name>
          , “
          <article-title>BASont - A modular, adaptive building automation system ontology,”</article-title>
          <source>in IECON 2012-38th Annual Conference on IEEE Industrial Electronics Society. IEEE</source>
          ,
          <year>2012</year>
          , pp.
          <fpage>4827</fpage>
          -
          <lpage>4833</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          [19]
          <string-name>
            <given-names>Y.</given-names>
            <surname>Evchina</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Puttonen</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Dvoryanchikova</surname>
          </string-name>
          , and
          <string-name>
            <given-names>J. L. M.</given-names>
            <surname>Lastra</surname>
          </string-name>
          , “
          <article-title>Context-aware knowledge-based middleware for selective information delivery in data-intensive monitoring systems</article-title>
          ,
          <source>” Engineering Applications of Artificial Intelligence</source>
          , vol.
          <volume>43</volume>
          , pp.
          <fpage>111</fpage>
          -
          <lpage>126</lpage>
          ,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          [20]
          <string-name>
            <given-names>D.</given-names>
            <surname>Bonino</surname>
          </string-name>
          , E. Castellina, and
          <string-name>
            <given-names>F.</given-names>
            <surname>Corno</surname>
          </string-name>
          , “
          <article-title>The DOG gateway: enabling ontology-based intelligent domotic environments</article-title>
          ,
          <source>” IEEE Transactions on Consumer Electronics</source>
          , vol.
          <volume>54</volume>
          , no.
          <issue>4</issue>
          , pp.
          <fpage>1656</fpage>
          -
          <lpage>1664</lpage>
          ,
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          [21]
          <string-name>
            <given-names>L.</given-names>
            <surname>Mainetti</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Mighali</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Patrono</surname>
          </string-name>
          , and
          <string-name>
            <given-names>P.</given-names>
            <surname>Rametta</surname>
          </string-name>
          , “
          <article-title>A novel rule-based semantic architecture for iot building automation systems,” in Software, Telecommunications and Computer Networks (SoftCOM</article-title>
          ),
          <source>2015 23rd International Conference on. IEEE</source>
          ,
          <year>2015</year>
          , pp.
          <fpage>124</fpage>
          -
          <lpage>131</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          [22]
          <string-name>
            <given-names>S. N.</given-names>
            <surname>Han</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G. M.</given-names>
            <surname>Lee</surname>
          </string-name>
          , and
          <string-name>
            <given-names>N.</given-names>
            <surname>Crespi</surname>
          </string-name>
          , “
          <article-title>Semantic context-aware service composition for building automation system</article-title>
          ,
          <source>” IEEE Transactions on Industrial Informatics</source>
          , vol.
          <volume>10</volume>
          , no.
          <issue>1</issue>
          , pp.
          <fpage>752</fpage>
          -
          <lpage>761</lpage>
          ,
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref23">
        <mixed-citation>
          [23]
          <string-name>
            <given-names>M.</given-names>
            <surname>Ruta</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Scioscia</surname>
          </string-name>
          , G. Loseto, and E. Di Sciascio, “
          <article-title>A semantic-enabled social network of devices for building automation</article-title>
          ,
          <source>” IEEE Transactions on Industrial Informatics</source>
          , vol.
          <volume>13</volume>
          , no.
          <issue>6</issue>
          , pp.
          <fpage>3379</fpage>
          -
          <lpage>3388</lpage>
          , dec
          <year>2017</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref24">
        <mixed-citation>
          [24]
          <string-name>
            <given-names>M.</given-names>
            <surname>Ruta</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Scioscia</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            <surname>Loseto</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Gramegna</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Ieva</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Pinto</surname>
          </string-name>
          , and E. Di Sciascio, “
          <article-title>Social Internet of Things for Domotics: a Knowledgebased Approach over LDP-CoAP,”</article-title>
          <source>Semantic Web</source>
          ,
          <year>2018</year>
          , in press.
        </mixed-citation>
      </ref>
      <ref id="ref25">
        <mixed-citation>
          [25]
          <string-name>
            <given-names>C.</given-names>
            <surname>Bormann</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A. P.</given-names>
            <surname>Castellani</surname>
          </string-name>
          , and
          <string-name>
            <given-names>Z.</given-names>
            <surname>Shelby</surname>
          </string-name>
          , “
          <article-title>Coap: An application protocol for billions of tiny internet nodes,” Internet Computing</article-title>
          , IEEE, vol.
          <volume>16</volume>
          , no.
          <issue>2</issue>
          , pp.
          <fpage>62</fpage>
          -
          <lpage>67</lpage>
          ,
          <year>2012</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref26">
        <mixed-citation>
          [26]
          <string-name>
            <given-names>M.</given-names>
            <surname>Horridge</surname>
          </string-name>
          and
          <string-name>
            <given-names>P. F.</given-names>
            <surname>Patel-Schneider</surname>
          </string-name>
          , “OWL 2
          <string-name>
            <given-names>Web</given-names>
            <surname>Ontology Language Manchester Syntax (Second Edition</surname>
          </string-name>
          ),”
          <fpage>W3C</fpage>
          , W3C Working Group Note, Dec.
          <year>2012</year>
          , https://www.w3.org/TR/owl2-manchester-syntax/.
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>