Autori: Krdzavac Nenad B
Naslov | A Decidable Extension of SROIQ with Complex Role Chains and Unions (Article) |
Autori | Mosurovic Milenko Krdzavac Nenad B Graves Henson Zakharyaschev Michael |
Info | JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, (2013), vol. 47 br. , str. 809-851 |
Ispravka | Web of Science Elečas Rang časopisa Citati: Web of Science Scopus |
|
Naslov | Reasoning with part-part relations in a description logic (Article) |
Autori | Krdzavac Nenad B Gasevic Dragan |
Info | KNOWLEDGE-BASED SYSTEMS, (2011), vol. 24 br. 2, str. 347-353 |
Projekat | Manufacturing Systems Integration Division (MSID) at the National Institute of Standards and Technology (NIST) in the United States of America |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
Naslov | Model Driven Engineering of a Tableau Algorithm for Description Logics (Article) |
Autori | Krdzavac Nenad B Gasevic Dragan Devedzic Vladan B |
Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2009), vol. 6 br. 1, str. 23-43 |
Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|