Wojciech Palacz, Ewa Grabska, Grazyna Slusarczyk. Ontological Approach to Design Reasoning with the Use of Many-Sorted First-Order Logic. In Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada, editors, Artificial Intelligence and Soft Computing - 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part II. Volume 9693 of Lecture Notes in Computer Science, pages 364-374, Springer, 2016. [doi]