Description Logics: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
<pdf>https://www.cs.ox.ac.uk/people/ian.horrocks/Publications/download/2014/KrSH14.pdf</pdf> | |||
= Evee = | = Evee = | ||
{{Link|target=KR 2024}} | {{Link|target=KR 2024}} | ||
| Line 6: | Line 6: | ||
<youtube>DUDWp2YmhaY</youtube> | <youtube>DUDWp2YmhaY</youtube> | ||
<pdf>https://ceur-ws.org/Vol-3515/paper-1.pdf</pdf> | <pdf>https://ceur-ws.org/Vol-3515/paper-1.pdf</pdf> | ||
<pdf>https://ceur-ws.org/Vol-3263/paper-2.pdf</pdf> | |||