Mona as a DL Reasoner - CEUR Workshop Proceedings

    

               
         
 
! ! " !





  
  
   
   
  


      

    
    

  
     

  
      
  
  
  

  
 


  

       
                 
            
    
  
                             
     !     


  " #  $ % 
  $     "  

  &              #
 ' (   


  $  "       $   

 )  
  $   Æ     
   * + 
 )    ,Æ 
   
 
    

"      "   # "    - .      "             
 )
        
  (/        

       )  (/   
 
  
 

      


      


          

 )         #      
      0 #     #    

        $
   "    
   
  

  1 2 ,    - 
 3    
  &            
   
     )  

  
   (/  
   4 5
          
 
      % &      
     (/    

            
    
     
  
     

      
  
 &    
   " 6

   )   #        
 
  (/     #   
        
      
  "   "  
   
 
    "      %   7$   ""  
 )2      

  

    


 

           

  . 
     7$  )2    $    #   
 )  
 (/    "

    8"    " 
   )  (/     
 7$          #

    %        
    $  "       
   (/ ""     "        #           Æ 
      9       ("         $ (/ 
"    
   
 



      

       

      
         .  7$       3 
:   


    $
  7$         
      "    (           "        
     #  
     .  " 
 $      #  );!      
    & #    -    
    
        !  
 !         
   
   

  "    8  
         "   " %  %:  










 




 

   !  
 ! 





   !   !!








 

 

 &           
  
 & #  
#

  " 
 
 
  
)B 

        $ 

 
 

   A 
 
  &     3   
 
   





       
    
         
"      "       $      


      
  #  %
  
" 
  #           0           
 2      

             
           /
 
     7$    
     
                
 '4  !
  )

  3    "   
  
    

8
 
     H  I /     
  
 
     
   
     % 
)  


"" (/    

   9   )      
 
     
    
  
 
 $      #  ' 

   
#         " 
 
            .     
     
    
     #J  (/    
                 >                   " 
 
                    9 
 
 
     $
   >             )2         
  &       )     &   
  
       
      &  
         

      
  

   #  
       &     
    ""    #
      %       
       H      H    H   3 &    )     
    
   ,   -     
   H  

 "" 
    9    #       + # 
     $     9                   3        
   
    
  
      #  %     H    "   
      3 &  
      $      
"  3 &      " 
     #          #  
 (/   % 
    #      
  
           
      H      
           )   % 
 
  
        !      K#   
  
   
     " #   B
    
 
        
      
 $   $ 
    "   

 &  ,- "

 
  
  
 9  
 
 $   
 
 
       

 )   
          #              7(( ! L  
        
               
   "   A        % 
   
 H     ,- 3 &   ) "  
H ""        "  %  & #          )    "  

 

   $   3 &  
    "! 
  
   

        
        
 
      L  
     
    " #       
    
  
       

   
    

 H         
  7((
  $ "     
  3  H      9#   
       
     
 ,-        
   .    
          J 
     
        
  H     H 
$  
    
 '4 
  7 
 
        I
        % &  
  $             
 
 
 '4   

  "    9
  H              
        ) 
    #   Æ  
  # 
  "     " "     
"             
  &       7$    
 
       
 
 "   
 L  
       % )      "   7$    3  !          
    M7 
    
    
     7((  
  "     %         7$       
 H     ,- 3 &  8     " 
       
  
 '4   G"     ,   -   3      F        ,# "-  3                 M7 






"

 
 )    $             
    $    
 

)       (/   
    Æ          #    . 
$ 
   
        
 3   
 ) $  "