01571nas a2200205   4500008004100000245008400041210006900125260000900194300001400203490000600217520087900223653002701102653003101129653002201160653002701182100001401209700001301223700001201236856011701248       2011                        eng d00aReasoning on context satisfiability for service recommendation in mobilenetwork0 aReasoning on context satisfiability for service recommendation i  c2011  a249 - 2540 v93 aThe Ubiquitous Computing envisions a world of communicating mobile devices. As mobile devices usually have limited resources, it brings up the challenge to search and invoke services at any time and any place in an accurate, efficient and adaptive way. In this paper, we propose to filter services by matchmaking the precondition of service invocation and the context information of service consumer, in order to increase the accuracy and adaptivity of service discovery and recommendation in mobile environment. We construct context ontology to describe the environment when a service consumer submits service request first. And then, we propose to formalize the precondition of a successful service invocation based on a lightweight DL theory. Finally, reasoning on context satisfiability can be used for service recommendation. A case study shows our approach works well.10aContext Satisfiability10aPrecondition Formalization10aService Reasoning10aService Recommendation1 aKuang, L.1 aChen, L.1 aXia, Y.  uhttp://www.scopus.com/inward/record.url?eid=2-s2.0-84855397903&partnerID=40&md5=409b304a3bf247ee3b6d37e361841e41