pdf dblp Similarity-Based Reasoning and Retrieval with Order-Sorted Feature Logic Gian Carlo Milanese | Gabriella Pasi Proceedings of the 11th Italian Information Retrieval Workshop 2021, Bari, Italy, September 13-15, 2021