![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| slides.zip | 2025-02-06 17:20 | 2.0M | |
| synthesis_slides.pdf | 2024-06-12 16:47 | 1.0M | |
| owl.pdf | 2025-01-09 16:48 | 789K | |
| dl.pdf | 2024-01-18 13:56 | 743K | |
| space_2d.pdf | 2024-01-18 14:02 | 633K | |
| appl-semweb.pdf | 2024-06-01 05:33 | 210K | |
| fopl_fragments.pdf | 2024-10-08 12:42 | 156K | |
| msc-theses.pdf | 2024-06-01 07:35 | 95K | |
| example-tableaux.html | 2024-10-09 09:14 | 7.2K | |
| example-tableaux.text | 2024-10-09 09:11 | 7.1K | |
| concrete_domains.html | 2024-01-18 16:16 | 5.6K | |
| DL_tableaux.html | 2024-01-18 16:19 | 5.3K | |
| DL_tableaux.text | 2024-01-18 13:57 | 5.2K | |
| erdos-bacon.html | 2024-06-01 05:42 | 3.1K | |
| erdos-bacon.text | 2024-06-01 05:42 | 3.0K | |
| many_valued.text | 2024-01-18 14:08 | 2.9K | |
| concrete_domains.text | 2024-01-18 14:09 | 2.6K | |
| pre | 2024-10-09 09:12 | 115 | |
| post | 2024-10-09 09:13 | 25 | |