Sage Journals: Discover world-class research

Abstract

In this paper we introduce a representation and reasoning model for the interpretation of time-series signals of a gas sensor situated in a sensor network. The interpretation process includes inferring high level explanations for changes detected over the gas signals. Inspired from the Semantic Sensor Network (SSN), the ontology used in this work provides an adaptive way of modelling the domain-related knowledge. Furthermore, exploiting (Incremental) Answer Set Programming (ASP) enables a declarative and automatic way of rule definition. Converting the ontology concepts and relations into ASP logic programs, the interpretation process defines a logic program whose answer sets are considered as eventual explanations for the detected changes in the gas sensor signals. The proposed approach is tested in a kitchen environment which contains several objects monitoredby different sensors. The contextual information provided by the sensor network together with high level domain knowledge are used to infer explanations for changes in the ambient air detected by the gas sensors.

Keywords

Semantic sensor ontology non-monotonic reasoning answer set programming knowledge representation

Get full access to this article

View all access options for this article.

References

[1]

Baral, Knowledge Representation, Reasoning, and Declarative Problem Solving, Cambridge University Press, New York, NY, USA, 2003.

[2]

Gelfond and

Lifschitz, The Stable Model Semantics for Logic Programming, ICLP/SLP, MIT Press, Massachusetts, MA, 1988, pp. 1070–1080.

[3]

Baader,

Calvanese,

D.L.

McGuinness,

Nardi and

P.F.

Patel-Schneider (eds), The Description Logic Handbook: Theory, Implementation, and Applications, Cambridge University Press, New York, NY, USA, 2003.

[4]

Compton,

Barnaghi,

Bermudez,

Garcia-Castro,

Corcho,

Cox,

Graybeal,

Hauswirth,

Henson,

Herzog,

Huang,

Janowicz,

Kelsey,

Phuoc,

Lefort,

Leggieri,

Neuhaus,

Nikolov,

Page,

Passant,

Sheth and

Taylor, The SSN ontology of the W3C semantic sensor network incubator group, J. Web Semantics: Science, Services and Agents on the World Wide Web 17 (2012), 25–32, Elsevier.

[5]

Grote, A reactive system for declarative programming of dynamic applications, University of Potsdam, Knowledge Processing and Information Systems, Germany, 2010, pp. 25–32.

[6]

Lefort,

Henson,

Taylor,

Barnaghi,

Compton,

Corcho,

Garcia-Castro,

Graybeal,

Herzog,

Janowicz,

Neuhaus,

Nikolov and

Page, Semantic Sensor Network XG Final Report, Technical report, World Wide Web Consortium, 2011.

[7]

Obitko, Web Ontology Language OWL, http://www.obitko.com/tutorials/ontologies-semantic-web/web-ontology-language-owl.html, 2007.

[8]

Gebser,

Torsten,

Roland and

Torsten, Reactive answer set programming, in: Proc. Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR), Springer Verlag, 2011, pp. 54–66.

[9]

Gebser,

Kaminski,

Kaufmann,

Ostrowski,

Torsten and

Thiele, Engineering an incremental ASP solver, in: Proc. Int. Conf. on Logic Programming (ICLP), Springer, 2008, pp. 190–205.

10.

[10]

Eiter,

Ianni and

Krennwallner, Answer set programming: A primer, in: Reasoning Web, Lecture Notes in Computer Science, Springer, 2009, pp. 40–110.

11.

[11]

Loutfi,

Coradeschi and

Saffiotti, Maintaining coherent perceptual information using anchoring, in: Proc. 19th International Joint Conference on Artificial Intelligence (IJCAI’05), Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2005, pp. 1477–1482.

12.

[12]

Wang and

Barnaghi, Semantic Annotation and Reasoning for Sensor Data, Lecture Notes in Computer Science, Springer, 2009, pp. 66–76.

13.

[13]

Thirunarayan,

Henson and

Sheth, Situation awareness via abductive reasoning from Semantic Sensor data: A preliminary report, in: International Symposium on Collaborative Technologies and Systems (CTS), IEEE, 2009, pp. 111–118.

14.

[14]

Barnaghi,

Ganz,

Henson and

Sheth, Computing perception from sensor data, in: IEEESensors, IEEE Sensors Council, 2012.

15.

[15]

Anand and

Campbell, An infrastructure for context-awareness based on first order logic, Personal and Ubiquitous Computing (2003), 353–364, Springer-Verlag.

16.

[16]

Gebser,

Grote,

Kaminski,

Ph.

Obermeier,

Sabuncu and

Schaub, Stream reasoning with answer set programming: Preliminary report, in: Proc. 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR), AAAI Press, 2012.

17.

[17]

Torresen,

Renton and

A.R.

Jensenius, Wireless sensor data collection based on ZigBee communication, in: Proc. of New Interfaces for Musical Expression++, NIME, 2010, pp. 368–371.

18.

[18]

Alirezaie and

Loutfi, Ontology alignment for classification of low level sensor data, in: Proc. Int. Conf. on Knowledge Engineering and Ontology Development (KEOD), SciTePress, 2012, pp. 89–97.

19.

[19]

Loutfi,

Coradeschi,

Karlsson and

Broxvall, Putting olfaction into action: Using an electronic nose on a multi-sensing mobile robot, in: Proc. Int. Conf. on Intelligent Robots and Systems (IROS), IEEE, 2004, pp. 337–342.

20.

[20]

Baader,

Horrocks and

Sattler, Description logics as ontology languages for the Semantic Web, in: Festschrift in Honor of Jörg Siekmann, Lecture Notes in Artificial Intelligence, Springer, 2003, pp. 228–248.

21.

[21]

O’Connell,

Valdora,

Peltzer and

Negri, A practical approach for fish freshness determinations using a portable electronic nose, Sensors and Actuators B: Chemical (2001), 149–154, Elsevier.

22.

[22]

Penza,

Cassano,

Tortorella and

Zaccaria, Classification of food, beverages and perfumes by {WO3} thin-film sensors array and pattern recognition techniques, Sensors and Actuators B: Chemical (2001), 76–87, Elsevier.

23.

[23]

Trincavelli,

Coradeschi,

Loutfi,

Söderquist and

Thunberg, Direct identification of bacteria in blood culture samples using an electronic nose, IEEE Trans. Biomed. Engineering (2010), 2884–2890, IEEE.

24.

[24]

G.C.

Green,

A.D.C.

Chan and

R.A.

Goubran, Monitoring of food spoilage with electronic nose: Potential applications for Smart Homes, in: Proc. 3rd Int. Conf. on Pervasive Computing Technologies for Healthcare, IEEE, 2009, pp. 1–7.

25.

[25]

Holmberg,

Gustafsson,

Hörnsten,

Winquist,

L.E.

Nilsson,

Ljung and

Lundström, Bacteria classification based on feature extraction from sensor data, Biotechnology Techniques (1998), 319–324, Springer.

26.

[26]

Delpha,

Siadat and

Lumbreras, An electronic nose for the identification of Forane {R134a} in an air conditioned atmosphere, Sensors and Actuators B: Chemical (2000), 243–247, Elsevier.

27.

[27]

R.A.

Fenner and

R.M.

Stuetz, The application of electronic nose technology to environmental monitoring of water and waste water treatment activities, Water Environment Research (1999), 282–289, Water Environment Federation.

28.

[28]

Mileo,

Merico,

Pinardi and

Bisiani, A logical approach to home healthcare with intelligent sensor-network support, The Computer Journal (2010), 1257–1276, Oxford University Press.

29.

[29]

Padovani and

Provetti, Qsmodels: ASP planning in interactive gaming environment, in: Logics in Artificial Intelligence, Springer, 2004, pp. 689–692.

30.

[30]

Coradeschi,

Loutfi and

Wrede, A short review of symbol grounding in robotic and intelligent systems, KI – Künstliche Intelligenz (2013), 129–136, Springer-Verlag.

31.

[31]

Mileo,

Merico and

Bisiani, Support for context-aware monitoring in home healthcare, Journal of Ambient Intelligence and Smart Environments (2010), 49–66, IOS Press.

32.

[32]

Perera,

Zaslavsky,

Christen and

Georgakopoulos, Context aware computing for the Internet of Things: A survey, IEEE Communications Surveys & Tutorials (2014), 414–454, IEEE.

33.

[33]

Sirin,

Parsia,

B.C.

Grau,

Kalyanpur and

Katz, Pellet: A practical OWL-DL reasoner, Web Semant. 5 (2007), 51–53, Elsevier Science Publishers B.V.

34.

[34]

Dentler,

Cornet,

Teije and

Keizer, Comparison of reasoners for large ontologies in the OWL 2 EL profile, Semant. Web. (2001), 71–87, IOS Press.

35.

[35]

Tompits, A survey of non-monotonic reasoning, Open Systems & Information Dynamics (1995), 369–395, Springer.

36.

[36]

Lukasiewicz, A novel combination of answer set programming with description logics for the Semantic Web, IEEE Transactions on Knowledge and Data Engineering (2010), 1577–1592, IEEE Computer Society.