Table 4 Rule 2 and formalization in SWRL
From: A context-aware multimedia service scheduling framework in smart homes
| Â | Definition of Rule 2 |
|---|---|
Semantic | The services with the similar or same name are consistent for user tasks and devices. |
Expression in SWRL | T*: Task(?x) ^ T: has Requirement(?x, ?y) ^ D*: Device(?z) ^ D: Service(?s) ^ D: has Service(?z. ?s) ^ D: has Device Name(?z. ?t) ^ D: has Service Name(?s. ?a) ^ SWRLB: contains Ignore Case(?y, ?s) → T: has Device(?x, ?t) ^ T: all cate Service(?x, ?a) |