Towards a Core ORM2 Language (Research Note)
暂无分享,去创建一个
[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.