completion of proteus.owl comments

before renaming proteus in core, comments were amended and completed