Formalization of Knowledge Internet-Portals Models. МІА 2017, 33, 62-72.