Miller, G., Fellbaum, C.: Wordnet: An electronic Lexical Database (1998) Google Scholar Omicini, A.: Formal ReSpecT in the A&A perspective. Electron. Notes Theor. Comput. Sci. 175(2), 97–117 (2007). doi:10.1016/j.entcs.2007.03.006 Article Google Scholar Omicini, A., Denti,...