The DLRUS Temporal Description Logic. - Alessandro Artale; Enrico Franconi; Milenko Mosurovic; Frank Wolter; Michael Zakharyaschev (Description Logics, 2001)

Reasoning over Conceptual Schemas and Queries in Temporal Databases. - Alessandro Artale; Enrico Franconi; Milenko Mosurovic; Frank Wolter; Michael Zakharyaschev (SEBD, 2001)

A Technique for Handling the Right Hand Side of Complex RIAs. - Milenko Mosurovic; Nenad Krdzavac (Description Logics, 2011)

A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms. - Milenko Mosurovic; Henson Graves; Nenad Krdzavac (Description Logics, 2012)

A Decidable Extension of SROIQ with Complex Role Chains and Unions. - Milenko Mosurovic; Nenad Krdzavac; Henson Graves; Michael Zakharyaschev (J. Artif. Intell. Res., 2013)