diff --git a/parser/owl.flex b/parser/owl.flex
index 99ce45f75ecce297d01e4d21fbf2afdba0bfb568..523872638e2feccc3dd3a5fa85fc36e114df31ce 100644
--- a/parser/owl.flex
+++ b/parser/owl.flex
@@ -78,12 +78,14 @@ InputCharacter = [^\r\n]
 WhiteSpace = {LineTerminator} | [ \t\f]
 
 /* comments */
-Comment = {TraditionalComment} | {EndOfLineComment} |
-          {DocumentationComment}
-
-TraditionalComment = "/*" [^*] ~"*/" | "/*" "*"+ "/"
-EndOfLineComment = "//" {InputCharacter}* {LineTerminator}?
-DocumentationComment = "/*" "*"+ [^/*] ~"*/"
+// Comment = {TraditionalComment} | {EndOfLineComment} |
+//           {DocumentationComment}
+Comment = XMLComment
+
+// TraditionalComment = "/*" [^*] ~"*/" | "/*" "*"+ "/"
+// EndOfLineComment = "//" {InputCharacter}* {LineTerminator}?
+// DocumentationComment = "/*" "*"+ [^/*] ~"*/"
+XMLComment = "<!--" {InputCharacter}* "-->"
 
 /* identifiers */
 Identifier = [:jletter:][:jletterdigit:]*