1. Interoperation Modeling for Intelligent DomoticEnvironments Dario Bonino, FulvioCorno Politecnicodi Torino – e-Lite group

2. Outline Motivations Device Modeling Interconnection & Interoperation Integration in DOG Conclusions 19/11/2009 2 Interoperation Modeling for IDE, Dario Bonino - AmI'09

3. Motivations Poor interoperation between domotic plants No real standard support KNX should be a European standard, but Not free / open Several manufacturers providing their own solutions Network level bridges Address only 2-way connections Proprietary solution mostly master-slave Research solutions Mainly service based Often require excessive duplication/replication No Formal definition of Interoperation Not tested/deployed on real domotic plants 19/11/2009 3 Interoperation Modeling for IDE, Dario Bonino - AmI'09

4. Intelligent Domotic Environment 19/11/2009 4 Interoperation Modeling for IDE, Dario Bonino - AmI'09

5. Domotic Environment Modeling DogOnt [ISWC08] Ontology-based formal modeling of domotic environments (OWL) Technology independent device modeling Formally represents interoperation semantics through relations [AMI09] Supports automatic generation of interoperation rules [TCE09] 5

6. Goal 19/11/2009 Interoperation Modeling for IDE, Dario Bonino - AmI'09 6 Provide system designers with high-level, declarative view of interoperation strategies To formally describe intercommunication between devices OWL representation of device connections Allow semantic query and reasoning Modeling detail sufficient to support automatic generation of interoperation rules Independence from network-specific issues

7. DogOnt – Device Model 19/11/2009 7 Interoperation Modeling for IDE, Dario Bonino - AmI'09

8. Device Interconnection 8 has Functionality has Functionality Dimmer Lamp Dimmer Lamp has Functionality has Functionality LightRegulation Functionality LightRegulation Functionality OnOff Functionality OnOff Functionality has Command has Command controlledObject has Command has Command Set Command Set Command Off Command Off Command Set(50%) OnOff Switch Off generatesCommand generatesCommand has Functionality On OnNotification Off OffNotification OnOffNotification Functionality has Notification has Notification

9. Interoperation Whenever Devices are not connected to the same network Devices are not “speaking” the same protocol Implemented through Automatic Rule Generation DOG Domotic OSGi Gateway 19/11/2009 9 Interoperation Modeling for IDE, Dario Bonino - AmI'09

10. Automatic Rule Generation SELECT DISTINCT ?x ?y ?v ?cv WHERE { ?x a Controllable . ?y a Controllable . ?x controlledObject ?y . ?x hasFunctionality ?f. ?f hasNotification ?n . ?n notificationValue ?v. ?n generatesCommand ?c . ?d hasFunctionality ?f2. ?f2 dogont:hasCommand ?c . ?c rdf:type ?class . ?class rdfs:subClassOf DiscreteCommand . ?class rdfs:subClassOf [rdf:type owl:Restriction; owl:onProperty realCommandName; owl:hasValue ?cv] } rule “interoperation_rule_x” when rulesCore:DogRulesBundle() dev:Device( id==rulesCore:get(?x)) cmd:StateCommand(state==rulesCore:get(?v)) status:DeviceStatus( status==cmd, device==dev) message: DogMessage(dType==DEVICE_STATUS, data== status) then Device newDev = new Device(rulesCore:get(?y)) DeviceStatus newStatus = newDeviceStatus(newDev, new StateCommand(rulesCore.get(?cv),DISCRETE)) DogMessagemyCmd = new DogMessage(CMD,newGregorianCalendar(), message.getDataType(), newStatus) rulesCore.takeActions(myCmd) OWL Matching (SPARQL) Generated Rules (DROOLs) 19/11/2009 10 Interoperation Modeling for IDE, Dario Bonino - AmI'09

11. Integration in DOG DOG 19/11/2009 11 Interoperation Modeling for IDE, Dario Bonino - AmI'09

12. Experimental Setup Real world benchmark 2 demo cases equipped with MyOpen KNX Associations between all control (buttons/switches) and controllable (lamps) 58 automatically generated rules Time required ~ 50 ms Negligible runtime latency 19/11/2009 12 Interoperation Modeling for IDE, Dario Bonino - AmI'09

13. Conclusions We designed an ontology-based solution for device-to-device interoperation Explicitly modeling interconnections supports Higher-level design of automation scenarios Automatic generation of rules More advanced features E.g. Dynamic composition of device functions DOG integration Allows ready exploitation of designed solutions Download at http://domoticdog.sourceforge.net 19/11/2009 13 Interoperation Modeling for IDE, Dario Bonino - AmI'09

14. Dario Bonino dario.bonino@polito.it http://domoticdog.sourceforge.net Questions? 19/11/2009 14 Interoperation Modeling for IDE, Dario Bonino - AmI'09