The DLRUS Temporal Description Logic. A Artale, E Franconi, M Mosurovic, F Wolter, M Zakharyaschev Description Logics, 2001 | 28 | 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 | 14 | 1999 |
Reasoning over Conceptual Schemas and Queries in Temporal Databases. A Artale, E Franconi, M Mosurovic, F Wolter, M Zakharyaschev SEBD, 201-214, 2001 | 8 | 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 | | |