Is there any documentation how to query https://webprotege.stanford.edu through this API? Is it public in any way?