Description Logics: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| 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}} | ||