OWL Reasoners still useable in 2023

In a systematic literature and software review over 100 OWL reasoners/systems were analyzed to see if they would still be usable in 2023. This has never been done in this capacity. OWL reasoners still play an important role in knowledge organisation and management, but the last comprehensive surveys/studies are more than 8 years old. The result of this work is a comprehensive list of 95 standalone OWL reasoners and systems using an OWL reasoner. For each item, information on project pages, source code repositories and related documentation was gathered. The raw research data is provided in a Github repository for anyone to use

Semantic Prosody in Translation: Slovene and English ADV-V combinations

Semantic prosody is perhaps the most elusive meaning component established to date, and the present paper is a corpus-driven attempt to elucidate the meaning-forming process in some of the most frequent lexical items in Slovene and English. The underlying methodology is based on the novel top-down approach, which provides a semantically unmotivated point of view and is based on raw data, i.e., frequency of occurrence. The paper features a comparison of the pervasiveness of evident semantic prosody in high-frequency lexical items in Slovene and English, respectively. In closing it also deals with the problems involved in L1-L2 translation of the observed extended units of meaning, where possible translation equivalents exhibit varying levels of (mis)match in their semantic prosodies

Neural and Symbolic AI - mind the gap! Aligning Artificial Neural Networks and Ontologies

Artificial neural networks have been the key to solve a variety of different problems. However, neural network models are still essentially regarded as black boxes, since they do not provide any human-interpretable evidence as to why they output a certain re sult. In this dissertation, we address this issue by leveraging on ontologies and building small classifiers that map a neural network’s internal representations to concepts from an ontology, enabling the generation of symbolic justifications for the output of neural networks. Using two image classification problems as testing ground, we discuss how to map the internal representations of a neural network to the concepts of an ontology, exam ine whether the results obtained by the established mappings match our understanding of the mapped concepts, and analyze the justifications obtained through this method

Друга міжнародна конференція зі сталого майбутнього: екологічні, технологічні, соціальні та економічні питання (ICSF 2021). Кривий Ріг, Україна, 19-21 травня 2021 року

Second International Conference on Sustainable Futures: Environmental, Technological, Social and Economic Matters (ICSF 2021). Kryvyi Rih, Ukraine, May 19-21, 2021.Друга міжнародна конференція зі сталого майбутнього: екологічні, технологічні, соціальні та економічні питання (ICSF 2021). Кривий Ріг, Україна, 19-21 травня 2021 року