@ARTICLE{
author={Mosurovic Milenko,Krdzavac Nenad B,Graves Henson,Zakharyaschev Michael},
year={2013},
title={A Decidable Extension of SROIQ with Complex Role Chains and Unions},
journal={JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH},
volume={47},
number={},
pages={809-851},
document_type={Article},
} 

@ARTICLE{
author={Krdzavac Nenad B,Gasevic Dragan},
year={2011},
title={Reasoning with part-part relations in a description logic},
journal={KNOWLEDGE-BASED SYSTEMS},
volume={24},
number={2},
pages={347-353},
document_type={Article},
} 

@ARTICLE{
author={Krdzavac Nenad B,Gasevic Dragan,Devedzic Vladan B},
year={2009},
title={Model Driven Engineering of a Tableau Algorithm for Description Logics},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={6},
number={1},
pages={23-43},
document_type={Article},
}