Name
Abstract | ||
|---|---|---|
With the ever increasing popularity of mobile devices and the widespread deployment of different types of networks, pervasive environments have truly arrived. Although such environments are already being utilised to provide services based on the available data, the modelled domain knowledge is generally not formally verified for consistency and applicability within and across domains. This paper presents our knowledge-based verification and control approach and shows its need and effectiveness. In our system model, policies in the form of rules are authored at different levels of abstraction at different layers in the policy hierarchy. Top level rules are written in first-order predicate logic based on a formal ontology of the domain. Detection and resolution of feature interactions (or conflicts) is an important task in the policy hierarchy. Our running example is the pervasive mobile learning environment of a university campus. Our approach is easily and equally applicable to other pervasive environments. |
Year | Venue | Keywords |
|---|---|---|
2010 | KES (4) | policy hierarchy,available data,different level,pervasive mobile learning environment,control approach,real world,knowledge base,modelled domain knowledge,mobile device,pervasive environment,different type,different layer,pervasive computing,rule based,first order,location based service,system modeling,location based services,domain knowledge,ontology |
Field | DocType | Volume |
Data science,Ontology,World Wide Web,Domain knowledge,Computer science,Location-based service,Formal ontology,Ubiquitous computing,Knowledge base,Hierarchy,Predicate logic | Conference | 6279 |
ISSN | ISBN | Citations |
0302-9743 | 3-642-15383-6 | 1 |
PageRank | References | Authors |
0.35 | 11 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Atif Alvi | 1 | 8 | 2.25 |
| Zubair Nabi | 2 | 23 | 5.77 |
| David J. Greaves | 3 | 124 | 30.48 |
| Rashid Mehmood | 4 | 355 | 45.46 |