The link should point to the Protege documentation: http://protegeproject.github.io/protege/class-expression-syntax/