Browsing eNauka
Browsing by Author Krdzavac, Nenad B
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) | Type | М-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 | 21M21 |