Table 3 Rule 1 and formalization in SWRL

Semantic

The allocated resource should be close to users, which convinces users' interactions with devices.

Expression in SWRL

P*:Person(?x) ^ D*: Device(?z) ^ T*: Task(?q)

^ D:has Device Name(?z, ?t) ^ D: has Location(?z, ?s)

^ P: has Location(?x, ?y)

^ SWRLB: equal(?y, ?s)

→ T: has Device(?q, ?t)