Towards a hybrid approach to context modelling ... - Karen Henricksen

henricksen.id.au

Towards a hybrid approach to context modelling ... - Karen Henricksen

" ¡¦¡ $?)%D(D " E5 S £§ D(D ¤.£¦^¡¦ " .£7.¡V " e )=) ¥0¡§ " $')D A


" 8¦£¦ $ ¦N.+¥E5LM.£ ) N.¥+ D ¡ %¡¤¡ )$ 0¦4VI¦-J£¤¢A

M.7N.+¥+IE58

)" " )S '£ )" ) ¥ ) 5U¥+ " P¢¡^¡¤ $ -w%¡m€V¨ª©l«..¥+¥ o ¬ r

¡

¡EHM.M£ ) M.£¤0¦

) £ D ¥aMM.£ ) $ -.¢¡V4C'£¦J¤-.R£7¡E ) M.£ )S 0


¥¥+ " mM.M£ ) $ -`M£¤¢¡ " ¦e " ­ $ ¦ )%" q $ " N^.A

D,)

" ¤x4V¤- )" ) ¥ ) 5 $')"$ 'M7¡( ) 1 ) £ D c-=5=N.£¦+xM.A

D

¡E¦£¦ " ¦¡§ " e'@=M¥ ) £¤8 " 1 ) £ D ¤ )" ¥+IE5`+¡¦¡¡ o ‚ rn

$?)"

¡T0¡ $ ¡¤¡¤ª " ­= $ ¤ )" p § ) £eM.M.£ ) $ -*0¡eN¡¤ )"

°

$ ¥ D() ¥¥+ " ".) 7¤ )" S ¥ ) MP¢Z1 ) £ $?)%" A

€8®Lsc§'G%£¦M.-.

'M.¤¥ D() ¥¥+ " ) 1 " 1 ) £ D ¤ )" ¡5¡¤ D ¡i€8®Lś £¤M.£¤'A

$

" 7¡ ) N©E $ 2E5=M¡2¡(¥¥++M¡¢¡m " Q£¦'¥0¦ )%" ¡ )"k)" ) £

¡

£¤ ) N©E $ VE5=MP¢¡L¡G1[ $ LE5=M¡§P£7B4 " ¡L¡¤. "$ ¢¡ ) 1

D,)

" ¤¢gt«P $ >E5=M¡C£¦Z ".") ¦¤¢24VI¦-` " +.'A

£¦L£¤M.£¦¡¤

¡¦¡ $')" ¡¤£7 " ¦¡§ £¦'M£¤¢¡ " ¦c%¡R ) .N.¥+?An-.%c£¤£ ) 4L¡

"

$ ¤ )"T) 1\M.M.£ ) M.£¦+¤ $?)%D(D " $ ¤ )"T$ - " A

4VI¦-T¤-.^¡¤'¥+

'¥0¡J1 ) £ "

¨d

)" NP¡E¦£¦ $ ¤ )" ¡' ­= $ ¤ )" q p M.£¦¡¤ " ¦¡ ) .£21[ $ ¤A

¡¤¤

¡¤£7 " 7¡ )"

¤ D M ) £¦¥\ " &¥¤£ " ¤ S ,1[ $ JE5=MP¢¡'§t ".") A

)"x) 11[ $ mE5=MP¢¡(4VI¦-ªM.M.£ ) M£¤0¦ D ?7.¦dE5=MP¢¡

¦¤

) £H¢¡ $ £¤+N. " :¥E5§_ " d'M " "$ ¢¡8NP'E4> " M£7¡

1

N¡¤

$')" ¤'@= D() '¥+¥ " &M.M£ ) $ - §t¤- ²>)%" ¦?@=,s ) A

" H© " Z¤ ² s/©£¥?§¢4V-¥+G­ $ ¦ )%" q. qZ¡ $ £¦N¡£- ) 4

'¥+¥

" 8N¡E¦£¦ $ J¡¤P¤ )" ¡ " ¦'£ D ¡ ) 1\1[ $ HE5=MP¢¡

4>,£¤M.£¦¡¤

$?)%D(D,)%" ¥+5m¥ " ¦%` ) $ ¤ S IE5 $ -P " %¡7¥~

2.1 Fact-based context

€.£m1[ $ AnN%¡¢ $')" ¤'@= D() .'¥+¥ " QM.M.£ ) $ -xM.£¦ D £¤+¥+5

modelling

2.2 Situation-based context

!#" .¤ )" )2D() ¥¥+ " $')" ¤'@=VG¤-.81[ $ L¥ S ¥g¡ "

modelling

D,) ¥¥+e4V¤- ² s/©i

s/©i§4C


" 1 ) £ D ¤ )" ¥ )" %


²>) €8© )" ) ¥ ) 5U¥0 " %%` S '¥ ) McN=5Q­¦£¦ " /'

FG-.

$ ¥+¡(£¦: " S +.¥L D " ¡¤ )" ¡ ) 18¡¤M $ 7¡X¤3% P§ ² '¥A

¡

+¡¦­ $ ¥+§.«P-.£¦ " -.'7­ $ ¥+¢¥? ²>)" ¤'@V " 1 ) £ D ¦ )%" 0¡V¤A

$

1YIj_'£¦ " L¡¤M $ 7¡V£¦J¡.MM ) £¦:N5 !#" ¤'£?€M'£7¤ )" ¡'

)

) £V£¦%¡ )%" " §.­¦£¦ " R'Z¥OY¡¤H«£A#© ) $ " :¤-.R€ " ) A

«

)" " )S '£G " ¤'£¤A )" ) ¥ ) 5(£¤¥+¤ )" ¡¤-.+M¡

¡

" ¥+¥5%§P¨& " `?¥¨VM.£ ) M ) ¡¤< " ?@=¤ " ¡+N.¥+ $?)%" ¤?@= )%" A

«t

$ - " 0¡ D ¡ ² €;:H€;:ª¡M.M ) £7¡YE4 ) E5=MP¢¡ ) 1_£¦%¡ )%" " ¡

D

)" " H ) .?¤ $ V " $?) £¤£¦ $ i "P$?)" ¡0¡E¦ " $')" ¤'@=> " A

£¦¡

¤?@=H " 1 ) £ D ¤ )" ¤[¥¤- ) .%- ²>) €8©k ) ¡H%.£¦¡¦¡Z¦-.

$?)%"

'¥+¥ " ) 1(¥E5 D ?7.¦§H " D() ¡ ) 1,¤-.QMA

D()

Communication

Channel (id)

has channel

has mode

s

requires device

permitted to use

Communication

Mode (name)

synchronous

*

s

located near(p,d) iff person located at(p, l1)

and device located at (d, l2)

and l1=l2

engaged in(p1,a) dependsOn person located at(p2,l)

iff p1 = p2

Person

(identity)

engaged in

located near

using

owns

*

Device

(id)

device

located at

a

has type

s

owned by

Device Type

(name)

[ ]

Activity

(name)

person located at

a

Place

(name)

controlled by

Organisation

(identity)

controls

Certainty

Probability

(nr)+

¢¡¤£¦¥¨§©¦©¤¡¤£ ©"!#%$&§(')*¦+,+)¥¡¤'-.¡/'-001¤¡*'- ¡¤¦2¥3 ¡¤£,457698

" Q£¤¢¡ ) ¥ S " / "$?)%" ¡0¡¤ " $?)%" ¦?@=R " 1 ) £ D ¦ )%" §\ S ¥.A


" :M.£¤ S $ 5:M ) ¥+ $ ¢¡'§g " / " 13'£¦£¦ " :.¤ )" ¥ $?)" ¦?@=

¤

) ¥ ) 5 $ ¥¥+ ² €;:8€;: " S +P¥¡£¦¡> " )

?¦-.'£>¤-

) £ D ¦ )%" §Y " &£¦%¡ )%" " /¡^ D " ¡J ) '£¦ S m-.+-'£

1

S ¥ $?)%" ¦?@=2 " 1 ) £ D ¤ )" *FG-.T¥0¤¤'£(E5=M ) 18£¤¢¡ )" A

¥+

) ¡ ) £¤+¡G¤3'AO¨&¥+¥+?¦¡7¥ $?)%" ¡¤+¡¤ " ) 1g¡E7¦ $ " 1 ) £ D ¤ )" §

£¤M

) £ D M.M. " $?)%" ¤?@=¦£¤+N.¦¡ )%" ) ¡¤'£ S $ J "=S) A

£¤.¥+¡L1

" `0¡ZNP¡¤ )%" N ) ¤-dM.£ ) M'£¤¤+¡Z¡¤ $ -U¡Z¡¤5 D(D '¤£¦5/ "


" ¡¤ S IE5` " :¡£A#' " :£¦.¥¢¡'

¤£7

¦ )%" ¡§¢ " 8£¤.¥+¡£¡ $ £¦+N. " VM.£¤ S $ 5Z£¦.+£¤ D " ¦¡ FG-.0¡

$

) M ) ¡¤¥V-¡` D $ -*¡¤£ )" %'£2M.£¦ S $ 5QN+%¡(¤- " ¤-

M.£

)%" ) ¥ ) %5%AnN%¡¢ $?)%" ¦?@= D() '¥+¥ " ZM.M.£ ) $ -.¡ $ £A

FG-.¢¡

" ¤¥+5c- S e¡ S £¦¥C¡¤- ) £¤ $')D " %¡v«t£7¡E¢§\¦-. )" ) ¥ ) 5

£¦

1 ²>) ]C£ ° §. " :1 )$ P¡¢¡ )" £¤¢¡ )" " ,1 ) £V " 1 ) £ $ D " ) 1

)

S $ 5QM ) ¥+ $ ¢¡'§C£¦¤-.£2¤-P " £¤¢¡ )" " cN ) . $?)" ¦?@=

M.£¤

" .£7.¡ )" 4V-. $ -^¤-.5^£¦CN¡¤:¤[ " ˜ žR › Ĩ•\‹‰‹‡¦†~‘

‰ŠJ‹%Œ

¤ )" § .'£¦ S " ` D M.¥ $ < " 1 ) £ D ¤ )" 13£ )%D

£¤¥¢¡8 " /£¦A


) ¥ ) 5AONP¡¤ $?)" ¦?@= D() '¥0¡'§4CL- S ZNP " '@=M¥ ) £¤ "

)"

" ¦'£7¦ )%"v) 1 )" ) ¥ ) 5 $?)"P$ 'M.¦¡,4VI¦-Q¦-. $?)" ¦?@=

¤-.e

)" " 8Ü,N' " ¦-.0¡'@M.¥ ) £¦¤ )" N=5 D MM. " ) £

£¤¢¡

¦?@= D,) ¥¥+ " $?)"P$ 'M.¦¡, ) " €L¨ª© ³© )" ) ¥ ) 5%§

$?)"

" u¤-. " ¡ " k¤-+¡T ) ¤£7 " ¡13'£e¤-c?@. D M.¥+ $?)" ¦?@=


¥Z¡¤- ) 4 " " «t%.£¦ p ) " €L¨ª©f£¦'M£¤¢¡ " 7¦ )%"

D,)

)%" " :N ) .Z¤- $')" ¤'@=8 " X£¤¢¡ )" " `N ) $?)" ¦?@=

¡

¥+¡YÜ+*,

¦¡§©¨;§©:©,

¦¡§©¨¡¡¡

.§¡¡(#©$)/©§£:>+,

¦¡§©¨;§©:(4£A¡¡9'£(%¡&'(

/:G5¡¡£3§©2$¡ 7©$$)/£#+*¡,

¦¡§©¨6%?

/:G5¡¡£3§©2$¡ 7£(£:I£( +*¡,

¦¡§©¨6%?

/:G5¡¡£3§©2$¡ 7¡()/.H( +*¡,

¦¡§©¨6%?

/:G5¡¡£3§©2$¡ 7'§£)/©( +*¡,

¦¡§©¨6%?

/:G5¡¡£3§©2$¡ 7¡$(.K'§£I+*¡,

¦¡§©¨6%?

/:G5¡¡£3§©2$¡ 7£$(:$)/.H()+*,

¦¡§©¨6%?

¦¡*¡§©¨;§©:(4£,

¦¡*¡§©¨¡,

©#¡/.)/£#£$)/©§©:M+,

¦¡§©¨;4©3L¡(#©$¡


¡¡ .£Q 4©3L¡(#©$ +,

¦¡§©¨¡

¦£¡¡01+2¡3¡4£,

¦¡§©¨98(©$¡)/£#©$)/©§©:,

7¡H©2()+*¡,

¦¡§©¨;§©:


£¥¤§¦

£(¡£?£:¡:(¢¡1'(§©:¤£ #+?£:¡:(¦¥

¡£:

£¦

/ K', ¦£2(.K

©3§£¡&, ¦£2(.K

¨¡$§K ,

¦+¨£C1#¡

B#"K 0D68(R2 /.(©(H /£#£()©*¡,

¦¡§©¨£C¡N§©¨£C9:.K)(

6H,£(R2 /.(+(H)/£#(¦¡*£2(+K 6H,

¦£2(.K

¨¡$§K ,

¦¡*+¨£C1#¡

¦+¨£C/:)/.H)/.2£JP¡¢X€L¨ª© 1 ¡ $?)%" A

¡¤£7 " T¡M.M ) £e )x$ M¤£¤d¤-.&¡¤ D " ¤ $ ¡ ) 1R¤-.

$?)%" A

) 4L¡L2¡¤ D M.¥+^'@ D M.¥J " 4V-. $ -/¡¦¦ $ 1[ $ ZE5M¡R¤['A

¡¤-

" ¢:%¡V " 5(1[ $ VE5=MPH4V-. $ -:-P¡V21 ¡¦¤ $1S ¥+.81 ) £G¦-.


¥0¡¦¡¤I $ ¦ )%" M.£ ) MP£E5.¥V£¤^M.£¤ $ ¥+¢T13£ )%D ¥0¡ ) -P S "

$

" 5 ) ¤-.£ $ ¥0¡¦¡¤I $ ¦ )%" ¡'§%¡ $ -2%¡a¤ D M ) £7¥ ) £i¡¤ " ¡¤T¤¨¡


" ¡.£¦


" < )=) ¥¨§=¡i'£¦£ ) £¦¡Y " ¦-. D() ¥+¡i¤- $ "m$ £¤£¦ " ¤¥+5,£¤'A

M.

" " '¤ $ ¤¢< " ¦¥=£¦ " AO¤ D H¤34V- " ¦-. $?)" ¦?@= D " A

D

"=S) ¥ S ¥? £¦8

S a¦-¢§ " " '£7¥O§' 4V+¥¥NP\£¦%¡ )%" N¥5L¡¤£7+-A

¨d\N'¥++

" x¡j_'£T13£ )D ¡¤ S '£7¥H¡- ) £¤ $?)%D " ¡' FG-d7¡¤¦ ) 1

'¥+¥

" " " '4 $?)%" ¤?@= )%" ) ¥ ) %¢¡G+¡ $ D NP£¦¡ )D ^ " e'£¤A

?

) £^M.£ )" %§\ " D() ¡ ) 1V¤-.eM.£¦ S ) ¡¤¥5c' " )" ) ¥ ) A

£

$ ¦Q¡¤.M.M ) £¤21 ) £`£¤M.£¤¢¡ " ¤ " c " k£¦¡ )" " )S £

+¡2¥0

D " ¡Y ) £¤ S Z%.¤ )" ¥ $')" ¤'@=> " 1 ) £ D ¤ )" NP¡¤


$?)%D N. " ¤ )"Q) 1¡¤ D M.¥+T£¤.¥+¡( " vM.£ ) M'£¤¤+¡(¡¤ $ -

)"

" ¡¤ S IE5w " $?)%D(D 7¤ S IE5%§V " w ) .?¤ $ : "

¡(¦£¦

£¦£¦ $ e "P$?)" ¡0¡E¦ "$ ¢¡e "l$?)" ¦?@=X " 1 ) £ D ¤ )" & ) 4GA

$?)

S £§¢4CYNP¥+ S Y¤- ¦-. D() ¡ " ¦'£¦¡¤ " LMM.¥ $ ¤ )" ¡ ) 1


) ¥ ) 5AONP¡¤L£¦%¡ )%" " V£¦ ".) ¤- ) ¡a¦-t "=S) ¥ S $?)" A

)"

) 1 ) .£V£¤¥+52?j ) £¤¦¡V ) ?@=¤ " ) .£VM£¤ S ) P¡¥+5`'A

£¤¢¡.¥¦¡

'¥ ) M $?)%" ¤?@= D() '¥+¥ " JMM.£ ) $ -R4VI¦-m€L¨ª©T³©X "

S

) ¡M.M ) £ D() ¥ $ -. $ ¦= " ( " : " ¦'£ ) M'£7¤ )"


" 1 ) £¦ " ¦'¥+5§ ) £ ?j ) £¤¦¡ )LS ¥+0.¦Y¤-.0¡ M.M.£ ) $ -8-P S

W

Z )S £ ".D " 1 ¡ ² ® ²¡ £ ) £7 D(D v¤[³'MP£¤ D "

«.¢'£7¥

1ahi $ ¦ )%" §­ $ "$ < " :F £7 " " ¥~

)

¡ µ ¤- ! hih>hQ¨ ) £ ¦¡- ) M )%" s ) N.+¥+ ²>)%D M.¤ "

!#"

D ¡Z " ° M.M¥ $ ¤ )" ¡)D ¥~§P€£¦¥0 " ) ¤¨q µ ¥


y%yBz=y=¬

r &Z " £¦ $ ¦¡¤ " §¦¢(+§ !#" ¥+¡¤¦.§¥§P§.®Z¦ ) )%" £7 " 5§ ° ¡

op

) ¥ " $')" ¤'@V " 1 ) £ D ¦ )%" " MP£ S ¡¤ S

s

M.¦ " m¡¤5¡E¦ D ¡ !#" ¡ p ¡ !#" ¦'£ " ¦ )%" ¥

$')D

13'£¦ "$ )"© '£ S %¡ S ²>)D M..¤ " X¤ '£ S ¡¤ S ¢¥?

²>)%"

op rZ³'5%§ ° ¢(§­¥+NP£§.³R+§ ° N ) 4Lg§ Z, ³^ ¡ °

REFERENCES

D " L¡5¡¤ D

£¦+¡¤¡G " ?@ $ 'M¦ )%" ¥C4V¥+¥ NJ+¡ $?)S '£¦

D(D 0¦'¥+5

4.2.3 Reasoning for

¨dH¥0¡ ) M.¥0 " ) ¡¤ )" ) ¥ ) 5AONP¡¤,£¤¢¡ )" " )S '£ $?)" A

interoperation

'M¦¥_13£7 D '4 ) £ ¦m " :, )) ¥¦=G1 ) £

$')"$

) £¤¤ " ,¤-.J£7M+`M.£ ) ) E5M " ) 1 $?)%" ¦?@=A#B4G£¦

¡¤.M.M

D,) ¥+¡ ) ¡.MM ) £t " ¤£ ) MP£¦N.+¥E5Z "^$?)%" ¤?@=aB4C£¤

¤?@=

D ¡HN=59 " N¥ " T " 1 ) £ D ¤ )" ) N(¤£7 " ¡13'£¦£¦/N?A

¡5¡¤

M.M.¥+ $ ¤ )" ¡'¤&Z D " A ²>)D M.¦'£ !#" ¤£¦ $ ¦ )%"

¤£

¤Oq p ¥ ±¬¢zp¢‚‚

" j£¤ " $')" ¤'@= D,) ¥+¡a€L¨ª©2¡¤.M.M ) £¤¦¡ ¡¤£7+-A

E4>

) £¦4C£¦ ".) ¦ )%" ¡ ) 1¢% S ¥+ "P$ YN?E4C' "J$ ¥+%¡¤¡¤¡g " 8M.£ ) MA

1

qBr ² -. " § Z,+§¥¢ ) 3 §.³R'¡ ²>)%" ¤?@=Z£¦'¦ )%" "

o

D " ¤ )" " .N.0. ) P¡ $?)%D M¤ " 2¡5¡¤ D ¡

0¡¦¡

$ - $ " NP/P¡¢Q )v)S £ $')D T¡ D M.¥ " D "

'£¤¤+¡24V-.

"P$ ¡N?E4C' "9D,) ¥+¡§N.H£¤.¥+¡ $ " ¥0¡ ) NP,¡¤

Ij_'£¦

) -P " ¥+ $ ¡¤¡^ " 4V-. $ - D() £¦ $?)%D M.¥'@ D M.M. " %¡,£¦


+§i4V- " Ij_'£¦ " 2 " ¦¡ ) £(£¤M.£¤¢¡ " ¦¦ )%" ¡

£¤¢%£¦f¤3

¤Oq q¥

y r &£¤¤'£¢§ ° +§ & ) M.M'£¢§ ° +§P­¦'%¥+¡§ +§.¨&£7g§ ° +§

o

'¡YFG-.< " )D 5 ) 1a $')" ¤'@¤AnB4G£¦

Ü'N¡¤£§

$ ¤ )" !#" ¡ { ¦- !#" ¦'£ " ¦ )%" ¥ ²>)" 13'£¦ "$ )%"

M.M.¥+

) N.+¥ ²>)D M..¤ " , " :L?E4 ) £ ¦= " :¤[sU€ ] !¤² €8sd¥~§

s

) £¦4C£¦Z )L$ £¤¢¤ D MM. " %¡gN?E4C' " .Ij_'£¦ " ² s/© D() =A

1

" D,) £¤V| $ .¥Z¤3Ni¡E¦¥+¥.M ) ¡¦¡+N.¥+¢¥ )mM£¤¢¡ " ¦d¤-

4VI¦-

®V $?)%D,D " .¦ )%" ¤Oq B µ ¥

¯ r & ) £¦£ )$ ¦¡'§ ! +§ ¦'¥A#­ $ - " '0£§ «C+§] ) ¥+'5%§¤&)D M..¤ " 2 "


Z­¤£7 " §.FH+§© "." - ) jPA a) M " § ² §.«£¦ " ¦_§¦¢('¡

oIp¢y

¤'%£¦¤ )" +¡¦¡¤.¡ ) 1t "e)" ) ¥ ) 52NP¡¤ $?)" ¦?@=

!#"

.'¥+¥ " mMM.£ ) $ - !#" ¡ ! ° ³ ! ­ !#" ¤£ " ¤ )" ¥

D()

13£¤ "$ H¨*¨*¨ !#" ¦'£ " ?^¤ !¤² ¨ ! ¥~§ ° £¦%£ S

²>)"

¢('¡>€ " ) ¥ ) 52NP¡¤ $?)" ¦?@= D,) ¥ " m "

&<

)" " ,¡¤ " `€L¨ª©\ !#" ¡Y¨ ) £¤¦¡¤- ) M )"/²>)" ¤'@

£¤¢¡

) '¥+ " m " e®V¢¡ )" " X¤ ²>) s ) ®V¢%¥?§q " ! hih>h

s

13£¤ "$ )%"© £ S %¡ S ²>)D M.¦ " 2 "

²>)"

r ² -. " § &)D(D

¬%¬z q ¯‚ q

qBr^ZH " )" §«C ©\+§P­%'- § :^ sv'¡>­ D " ¤ $ 4>N

oIp

$ - ".) ¥ ) %¢¡> ) £¦ $?)%"$ +¥+M.£¦ S $ 5` " $?)%" ¦?@=

¤

B4C£¤ " ¡¦¡%Ü'N9­= D " ¤ $ ¡ § ) .£ " ¥ ¤Oq B µ ¥

¤¨q y ¥

oIpµ rVÜ " §

&)D M.¦ " § : ) ¦ " - D ¤¨q µ ¥

More magazines by this user
Similar magazines