{"title":"Checkable Domain Management with Ontology and Rules","authors":"Atif Alvi, D. Greaves","doi":"10.1109/ICIW.2008.65","DOIUrl":null,"url":null,"abstract":"Control of pervasive computing environments is a well- known problem. Such management has to tackle issues of heterogeneity, dynamic binding, interoperability, security, and scalability, among others. The approach used in our AutoHAN home automation system is presented here. It employs a high-level rule-based control atop an ontological substrate, interacting with an application-level layer of rules. This design allows formalised representation of a domain, which lends itself to checkability, along with its reliable control. We discuss the implementation and characteristics of our approach.","PeriodicalId":139145,"journal":{"name":"2008 Third International Conference on Internet and Web Applications and Services","volume":"38 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 Third International Conference on Internet and Web Applications and Services","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICIW.2008.65","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
Control of pervasive computing environments is a well- known problem. Such management has to tackle issues of heterogeneity, dynamic binding, interoperability, security, and scalability, among others. The approach used in our AutoHAN home automation system is presented here. It employs a high-level rule-based control atop an ontological substrate, interacting with an application-level layer of rules. This design allows formalised representation of a domain, which lends itself to checkability, along with its reliable control. We discuss the implementation and characteristics of our approach.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
