A Feasibility Study on the Validation of Domain Specific Languages Using OWL 2 Reasoners.
Ye Liu, Sören Höglund, Ali Hanzala Khan, Iván Porres · 2010
Abstract. In this article we report on our experiences using the OWL 2 reasoners HermiT and Pellet to validate domain-specific languages defined using UML-like metamodels. Currently there exists few tools to validate metamodels. Using ontologies and reasoners to define and validate 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 our experiences with the zoo. 1