论文信息 - Towards a Core ORM2 Language (Research Note)

Towards a Core ORM2 Language (Research Note)

The introduction of a provably correct encoding of a fragment of ORM2 (called ORM2 zero ) into a decidable fragment of OWL2, opened the doors for the definition of dedicated reasoning technologies supporting the quality of the schemas design. In this paper we discuss how to extend ORM2 zero in a maximal way by retaining at the same time the nice computational properties of ORM2 zero .

Enrico Franconi | Alessandro Mosca

[1] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[2] Enrico Franconi,et al. Logic-based reasoning support for SBVR , 2013, CILC.

[3] Terry Halpin,et al. Information modeling and relational databases: from conceptual analysis to logical design , 2001 .

[4] Terry Halpin. 12 – Relational Languages , 2008 .

[5] Ismael Rodríguez,et al. Comparing Problem Solving Strategies for NP-hard Optimization Problems , 2013, Fundam. Informaticae.

[6] Diego Calvanese,et al. OCL-Lite: Finite reasoning on UML/OCL conceptual schemas , 2012, Data Knowl. Eng..

[7] R. E. Kurt Stirewalt,et al. Scalable analysis of conceptual data models , 2011, ISSTA '11.

[8] Diego Calvanese,et al. Unifying Class-Based Representation Formalisms , 2011, J. Artif. Intell. Res..

[9] Enrico Franconi,et al. ORM2: Formalisation and Encoding in OWL2 , 2012, OTM Workshops.

[10] Enrico Franconi,et al. The formalisation of ORM2 and its encoding in OWL2 , 2012 .

[11] Yannis Smaragdakis,et al. Scalable satisfiability checking and test data generation from modeling diagrams , 2009, Automated Software Engineering.