Towards a hybrid approach to context modeling, reasoning and interoperation

#" $ % " & " ' ( "*) " ) ) + , " -. / 0 213 '465 7 8 + 9 ) : -. 1; < " , $ -/1 )=$ ) 1> -. $?)%" ?@= A B4C " $?)%D(D " E5 <FG+ H -. I1; J ?K $ 7 L -. (M ) " + ) 1 ) " ) ) 5 AONP Q M.M. ) $ -. R ) D M. ) S T .M ) " M. S A ) 59 $') " '@= D() + " T M.M. ) $ -. N=5/M. ) S 0 " D M. ) S 9 .M.M ) 81 ) H " ) MP ) " " U ) M.-. 0 E $ E5 M ) 1V % )%" " XW " 1 ) " ' +5 Y $ " +5& S ' ) M $?) " ?@= A# B4C R 5 D HN. J " ) " ) ) + Z1[ + \ ) ) 1J + :M ) " + ]FG-. 9 ) + ) 1J -. 0 :M M ' T X ) " A S + % ^ -. ( ) " L1 ) Z -. + J ) 1[ + _ ) S P R D,) E H M.M ) M. 0 < ) 1 )%" ) ) %5` 0 " % % " T )=) 0 "Q$') " '@= A# B4C ( 5 D a " & ) ?@ M. ) ( $ ) " ) 1L " 4b5=N. 0 c ) )%" $?)%D N. " ) " ) ) 5 $?) " A $ 'M. R4V I ) . RM. S ) 5U S ' ) M c M M. ) $ -U )d$?) " A ?@= D() ' + + " 2 " e ) " " 1. INTRODUCTION FG-. $ + + " % T ) $ + f4V $?)%" E $ " $?)%" ?@= A B4C T M.M $ ) " (1 ) 2 .N. 0 . I ) $?)%D M " c "=S + )%" A D " P " ` -. J D M ) " $ ) 1\ M.M. ) M 0 8 N E $ )%" 1 ) C % -. ' " ^ " 2 ) " " ^ N ) $') " '@= > " 1 ) D ) " :4C ' + G $?) " 0 g Qhi +5& ?j ) R ) S ' ) Mk N 7 $ A ) " R " c " 13 7 $ . 21 ) $?) " ?@= A# B4C 2 5 E D J1 ) A $ lM. D + 5 ) " N. + $') D M ) " " 7 T1 ) $') D N. " A " ( " m " ' M. ? " ( " ) ) M C ) S 8-. + An + S $?) " ?@= ^ " 1 ) D ) "foIp qBrn 9s ) ` $ " 5% t 'j ) 7 ^-P S . " U ) S ' ) M. " D() ' 0 ) 1 $') " '@= < ^ " ' % " 1 ) D ) " 13 )%D S + ? E5 ) 1a ) $ . .M M ) Z " ) M A ' 7 ) "2) 1 $?) " ?@= A# B4C V M.M. + $ ) " i " $?)%" ?@= D " A D " L 5 D . " e + ) 4u ) " " , N ) $') " '@= hi +5Q ?j ) m )vD() $?)%" ?@= ` " &1 ) D Z4G B5QN. . + .M )%" . 7 D() + " H $ " + . \ S ' ) M RN=5< -. V " 1 ) A D ) " 5 D $?) D(D " E5 G " w D M. + D " x ) M.-. 0 A $ $?) " ?@= D " % D " , 5 E D , R ?@= " ) " ^ ) + ) " > . NP o yBz.{ rn UFGe " ) 1Z -. T ) A )%" L " $ . X '| $ " . ' 5`M. ) $ " m " X .M.M ) 1 ) L S " $ : . 5m E5 M ~}B FG-. <1 ) D a M M. ) $ -. V4C ' J -. R 7 E ) M. ) S 0 < A )%" " ^ M.M ) i€ . D() ' + + " , M.M ) $ % " MP $ . 0 4C %  S ' ) M 8 ) " N. + i % )%" " V " Z V1 ) Df) 1 -. ' 'A S d ) $ . " 9 ) $ $?)%D,D() . 2 D N. % ) P 8 " ) ' 4V + H D M ' 13 $ $') " '@= G " 1 ) D )%"Uo ‚ rn ƒE„ … †^‡ ˆ%‰'ŠJ‹ Œ‡ ŽYC‰'†#E‡ †<‡ R‰'Œ3‘>’ “'”C•#– ‹ ‹ …'†#E‡~—d•#‹ ‰'E˜I‰ ŒC™ – ‡ †E˜‡7•7Ž š\› ˜ŒI‡ š ‡Y‹%†E…?œ ˜ — ‡~—8•#˜E–=‰?E˜… žJ‰'ž=—8‹ †E‡ Ÿ0‡ †E‡ ž 7‡Y‡7œ ‰ Œ– ‰'E˜… žJ˜žJ‰ — ¡ — ˜E˜I… ž,E…H•#˜ŠJ‹ Œ‡CŸ0‰ >™ – ‡ †E˜I‡ •Z’ ¢~”[‘ s ) e $ " 5% \ -. X "P$ " dM ) M . + E5 ) 1 ) " ) ) + % £ + ^ )8" 4 ) " ) ) 5 AnN D() + ) 1 $?)%" ?@= aFG-. D ) N ? ' V .M.M ) C " ' ) M ' 7 )%" N=5(1 ) D +52 ? " A " $?) D(D() "e$?)%" $ M J¤ " e ' 0 ) " -. +M G " D M M. " % N ? E4C ' " -. ¥? t " U ) S ' 7 % ^ -. ` '@ + " T )=) > .M A M ) m1 ) 2 7 ¦ ` $ -* )%" ) ) %5Q ' " ) " " $ -. $ ¦ A " ,FG-. ) " ) ) 5 AONP X M M. ) $ -. Z + ) -P S < -. 2M ) A " 0 _ ) .M.M ) L ) M.-. 0 E $ )%" ) ) %5%AnN % ( ) " A " §P) 4> S D(D . ^ " . 7 . V " e )=) 0 " $') D A M. 7 N. + + I E58 " 8 $ N. + E5LM. ) N. + D % ) $ 0 4V I -J A ) " " ) S ' ) " ) ) 5U + " P ^ $ -w % m€V ̈a©l«. . + o¬ r " x­ ̈a®L© o ̄ rn D " m + `M ) " + L".) `5% ? N ' " + 0 g <«. . ' g -. )%" ) ) %5%AnN % X M.M. ) $ -. " ' 7 + +5T )e" ) <M. ) S + ( " . 7 a4C B5T ) ) "9) S ' ) D $?)%D,D()%" E5=M ) 1 $?) " ?@= ^ " 1 ) D ) "  " $ + " D M ' 13 $ L " 1 ) D ) " ° e -. ' c $ + X % S " : ) N ) -l -. )%" ) ) %5%A N % ` " ` + ' $?)%" ?@= D() . ' + " 2 M.M ) $ -. ' 4> J A T m $ -* M.M. ) $ -k% m &M. 0 $ X "*$?)%" ?@= A# B4G 5= D ' L ̈U R $ . " +5: '@=M ) " 2 -. ^ " ' % ) "T) 1 9 E4 )QD() ' + + " Q $ " 0 % : ) 1 ) D v-=5=N. 0 a ) + A ) " $') D N " a " ' ) M ' 7 N. + E5^ .M.M ) i " S ) E5=MP ) 1 ) " ) ) 5 AONP m % )%" " 24V I -X R S " % ) 1 ) XM. S ) +5a S ' ) M $') " '@ D() ' ^N ) " € N E $ A#® ) Js ) " /¤O€8®Zs9¥ o ± rn iFG-. 0 VM M ' ZM. " Z +5^ . ) 1 ) i ?j ) \ )<D M ) . $?) " ?@= D() =A ' + + " $?) " E $  )L)%" ) ) % ' B " H ) S + Y \ E5=MP ) 1£ ) " " <4C $ " .M.M ) GN 52 . D " " R )%" ) ) A + L4V I -/ M.M. ) M 0 J . + C ̈d ^1 )=$ ) . Z " ) "X) " m€L ̈a©k E 7 " . o ¬ r\M. ) . $ /N=5X , ̈ y=2 ¤ " g  " M $ . + )%" €L ̈a©w38©\ % J + H % )%" N 5e ?@ M. S 4V-. + ^NP " :N ) $') D M. 7 )%" + 5 $?)%D M. ' ^ " X $ 0 =A N B¥\ " (A£ ) ^ ' > ?@= " >A )%" ­= ̈a®L©k¤; -. 8­ D " $ ̈U 'N&®V . + m© " ¥ o ̄ rn  " D ' " T E 7 " 7 9 S ' A ) M &N=5d -. e3 ° s9©a ) Md )9$?)%D N. " e€L ̈a©*4V -c -. ®V . + Rs9 ¦ M9© " m¤ ®V . + s/©t¥~ ° ) . -d S ' E5 ) 1 )%" ) ) %5/ + " P < " & ) $(S 0 " 7 < $ . " +5 e1 ) $?)%" ?@= D() ' + + " : " T % )%" " . 0 $ " ­= $ )%"xy G€L ̈a©l + m % N 5U D,) E 2M ) M. + ° 13 . + > S + )%"c) 1L + > S + 0 N. + ) " ) ) 5d + " < " )=$ + m ) " " R )=) + G 0 $ + +5 ) . + ) . L $') M FG-. v $ . ) 1, -. vMP M ' / 0 / e1 ) ) 4L ́­= $ ) " q M. " J "d) S ' S 4 ) 1 ) . JM S ) P +59 S ' ) M $?)%" A '@= D() ' + " u M.M. ) $ -lNP ) " €8®Zsc Z4V-. + + k­= $ A ) "my S + '4L \ S + ? E5 ) 1 ) " ) ) 5 AnN $?)%" ?@= D() =A ' 0 8­= $ ) "9μ S L -. ^4G B5 L " 4V-. $ ) . $?)%" ?@= D,) + " m M.M ) $ -`M " e " ­ $ )%" q $ " N ^ . A D " x4V ) " ) ) 5 $') " $ 'M 7 ( ) 1 ) D c-=5=N. + x M.A M. ) $ -2 L .M.M ) G I )%" E5=M ) 1£ ) " " R " " N. a " ' ) M ' 7 ) " N ) ",D M.M. " aNP ' E4> "($?) " A ?@= D() + £«t " + 5% ­= $ ) "^{G$?)%" $ + _ iM MP 4V I , . + $ )%":) 1 ) . G ?@ MP + "P$ V " :13 J4 ) ¦_ 2. OVERVIEW OF OUR MODELLING APPROACH FG-. + e $ )%" N. 'K 5x S + '4L ) . :M. S ) +5x S ' ) M M.M. ) $ -* )*$') " '@ D() ' + + " P 6« . -. X " 1 ) D ) " $ " N H1 ) " e "T) . V + ' GM. .N $ ) " o { ‚ p rn ̈d D() $?)%" ?@= > \ E4 ) S ' 0 ) 1g . ? O " J1[ $ > " ) " NP E $ ) " ' ­= $ ) " q p M. " ) . 21[ $ A N $') " '@= D() ' + " & M.M ) $ t 2>)%" ?@= ,s ) A ' + " H© " Z¤ 2 s/©£¥? 4V+ G­ $ )%" q. qZ $ N £) 4 4> , M. " 8 N E $ J P ) " " ' D ) 1\1[ $ H E5=MP D,) + e4V 2 s/©i 2.1 Fact-based context modelling € . m1[ $ AnN % $') " '@= D() . ' + " Q M.M. ) $ -xM. D + +5 S 8 H : )=) t -P < " N. + H M M. $ ) " S ' ) M ' 7 Z ) ?@ M. ) ( " U1 ) D + 5d M $ I135d -. $?) " ?@= < . D " 7 ) 1L $?)%" ?@= A# B4G , M.M. + $ ) " ! ^M. ) S + . $?)%" $ 7 1 ) R . ? " " X -. ) N E $ R N ) ^4V$ $') " '@= ^ " 1 ) D A ) " 0 V . T " : -. J E5=M ) 1a " 1 ) D ) " ¤ ) V1[ $ 7¥ R ) 1V " ' ^ " + ) " ) $ ) N E $ ! , + ) + ) 4L S ' ) M ' 7 V ) 0 " 135/ " M.M. ) M 0 ^ ) . $ J1 ) $ -`1[ $ C E5=M 2¤[ " ) 7 ' = ' GM. ) P ) V ' S ) " 13 ) D ) ' $') " '@= : " 1 ) D ) " ¥~ Z MP $ 135* 'M " . " $ e " $?) " E " " e '@=M ) 8 " 1 ) D ) " + I E5` + o ‚ rn ° T 0 $ a " ­= $ ) " p ) e M.M. ) $ -* 0 eN ) " €8®Lsc ' G % M.-. $ D() + " ".) 7 ) " S ) MP Z1 ) $?)%" A $ 'M. D() + " ) 1 " 1 ) D ) " 5 D i€8®Ls ́ M. 'A " 7 ) N E $ 2 E5=M 2 ( + +M m " Q ' 0 )%" ) "k) " ) D,) ) N E $ V E5=MP L G1[ $ L E5=M P 7 B4 " L . " $ ) 1 ) TN ) @= X¤34V-. T $ -k ) T 0 2 7 $ -. v ) -. ) N E $ E5 M H -P ZM $ MP G " -. J ) + ¥~ >hi $ ) N. E $ V E5=M < 0 + " T " D ^ % V4C ' + £ Z 2 '13 ' " $ D() . _ ) 4 " " M " a 2 . $ N ,) 4b " "P$ ) 1Z ` E5=M L M. " g t«P $ > E5=M C Z "." ) 24V I -` " + . 'A " $') " 7 " £ 'M " c % R ) .N. + ?An-. % c ) 4L M "." " ) " ) D() e ) + eN ) @ §V -. TM. + $ X $ A ) " )%" -. VM ) M. . 0 )%" ) 1P -. G1[ $ a E5=MP Y " D "." ) 1V¦ 5 $?)%" 7 " 7 ) " +N. ) 1G ' 0 )%" J " -. ` 'A + ) "  . 7 D() ' O ° S ' E5 ) 1 ) -. $?)%" 7 " 7 L 0 ) .M.M ) g YN. 2 9 . + $ )%"c) 1V `1[ 0 ) 0 -. < $?) MP ) 1t + VMP M ' 2 s/©e " ) $ a S + ? E5 ) 1P '@ " ) " £ ) -. + \N $>".) A )%" + + 7 , " " '@ D M. D() ' P ) 4 " " «t + . p >FG< ?@. D M. + JN. . + 0 . )%" $') " '@= D,) Z4C < 'A  " R1 ) i $?)%D,D " $ ) " M.M. + $ )%" i 0 E 7 a ' 7 4V I -T -. ^ ' + $ ) "T) 1\ M.M. ) M. + $?)%D(D " $ ) "T$ " A " ' 0 J1 ) < ' + ^ " ' 7 $ ) " ^4V I ) ' ^M ) M. + 9« ) J -. + M.M. + $ )%" > -. D() m ' + S " ( E5=MP ) 1 $?)%" ?@= 2 " 1 ) A D ) " " $ . R )=$ + ) " ) 1\ ' 7 V )`$?)%D,D " $ ) " $ "." ' 0 L " 9 S $ ^¤3 + ) 4 " ' 7 M MP D 0 )%" Z " M. ) @ D I E5U " -. $ ) 1Z S $ 7¥~ $ . " R ) $ ) " ) 1 . " $ . " L " `M. 0 " " T $ S I ' FG-. 2 s/©U ?@= " )%" G + ) 4x1[ $ G E5=MP i ) N H + NP + e ¤ B¥~ ¤ Y¥~ ¤ ¥ ) "!$#&%' ¤ ( ¥ E5=MP ' . 'M " " )%" M ' 7 0 "P$ J " T ) . $ %§ ) * ! " +% ¤ o r;¥< E5=MP < $ M . `+ ) + ) 1L " 1 ) A D ) " ¤[ + L $ S E5 ) S ' V ( . B5 ) V4C ' ¦.¥~§. " , +%. / + + ¤ 0 ¥8 E5=MP J -P R $ M N. ) 1G . $ N. " D N. % ) P V " 1 ) D ) " ¤[ + $?)%" K $ " ` ) $ ) " ?A M ) 7 V % -. 213 ) D S + ? E5 ) 1t ) $ )%" " ) 7¥~ 2 s/©f 0 ) M. ) S + . < '@= " ) " < ) .M M ) R M $ 0 $?)%" A 7 " 7 ) " D M ) \ " & " S ,1[ $ J E5=MP ' t "." ) A ) "x) 1 1[ $ m E5=MP (4V I -a M.M. ) M 0 D ? 7 . d E5=MP 1 ) H $ +N. " : E5 _ " d 'M " " $ 8NP ' E4> " M 7 ) 1 1[ $ Y E5=MP L¤3 % P %NP ' E4> " 8MP ) "21 \ $ S E5^ " R -. ' + $ " H ) $ ) "  ) " $ ( J ) $ ) "&$ " H $?)%D(D,)%" +5m " ¦% ` ) $ S I E5 $ -P " % 7¥~ 2.2 Situation-based context modelling !#" . ) " )2D() + " $') " '@= V G -. 81[ $ L S g " 2 s/©i 4C < + ) 4 P ) " G ) N R ' " T "X) G ) . ?A $ N a -. $?)%" ?@=  t V-. + -. S ) 1. N E $ )%" FG-. C ?@ M. ^ " ' D ) 1 -. VNP $ 1[ $ Y E5=MP \ ? " ,N=5 2 s/© D() ' O £ P " X S + " ) 1CM. . $ ( ) % $ `­= I A ) " $ " N $?)%D N. " k " v ) $ $?)%"." $ S , ) 1 ) D " $ % " +5& $ $') " '@= ( $ +M )%" ' vFG+ ,13 A D ¦% , -. D ?13 . Z % 2M. ) % D,D " & N 7 $ ) " -P , ) 4 : ) 1; E4G m " % " ' ' ^ ) M. $ ` M.M. + $ A ) " N 'S ) . )%" D M L I )%" ?@ M. ) " t " S ' 5 " . 7 g4G B5 ­= ) " e 94V " :M. $ )%"43 )w) D() S + N. + " S + m % " > R ' ) 1 S + N. ZN. " =A " % : " a $?)%" ?@= d¤[ M. " * % : Q ' ) 1J1[ $ 7 ¥2 ) 5= + )%" ) 1a S + . 5 6 +%7 ) 8 ! 9 %-:; 5 CFG-. ! 9 %-:< 5 S + . 8 + Y4V" S + + N. + $?) " ?@= i " A 1 ) D )%" 0 G " % 8 ) ' D " < N ) + Z ) 1[ 0 I E5*¤3 % P YN $ ) 1L "P$?) D M. + ? " ) ( D N. + . E5.¥~ ° " '@ D M. X I )%" 0 2 ) 4 " 0 ' ( " -. XM MP > " «t % . { ¤ %¥~ cFG-. 0 , $ N < -. $ + $ D "P$ ^ " 4V-. $ -Q /M ' 7 ) "Q$ " T / S "v$?)%D,D " $ ) "Q$ " A " % " D ) 1P -. >=@?BABCED F@?@G+H@?BIJDBK ?P LNM K O P@?RQRS@?ROBFH " T ?BF+UVD PWP@?BQRX@M YEG ?J1[ $ L E5=MP ' " T " -. 2 s/© D,) " «t + . p 3. ONTOLOGY-BASED MODELS OF CONTEXT € " ) ) 5 AONP D() ' 0 ) 1 $') " '@ <-P S (NP " " MP " A " 5/ . S ) MP XN=5/ S  $ -X ) M ' " $ + " 2 -. " ' 9 O o p p rn [ZH " ) " " ­ % 'o p q rO <­ " x ? O oIp y rV " Q ̈U " U ? 2 O o