ML Anthology

Krdzavac, Nenad

1 publications

JAIR 2013 A Decidable Extension of SROIQ with Complex Role Chains and Unions Milenko Mosurovic, Nenad Krdzavac, Henson Graves, Michael Zakharyaschev