Browsing eNauka

Browsing by Author Zakharyaschev, Michael

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)TypeМ-cat.
2013A Decidable Extension of SROIQ with Complex Role Chains and UnionsMosurovic, Milenko; Krdzavac, Nenad B; Graves, Henson; Zakharyaschev, MichaelArticle
22M22