论文信息 - Proceedings of the Sixth OCL Workshop OCL for ( Meta-) Models in Multiple Application Domains ( OCLApps 2006 ) Towards Sharing Rules Between OWL / SWRL and UML / OCL

Proceedings of the Sixth OCL Workshop OCL for ( Meta-) Models in Multiple Application Domains ( OCLApps 2006 ) Towards Sharing Rules Between OWL / SWRL and UML / OCL

The paper presents a metamodel-driven model transformation approach to interchanging rules between the Semantic Web Rule Language along with the Web Ontology Language (OWL/SWRL) and Object Constraint Language (OCL) along with UML (UML/OCL). The solution is based on the REWERSE Rule Markup Language (R2ML), a MOF-defined general rule language, as a pivotal metamodel and the bidirectional transformations between OWL/SWRL and R2ML and between UML/OCL and R2ML. Besides describing mapping rules between three rule languages, the paper proposes the implementation by using ATLAS Transformation language (ATL) and describes the whole transformation process involving several MOF-based metamodels, XML schemas, EBNF grammars.

[1] Peter F. Patel-Schneider,et al. OWL Web Ontology Language XML Presentation Syntax , 2003 .

[2] Vladan Devedzic,et al. Model driven architecture and ontology development , 2006 .

[3] Jean Bézivin,et al. KM3: A DSL for Metamodel Specification , 2006, FMOODS.

[4] Jean Bézivin,et al. From Object Composition to Model Transformation with the MDA , 2001, TOOLS.

[5] Heiner Stuckenschmidt,et al. UML for the Semantic Web: Transformation-Based Approaches , 2003, Knowledge Transformation for the Semantic Web.

[6] H. Lan,et al. SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[7] Pascal Hitzler,et al. A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies , 2006, ESWC.

[8] Gerd Wagner,et al. Web Rules Need Two Kinds of Negation , 2003, PPSWR.

[9] Jeremy J. Carroll,et al. Resource description framework (rdf) concepts and abstract syntax , 2003 .