Protégé version: 5.6.2

Release date: May 22, 2023