A Feasibility Study on the Validation of Domain Specific Languages Using OWL 2 Reasoners. - Ye Liu; Sören Höglund; Ali H. Khan; Ivan Porres (TWOMDE@TOOLS, 2010)