@electronic{www.computational-logic.org,
   title       = {ICCL}, 
   url         = {http://www.computational-logic.org/content/events/iccl-ss-2005/lectures/horrocks/},
   biburl      = {https://puma.uni-kassel.de/url/50d63a616a6100c9651b87b23c3a7fd0/stumme},
   keywords    = {iccl lecture horrocks summer course dl 2005},
   added-at    = {2006-01-19T17:08:45.000+0100},
   description = {},
   interhash   = {50d63a616a6100c9651b87b23c3a7fd0}, 
   intrahash   = {50d63a616a6100c9651b87b23c3a7fd0}
}