Knowledge Representation

  






   


   
  

  
   
  
  

  

    
 
 
     

       
   
     
 
  

  
 ! " #   " $%&'()&(((  *   + ,$')'%-).$/( 0
 $&10+ ,$')'%-).%'%  +
 

  *  2 &((&



   
  

 
   
  
 

 
    



 
                  
  
  
   
 
         


    
  
 

 



 

  

 

 
     
       
  


    
  


 
 


 


   
  

     
  




 
   
  
  
    

 


 

 
   
  
     
 


 

   
 

 




  

    !

  


  

       
  
   
  "
  
        
"     



  
    
  "   
  " 
  
  #  
$  %


 
   
  
&


   
  
     
  
       

 '       
 
 &

    
 
     ' 

   
 

 




  

      


   

       
  
  
  "
  
        
"     

  
    
  "     " 
  
  #  
$  % ( "

  
      
  
   
   
  &

   

 
     



  

       

    
  
    
    '% )   
   
  
   

        
        

*
   
  

  

%+ 
     


 
   ,     % -   .
 "     /   
    .
     /      
0*  / +
 %            "       



  
 )  "

   
   
  

    "           


  

    

 % 1
      

 
   
    
        

  " 
,     


   %      
    
  
 

   
               
  






   

   
  
% &

 %' 2"

    

    *
   
  
+          
   ,%

         -   
   
  

 
 !345  

"    
           

    
  

 
   " 
               6






-  !  


   
 
 %

 

  

.
       %           

"% )  "      *
+ 

 
          
        )  
% ) ,   
   

     
  

             
 

   
   %

 


  
   
 
 
  
   
 

 
  
  
  

       
  "       
  $    "    
 
     %
 !378
 !398   
   
  
    
 
     


 


  
 
  
    

   
    :    
  
  
$ 



  
  
   
       
 

   
  
  % &

!

 "   
  


 #
  $    
  %' ; $      
 
     


   
 -  ! 




 
  
  * 
 
+     



$    % "  
 

  <
 
  
      


 % 
 
 
 




  
 
 


 


  

 
 
  
 


  
 
 


  
 

  

 
 





 !398
 !358      



 

   
    

  
$     

    



  
   
     
  

    &

       '
       $0
   "     "
 
  

     
  " 

         
 /%
 !358
 !338    



 
     


 "  
      
  &

#     
  

  

'
   
 
     
  "     
   
 
  
 
     *
  %+ ; $     ,  " 


 =    
>  
       
  
   ?


    



  &- 
 *+  *
  %+' 

     

      
 @ 


 

  
>     AA  A%      


  6888 %



                 
   !588
   !388  "        "          

 


 
     
&



 


     '% ;    "  



          
 
   

   
   
% -      "             
 


      
  % A   


          

% -      " 
   !588
   !388 


   

  

        
      
       

 

 
  $ 


:
       
  

      
    

  

    $ 


  

     :  
     
       * 

+    "


   
   * +   $  


   * $  +       $ 



    % -   
  *

+ 
   
       %

        

         <
  

 *- 
   
 %+ ; 
 
 

  

 
 

-  6     * 


       
   
 +  *- 

    
 %+ -  
  *

+  " % ( =


      "  =
  "  
 "
 =

   "  % -  "     "     "    
 "
   



   "  % -"            "  *-+
 *;  %+   
   


 "   
 

   
-  
;  % @

  
     
    
 


 "   -  ;    " 

%

 
 

   


 
   & 


   "  ' - 


  & 


   "  ' ;  
 
 ;   


  -%   
 &    
  

' *- 
  B

-  6     

 
 

 "
   

%

   
 










  





     
%

 %
   % 



-  ? - #
 
   

 %

 
 

 


&' 
&'




<" 
%  
%

 
 + 
   & 

 
 
  

' ;   
  & 
   "   "  ' -%     


 
  
 $   $ 



   
              
 


 "   -   $    $ 


    

          -% @     "       % 



    
 
   

           % 
  =
    " 
  

"   %  

 
 & * 

 +'   &

  
  



 

    ' 

>
  
  "    

 
& 

'    *  

 
 

 " +   

-  6      $ 

 

  

 % ; $    

 * 
    
  
+ 
    

    

  
  
 *
  +
   


 *
 
  
%+ ;     &      ' 

 



 ,  

     
   
       #
  

-  ?% 
     *
    
  
+      
 & &' 

& '  &  ''%       
  
%

    

      
 & &' 

& '  & & '''% 
    
 
 

     
   
  "     
   
  
 

     
   
%

    

      
 & &'  & '&'  & & '''%     

     "    -  

  

 

       %
  
      




  "   

   
   
  

   " 


      *  



+      


 "  %
 


     




"   

  
 

   4

-  ;   
      *
  
 +      




 "  % 
     

 
      >  

      

 
        
  

   

   
  0  

        
%  
            >  

    


 $
 
   
 "   

     
 ,
 
  
 
     
 
 

 

          
 

     
   

 
% -     
   

 
 

 "
  #
  
        
   
 

       
  
 

  $ 



   

% -  
 
      
 


  $ 



  
 

      

 % -  

    


       * +      
 

   

   

      $ 


% A

        
 


             % 
 
   
  

  

   


    0 
   
  

 
  

  

%   
    
  

  
     " 
 
 $        
  
      
  
 
 
          


         
% -  

  

   
 
*

 

+    "
*
  +        
      
    
     

  %      

 0 
 $ 
  

 

 
  0 
    

    0 
 $ 
     %     " 
 
   
  

  

    
      
                
  
  
% -    
   
  

  

                
 



   
   
  
   "  
   
  

   

     %
 
   
  
   
  *
 

%+

       
  !398  
   
  
     
      *   "C   
" %+   
"     
 " &
    '    
 



       
   
  
% ;      
>     "  
  

 
         
     !    
  
   "   

 
% ; $        7

 
  
;
 % !   #

    

  , % A       
  
 "
   
 
   
       
  $      % 1
  
    
 
     
  
     
    
% ; $   
   
 
  

 )  

   
   
  * 
 )  

+D !   
     
   $           % - 
 
 

   
  

  
 "
         
  
          
  % -    "C   
 "        
    -    "  
 "    

  

 
   

& "'   
         " 
    $    $ 


  

 
       
 
E 
  % -    
 "    

   

 
    % ; $   
   &

 '  F(@G &

#%&' 

 * 
   
   
E 


        +    
  
  
   
 @22<  
 
 % A
   F(@G   * 



 $D+  
     
 
% -    


   
 

   "
      
  
 

   

# " 
   
  %   
  

   "  
 
 

 @  
 
  "         " 
  % 1
  
 
   "   
  


   

 

    

     "   
   
   "   
  
 
 
   

 

%
 
    
  
   "     
 
 
 "  % A         "C    
 
 



  

     
 % 
   
      % F"    
          $  
 
 
  % A   


  
 
   %
 "   
    "    
  
 
   
 $ 


   " 
    
    "     " 
% 
 $      


  &  '   
  
       

  
% -  " 
            
    
      

  
   % ; $    "
  *.

    

   +    
   .
  
  "

 



 
% &

# 
 

%' F"        

 #  
    
      *A      



  
   
 D+     
             
  
   
    " 9

 
  %

      
  &

 
 
  

   '  

 
   
  

  



   % - 
     
   " 
    
  &

'(
 $    
 

'
  % - 
  


      
 


 "   % -   


    
  
 % <  
  
  *


+     

 * 


+     #
   
% - 

  
  

"   
 " "  
  


    
 


    %  " 

     

    



    
 

   "  
 
 
     * %+       *+
    "  

  


     
  "      

     
 


% -  

  


   "  
  =
  
     
 
 
   
 
 "
 

 
 % -    
 

 "
  



 
    % 
  
     
  

       
       %   "                "     
     
 
       % - 
  
/    


 % -       
E 
   

 
  "      
:           &  ' 
:       

  %  
     


      

% ;     

>  
 
    
   % F"   " 
      $                
  %   
     

 
  

  

      
 
   
  

 % A    
    " 

      


 
 


   
 %       
 
 &

#
 
( '  "           
  
 
 
  
      
   


  

% - 
  
 
  " 5

has-part Animal isa

wing

has-part

Bird

isa

sing

can

Canary

instance

Tweety

head isa

moves-by

flying

swimming

moves-by

isa

Penguin

moves-by

Fish

has-part

fin

instance

Charlie

instance

Opus

;  ! 

 
  
 
 
" 
 

 &


 
'
  

 



 
 % ;  !   

 

  

    
  

  
   "  
  #

 
   

   
  $  
"   
  $  
 
  #
  

    %   
 #
  " 

2      
   
    &
    
 
 

'
    

 "   &   
 '% -   



 "  
        &

'

 =
     

 
      & '% <   
 
 

  
    
      
"  % ; $   
  
;  !    

       
   
 
       %     "  

     

 
 
E /% "       


       

     

  
         
 
 -  
  



   
 

 

 
 

     

       (   
@  % (   
@   "   
 


    

&  *
  + &

)
         

  )
      
  

*''
   
&  * +'  3


 
 
    
  



   
 

 % ; $   


          


   / 
     
  =
    
   
 
 
  
     
       
  % & <2- &
 <12 &    <12''' F <2-  
  
 
 <12 
          


   % -  
$    
  
  



 Æ 
 
  
% -  

 
   <2-  

   
 <12      
    <12%      
    

   
 
     
  
        
% 1
  
   
 
    . <12      
    <12   Æ

  
 
   .  
% 2   
       

  &

"   (

    ' 

   "




 Æ 
 
  


 

 
 
   



 
  
% -  
 
 2 @
 ; F  ;  !  & 2 @ &
  &    F<(' &  !   F<(''' & ; F &
 2 @ &    ; 2' &  "  A  2H''' -    " ; F  
   
 
  2 @



  
  
   ; 2 % 
    
    
    
         /  

      


      /
     
    & ) ( &
 2 @ &  6   A 2H' &  6   A 2H''' & ;@I 2H) ( &
 ) ( &  "  ;@I 2H''' & <2HG 2 &
 ) ( &  "  A  2H''' & 2I &
 ;@I 2H) ( &  
 2H'''     
 
 
  
  


    

  
  
  
% -    

 



 "         
     "

  
% 

  



 
  

      


 $   

 
        
  
 
  
   
   
 
   

   
   
% ; $       " !8

;  6   

 
 
 
 2I&-' A 2H&-
' <2HG 2&1  ' A  2H&1    
 '  &- -
' " &1   1    
 ' )

  
  
       

  
 




  



  


    
 
  
 

   

  
   
         





 "% 2 

   

  
        
          
     % (   
 

   

  
   
   
   

  
   % -  
 "   

 
 
 
 
 
       
   &  

 
'  
 "        
      
 


 

 % ;  6     

 
 
 

     
   

 
  
         
   

 
   




 "   

    
   

 
       

 
  
      
  %

               
 
     
  
    


 

"%
       
  
     


  
  
   
   

    
    " 

 % -   
 
  & *   +'         &

#
'% -           
  
    
   % ;    
      
  
  "  


  
  $ , % ; $      
 
Æ  $    

        % I  !!


       ) 

 
     
 "  /
 


 )  





; 

 
     
"   
 



 )  "   


  



 ; 

- 1 



 




 

;  ? ;  !           

  
  
 
 Æ% 1
  
    
      $  

        % -        *Æ  +  


     
  
 ,   $   



Æ  *  +  


     
  
 ,   $   
 %      
  


    
    

    
 
         
   *  +  
 
 
   *  +
 
 
    
   *   %+ ; $   ;  ?  
  
 ;  !    % 1
       
   "   
 
 
E


 
%
    
   
        
       
 


 
 
 %   




  

   $
 $    
 
  % 

 



      $


$         
 


  

    % 

       "




     


   

   "%            


      
  
    "     
 , % ; $      
   

  
  
    "         

 "

   
%       
 
    

 
    

  
 
  
 
  "

     
  % &

!   #
(
  
 %' !6

!            
   
   :  
  
 % <" 
   
  "
      
   % -   -
 
 
% A      
D  
  
 
   

 
    " 

    #  
% .    
  
 
  
  
   
       &

!
          

 '  
  
  
     
  

  

   % -  
 
  
     " %

     " %
  % -       
 
        
  
    
    
  
& 
 $'   
     
 & 
  '% 

   
  
 
      
   
  
    
  
% 


  % A    


 % 1


     
  
   
   



        % -  =
 
   
  
 !8!4 
    !8?8  38    
  
 
   
 #      ?78    
% -   ?78    
  
 
 
 
 #     
  



 #  
% 1
     "    !8!4 
 !8?8     
    =

  % 2
    =
 
   
 
       =

   
    



 "      
  

 


  !4  ?8% 
   
  

 

   


  

      

     

   
% ; $   


        
  
  

 &
'
 ( &
'   
( &
' (  &
') ( 


  )      -      

   
   #  

   


% F" 


   @   
   
  
      


        '   
  (
    

   
        
   %      "       
 
     "  


    

 
 



              
    % &


    

  %' "

#        $      %  

 
   
  
&

)

 
 )

 
  

    

 '  


    
 


   !?

 


 
 
        

% -  
  
>
  

  
   
 
   * 
+   % <  
 


 "  
"
 

 


  
       
    &
 "


'  
 

       % <  

 
   "
       
  "  

 "% -
     


    > 
%
  "  , 
   "  
"   


  % A
  "  
 
 $    &      =
   =
 
 '
 "  


   


 

 
   ,    

 
  


   

 
  % - 
 


    >  
  =  

    % 2  
  , 
    
 

 
 
  "  

   
 % &

 






 
   %' @  

 
   
  
  
    # 
     


    >  
  
 


 

  


 
     
  
   
% ; $  
$   


   
 
     
    
   

 

     
     
    %
   

 
   
  
     
 


    >  
  

 


 
   
 
  "  
% (     
  
 " 

  
  >     "  
  
    
  
% 

 
   
  
 


      
     
  
&

)

 

     
  


 
  #     '%    
       


  

        
  

#  


  % &

  + 


 
 ( %'

& '  # 


 
  
  

;  !
 ?
    

/  


%    
  1      ,  


   1  
/% F"   
 
  1  
 
    ,  



  1  
/% -
$   

 
 



  
  
    ,  
 "  



%      
   
  
  


   



% - 






  
  
 
  
     $  
% - 
  
  
    
 

 





 
  
 
  
        % ;  
  "   

   

 

      

  


  
  


       

    




  
        
    

    !B

     % &.  
  $   %'      >  

  

  " 
   
   
  
   &

"


  '
  

 "     % "
   



   " 
     
   
,  
 

  
 
  
   "   "  
  %   
           
E              
        
  
    
%   
    
   
  
   
  
         
  
  " 
     %   
    
  
 *  +   "
      
  

    
    
  
      " % "

  
 
   
""  "



  

 
&    '%    
  

 
 " 
  "   
   "   
   

 "  %    

 
  "   "    

 

 
       "       

    
      "     "  

 
  
% -     
   
  
     
  
       
 "

  
 
        


 &

, 


'%               
    

      
 
 !

 
 % G


   "


  


      

 

     
       
  
  
   
   " % F"   
  

      



           % -           
 $   
  

 
   
        
  

 $   % -      >  

     
      " 
 % 
           
 
   
  
   

  
  
       

   "

$ 
   
 "

  
% ; $  

     
    
  

  
       
 % & *  
+ , '%


  
  
 





   
 
 

  
   
  

  
 % & "


 

  
      "    
  %' ; $     
 & * , '     
 

  
  $   
  *


  
4% A  
 "
% & *  
+  & * , ''%  
  =   
 

  % F"  
    
 
 



""% ; $          - & 
+ . , '       - & 
+ .  & * , ''D -    
  


 
 
 
 
   
!
 &

-  '
   
         
9 "% !4

    
  % &!336'% 

 
%
  % %   
  " -


  675J69B% .
A  K 
 2 I


   
% ) (% H%
 
 %   &!394'% /


  0
  1 
 #


%    

 2 I% ) 
 % .%
 @" # F% .%   &!354'% /
  ! 

/


% 


 
  % 
 2%
    H%   &!359'% 
! 

$
1    
/


  ! 

%  
L  2 I% ( "  <% &!338'% /


  #

! 

% 
 

 
  % F  .% %
  % %   &!354'% $ 

 
# 

2% $ 2 2.% HM 
  %   &!336'% 

/
 %    G% 

    G %  N
  @O % %
   % %   &6888'% 3 &
4
  ! 

/


1 &
 ! 

 ! 

 &
%  

C-  - 

 
   %   )%
    .% &!336'%
   
  
%
  % %   
  " -


  9B?J943% .
A  K 
 2 I 
   
% @

 ;%   &!336'% 
 3
   " -


%  


 1$% @" # F% .%
 @  H% &6888'% 
&  ! 


%  

    % @   > L%   &!338'% $5 # 

1 4
    #% $ 2 2.%   F% &!33!'% ! 

/


1  - 4


% $ 2 2.%   (% <%
 
 .% @%   &!357'% 4
 6  
 4
%  - 

    %
 " %   .% ;%   &!33!'% 4 
 
 3
  1 )   
/


  ! 

% 


 @   %   .% ;% &6888'% ! 

/


1 & 4    #

 $ % ) C    H" % !7

(

!"   
       
    



  
  #  
&  '   

$ 






#
 

 


   $ 


  *+  

 $ 





 

 
    
 
  #  
% - #  

 
 #  



 
  

 
  %

 
   

       
 
  

    
$  %  
   >   "
    
  
       

    
   

 
$ 
 

   "

"    $  

      

   
        $        $  %    
       
    



  
  
 
 

  
  
 $ 





 & 
' 

 


   $ 


    

 $ 



 
#
 

 


    
    
   
   
  $ 





 

 
 % # !

 

       
 "    *
 +
         

 
 %
                "   

         
    %
     

      
     
 
  

 
%        
       
   
     
   %

    
    
 


 "
  

 

%   

   
   
   
 
 " 
   <
  ;

 .
        
    
  
"
 
   < 
%   
          %
  
 
 
   
  
   
       
 

 $
%

!9