The DLRUS Temporal Description Logic. A Artale, E Franconi, M Mosurovic, F Wolter, M Zakharyaschev
Description Logics, 2001
27 2001 A decidable extension of SROIQ with complex role chains and unions M Mosurovic, N Krdzavac, H Graves, M Zakharyaschev
Journal of Artificial Intelligence Research 47, 809-851, 2013
14 2013 On the complexity of description logics with modal operators M Mosurović
PhD thesis, Universitet u Beogradu, Matematicki Fakultet, 1999. In Serbian, 1999
13 1999 Reasoning over Conceptual Schemas and Queries in Temporal Databases. A Artale, E Franconi, M Mosurovic, F Wolter, M Zakharyaschev
SEBD, 201-214, 2001
7 2001 A thechnique for handling the right hand side of complex RIA M Mosurovic, N Krdzavac
Proc. of 24th International Workshop on Description Logics (DL2011 …, 2011
2 2011 Some Optimizations R+ IQ Tableau Algorithm M Mosurovic, N Krdzavac
Proceedings of the 2nd International conference" Optimization and …, 2011
1 2011 On the complexity of (restricted) AlCIr M Mosurović, M Zakharyaschev
Publications de l'Institut Mathematique 95 (109), 133-147, 2014
2014 A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms M Mosurovic, H Graves, N Krdzavac
25th International Workshop on Description Logics, 497, 2012
2012 Disjunction in modal description logics M Mosurović
Publications de l'Institut Mathematique, 25-35, 2007
2007 ON THE COMPLEXITY OF (RESTRICTED) M Mosurovic, M Zakharyaschev
On the Complexity of (Restricted) ALCIг M Mosurovic, M Zakharyaschev
Reasoning in Basic Description Logics and Description Logics with Modal Operators M Mosurovic, T Stojanovic, A Kaplarevic-Mališic