Bridging concrete and abstract syntax of web rule languages

Milan Milanović, Dragan Gašević, Adrian Giurca, Gerd Wagner, Sergey Lukichev, Vladan Devedžić

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)


This paper proposes a solution for bridging abstract and concrete syntax of a Web rule language by using model transformations. Current specifications of Web rule languages such as Semantic Web Rule Language (SWRL) define its abstract syntax (e.g., EBNF notation) and concrete syntax (e.g., XML schema) separately. Although the recent research in the area of Model-Driven Engineering demonstrates that such a separation of two types of syntax is a good practice (due to the complexity of languages), one should also have tools that check validity of rules written in a concrete syntax with respect to the abstract syntax of the rule language. In this study, we use analyze the REWERSE Il Rule Markup Language (R2ML) whose abstract syntax is defined by using metamodeling, while its textual concrete syntax is defined by using XML schema. We bridge this gap by a bi-directional transformation defined in a model transformation language (i.e., ATL).

Original languageEnglish
Title of host publicationWeb Reasoning and Rule Systems - First International Conference, RR 2007, Proceedings
Number of pages10
ISBN (Print)354072981X, 9783540729815
Publication statusPublished - 2007
Externally publishedYes
Event1st International Conference on Web Reasoning and Rule Systems, RR 2007 - Innsbruck, Austria
Duration: 7 Jun 20078 Jun 2007

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference1st International Conference on Web Reasoning and Rule Systems, RR 2007

Cite this