Using Formal Concept Analysis for Organizing and Discovering Sensor Capabilities

Smart environments rely on sensor data to provide necessary business intelligence in order to support decision-making. An efficient decision support model in such a context requires that sensor data are provided correctly and timely. Given the dynamicity of sensor environment, the diversity of their features and of user requirements, finding appropriate sensors having the required capabilities or replacing faulty ones constitutes a challenging task. Efficiently describing and organizing sensors in smart environments is essential to deliver a rapid adaptation to errors and availability of data. In this paper, we present an approach for organizing and indexing sensor services based on their capabilities. We introduce a feature-oriented capability model that puts forward the functional aspects of carried actions and model them as resource description framework (RDF) properties rather than focusing on the change in the state of the world. Using this model for describing sensor capabilities, we apply Formal Concept Analysis for organizing and indexing sensor services. We have experimented and evaluated our approach in the Digital Enterprise Research Institute, which has been retrofitted with various sensors to monitor temperature, motion, light and consumption of power within a building.

[1]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[2]  Arthur H. M. ter Hofstede,et al.  Capabilities: Describing What Services Can Do , 2003, ICSOC.

[3]  Jun Zhang,et al.  Simlarity Search for Web Services , 2004, VLDB.

[4]  Jos de Bruijn,et al.  Web Service Modeling Ontology , 2005, Appl. Ontology.

[5]  Matthias Klusch,et al.  Automated semantic web service discovery with OWLS-MX , 2006, AAMAS '06.

[6]  Jacek Kopecky,et al.  Semantic Annotations for WSDL , 2007 .

[7]  David L. Martin,et al.  Bringing Semantic Annotations to Web Services: OWL-S from the SAWSDL Perspective , 2007, ISWC/ASWC.

[8]  Vilém Vychodil,et al.  Background knowledge in formal concept analysis: constraints via closure operators , 2010, SAC '10.

[9]  I. Melzer Web Services Description Language , 2010 .

[10]  Zhangbing Zhou,et al.  Service Protocol Replaceability Assessment in Mediated Service Interactions , 2011, 2011 IEEE International Conference on Communications (ICC).

[11]  Maciej Zaremba,et al.  Modelling Capabilities as Attribute-Featured Entities , 2012, WEBIST.

[12]  Feng Gao,et al.  Ubiquitous Service Capability Modeling and Similarity Based Searching , 2012, WISE Workshops.

[13]  Edward Curry,et al.  Enterprise energy management using a linked dataspace for Energy Intelligence , 2012, 2012 Sustainable Internet and ICT for Sustainability (SustainIT).

[14]  Samir Tata,et al.  Assessing the replaceability of service protocols in mediated service interactions , 2013, Future Gener. Comput. Syst..

[15]  Sami Bhiri,et al.  Modelling, interlinking and discovering capabilities , 2013, 2013 ACS International Conference on Computer Systems and Applications (AICCSA).

[16]  Edward Curry,et al.  Linking building data in the cloud: Integrating cross-domain building data using linked data , 2013, Adv. Eng. Informatics.

[17]  Edward Curry,et al.  Approximate Semantic Matching of Events for the Internet of Things , 2014, ACM Trans. Internet Techn..