Browsing eNauka
Browsing by Author Krdzavac, Nenad B
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2013 | A Decidable Extension of SROIQ with Complex Role Chains and Unions | Mosurovic, Milenko; Krdzavac, Nenad B; Graves, Henson; Zakharyaschev, Michael | Article | 22M22 |
| 2011 | Reasoning with part-part relations in a description logic | Krdzavac, Nenad B; Gasevic, Dragan | Article | 21aM21a |