Integration of an Answer Set Engine to Smart-M3

We present our work in integrating an answer-set engine smodels to Smart-M3 interoperability platform. This gives user a possiblity of programming and trialing logic program reasoning in Smart-M3 environment. The smodels programming model guarantees that evaluation of rules is terminating. We add reactive features on top of the answer-set programming model and discuss its implications.

[1]  Jeff Z. Pan,et al.  Resource Description Framework , 2020, Definitions.

[2]  Frank van Harmelen,et al.  Web Ontology Language , 2004 .

[3]  Ian Oliver,et al.  Smart Spaces for Ubiquitously Smart Buildings , 2009, 2009 Third International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies.

[4]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[5]  Ian Oliver,et al.  Determining Information Signatures in Smart Spaces , 2009, 2009 IEEE International Conference on Semantic Computing.

[6]  Ilkka Niemelä,et al.  Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP , 1997, LPNMR.

[7]  Wolfgang Faber,et al.  Logic Programming and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.

[8]  Alexander V. Smirnov,et al.  Anonymous Agent Coordination in Smart Spaces: State-of-the-Art , 2009, NEW2AN.

[9]  Ronald Brown,et al.  Cross-Domain Interoperability: A Case Study , 2009, NEW2AN.

[10]  Ora Lassila,et al.  Programming Semantic Web applications : a synthesis of knowledge representation and semi-structured data , 2007 .

[11]  Sergey Balandin,et al.  Smart Spaces and Next Generation Wired/Wireless Networking , 2009, Lecture Notes in Computer Science.

[12]  Michiel Hildebrand,et al.  Prolog as the Fundament for Applications on the Semantic Web , 2007, ALPSWS.