Knowledge formalization methods for semantic interoperability in rule bases | Biblioteka Główna Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie