![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| AAAI02IHorrocks.pdf | 2007-07-26 12:51 | 81K | |
| BaHS02a.pdf | 2007-07-26 12:51 | 89K | |
| HoPaJAR.pdf | 2007-07-26 12:51 | 607K | |
| HoSa02b.pdf | 2007-07-26 12:51 | 266K | |
| Horrocks01m.pdf | 2008-06-20 18:31 | 429K | |
| Horrocks01n.pdf | 2007-07-26 12:51 | 346K | |
| HorrocksSattlerECAI2002.pdf | 2007-07-26 12:51 | 105K | |
| LAHS02.pdf | 2007-07-26 12:51 | 475K | |
| PaHo02b.pdf | 2008-06-20 18:41 | 139K | |
| Pan-Horrocks-datatype-2002.pdf | 2007-07-26 12:51 | 213K | |
| ai-review-final.ps | 2007-07-26 12:51 | 118K | |
| building.pdf | 2007-07-26 12:51 | 148K | |
| cade02.pdf | 2007-07-26 12:51 | 217K | |
| dl02-backtracking.pdf | 2007-07-26 12:51 | 62K | |
| dl02-shoqdn.pdf | 2007-07-26 12:51 | 204K | |
| edbt02.pdf | 2007-07-26 12:51 | 191K | |
| ieeede2002.pdf | 2007-07-26 12:51 | 168K | |
| iswc2002.pdf | 2007-07-26 12:51 | 164K | |
| kr02.pdf | 2007-07-26 12:51 | 148K | |
| lpar02.pdf | 2007-07-26 12:51 | 169K | |
| oiling.pdf | 2007-07-26 12:51 | 140K | |