=Paper=
{{Paper
|id=None
|storemode=property
|title= Extracting Micro Ontologies from Interrogative Domains For Epistemic Agents
|pdfUrl=https://ceur-ws.org/Vol-710/paper19.pdf
|volume=Vol-710
|dblpUrl=https://dblp.org/rec/conf/maics/HughesH11
}}
== Extracting Micro Ontologies from Interrogative Domains For Epistemic Agents==
Extracting Micro Ontologies from Interrogative Domains For
Epistemic Agents
Tracey Hughes and Cameron Hughes
Abstract Interrogative Domains as Sources of
Knowledge
. # %$ #
8
$ # # #
' 2354, -
# # # %
#
% 1& #
% %7
#
%
Introduction % - %
! " # $ # % # % 9 %%
% # %# # &# % % # %% %
'( #)" *++,- % # % # # .
" # # %
# % % " # # % 9
'! # $ *++, . % % " # #
% # #
% " % # -" #$ # #
" #0# 0 #1 # 9
%% # # # # '0 2345, # % %
'1 *+2+, # " # 0#
'0 2345, % # # & # #9 #
# % # # & % # %% " # % " #$
% % # ': #:*++3,- #%
0 - % # % %# " # #%
% 0 % #
# # - % % . # #
6 " # $
-
% $ # #
% % #
# 7 % - % #% #
% # 0 %7
% # 1 ) ;<')0
; < 8 , %
#9 ) ;< 9
0 0# # #
) ;<
0 #
% " #$ #" # %
Interrogative Domains and Entailment
. 9 9
# .
% # %
## # # # - %
" '!
2345, 1 %
% 9 # #
%$ # -
$ # # # #
-% %$
# & "
'!" #! *++,!$ #
# # "#
% %
= $ #
> 9 $ #
-2 " % %
# #
Question and Answer
- 8 #
Q6 < 8 .% $@ " 6
A $%&'(')'') *'2,
Entailed Proposition
- )' + #' +
<2 " # % #
9 % - 8 >
Inferred Propositions 9 ## # #& # <
C ':*++4,
Contrast of Agents and Epistemic Agents
. 9 % " #
!" # #& # # %
" " 8 #
% % %% # %%#
- % ? # 8 #
<2 #% <2 " > 21
% .2 #.*- %
" # 9 # % # 'C 233B,') #; %%233,
#'1 # #*+++," % @ "
# C# " # 0
Notions of Knowledge and Truth '@ " #C# 2333,1 #
'@ " #C# 2333,
# %" # # # # 'C 233B, # ') #
" #1- 8 '@ 23A, % ; %%233, &#
@ #'-8@, % %
8 - 8 # ': #:*++3,. '@ " #C# 2333,
#'; 23AB,% &# D D
" - # #% # - %
% . # # #$
" # # # 7 &#
%1@ " '@ "23AB,
# # 0 # ## % % #& %
E # '# #
< ': ?F8 % # #
*++4, # % # $ , # % / "
# 0
7 % # " # #
% #
% #> Defining the Knowledge Space
E(8 'E# ( 8 , ': %6. '.'.7''. 8
# : *++3, # !E.
'1 # #*+++,-E(8 # # %
,6 # % # -
6
,%-. '/''01'*,
6
1!
. < C
/ ## % % .
' %
0 ## % ) % #
% . " # % # "
! # ) % "
- " # # 0 #-
#-8@'7 &# %,.
#& #6
.%-2'2'3'4'51 ! % 2 "#
3
6
45
%"
%" " "
%7 & *
*
% 6
0 %
.
2
5
"#
2 5
$ 7
%
& ' ( )
*
+ ! ,
!- -
* 8
.))/!
4
+
9
45
0 / ' 9 "'" #) :
) % # #" # - & % ?F8
$ $ - $ & ?F8 &
-* # % # .%?F8
. " #$ " #
# ) $ # "
# % # . # ?F8 &
# $ '@ #
0 # $ )233B,
'1 *++5, 9 C %6 %6 # ! "8 6
% ': # : *++3,
# % % / :!
" # /
%
.%6 % # %
GH ',
Model Theoretic Semantic = Micro-Ontology
% E(8 > # % = #- 8
< 89 #6 '=-8, 9 % %
'!" #! *++, 6
:0&:* ) 0&:* ;,/&&:** $'A,
%T
- 9 # T
# % " % # # 7 T
Ontological Artifacts ( =-8 %%
% 0 . % =-8 %&
- % " # % # 0 % " #
" # % # .% - # # %
# %# ) ;<6
# #
# #
9 % / " #
C ',
# # # '@ "23AB,
" % 1 # # 8 #
': # : *++3, # " # #
9 # % # %> 9
9 %% #
- 9 % -26
%% 6
<26
Step 1: C " % ?F8
% . C B #
/ # 6
Step 2: %?F8 # 2B <2G 6
%$ # $ 2 $<+ $ 2 '$ = ' $
Step 3: ) # " >
$ # "
- 9 # % #6
Step 4:
?F8 ?&$ 2 '? *
Step 5: # 6 ?&$ = '? *
?&$ > '? *
9 %%
- % # # ) ;<
% : # -) ;< ;)8==8)'.C.C, #.
# # # ?F8 > .C.C ' C . %
% C, #(.'( . %,
# % ) ;<. # ?F8
9 % # # # 8K
% # ' #% # 7 .C.C % 1 )E(<- # 9
, ' . ?F8 > #
, " ?F8 1 .
# " 5 % " ?F8%
# % ..% # % "
# '!" #! *++, # ?F8% #.C.C %
# I #J0 #- " ?F8 %
% . % 0 ## %
9 - ?F8 -.?F8>
% $ # C ' # ,@ #
'(, 8.C.C 0 # - ;( 8 * % 1 # %
#7
- # # " #
$ $ %
# 0 :
7 #
0 % #
# 7
%& # 8 "##
% # .
"# #
: # 0
$ % %" #$
##) ;< %
# # % %
# 9 9 1 %
0# " #
> $ # $
> #
*+L %?F8
# C #
" # %
5+ # <@2A.+ % # " # 1
% : - : # 8 *++4 <
# 0# C # ) % - 8
# # % 8# # . % C #
# # # %& %1 < C 62+202+5
#
" # # # %% C 233B 8 # 8.
1 # .C.C( M A+'2,6203*
% % 2++L %?F8
# 1 # % ) 8C # ; %% = 233 8 8
# % 8 % ) 8 . # %
" #$ . % A5042
@ M 6=.-
References
1 # #=*+++) 8 ) 8
1 @ C; . #1 # M #=6=.-
*+2+ . # @ # = -
> 0 # < E @ " ) # C# > 2333 >
M %8 & . % < E # = 08 C 8 %
8 #= % K *6*0*5 = #8 & . K * O6
B32023
0 C 2345 @ # = 6 8 8
@ #8$ E < <9 @ : #)233B> E
CM %< K B6 . # = # - C % (
30A4 > # E )
- ( #6@ 8#
! @ = - " " 1 *++5
C 1 - #8 ; <= 2$ -=.))1 >
(8C8= C #C % < 6 < < * ? 9@
A>
C
: # : - *++3 - = ! ; < ! " ) # ) # <C 2345
< 8 #. < . 9 # (
# % .<<< . % #=6=.-
. # . C K 2
4504A2! 7 6.<<< !" # ! M *++ ) #
. % % ( C % # 86 C.
@ .23A- $ % ) (
@ C ( "6C=
( C # )" K *++
; < 23AB . M &# - ! % @ #N C #=86=.-
8 K *B62*202*B
1;2354- %? 8
@ " C 23AB C # = # : #(M6 < 8 .
8 > 2A64B03