A Feasibility Study on the Validation of Domain Specic Languages Using OWL 2 Reasoners

Transforming and Weaving Ontologies in Model Driven Engineering 2010.

计算机科学;

Ye Liu ; Soren Hoglund ; Ali Hanzala Khan ; Ivan Porres

Others  :  http://ceur-ws.org/Vol-604/paper4.pdf
PID  :  42894

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

In this article we report on our experiences using the OWL2 reasoners HermiT and Pellet to validate domain-specic languages de- ned using UML-like metamodels. Currently there exists few tools to validate metamodels. Using ontologies and reasoners to dene and val- idate metamodels is a possible solution to this problem. We evaluate the reasoners according to expressiveness, correctness, performance and problem reporting capabilities. We use metamodels from the Atlantic Zoo metamodel repository as input for our comparison, and report on