@article(luisjvlc,
 author       = "J. M. {Almendros-Jim\'enez} and L. Iribarne",
 year         = "2008",
 title        = "{An Extension of UML for the Modeling of WIMP User Interfaces}",
 journal      = "Journal of Visual Languages and Computing, Elsevier",
 volume       = "19",
 pages        = "695--720",
 doi          = "10.1016/j.jvlc.2007.12.004",
)
@article(luiscomp2,
 author       = "J. M. {Almendros-Jim\'enez} and L. Iribarne",
 year         = "2009",
 title        = "{UML Modeling of User and Database Interaction}",
 journal      = "The Computer Journal",
 volume       = "52",
 number       = "3",
 pages        = "348--367",
 doi          = "10.1093/comjnl/bxn028",
)
@inproceedings(almendros2011prolog,
 author       = "J.M. Almendros-Jim{\'e}nez",
 year         = "2011",
 title        = "A Prolog library for OWL RL",
 booktitle    = "Proceedings of the 4th International Workshop on Logic in Databases",
 organization = "ACM",
 pages        = "49--56",
 doi          = "10.1145/1966357.1966367",
)
@article(ILP2,
 author       = "Zolt{\'a}n Balogh and D{\'a}niel Varr{\'o}",
 year         = "2009",
 title        = "Model Transformation by Example Using Inductive Logic Programming",
 journal      = "Software and Systems Modeling",
 volume       = "8",
 number       = "3",
 pages        = "347--364",
 doi          = "10.1007/s10270-008-0092-1",
)
@article(DL,
 author       = "Alex Borgida",
 year         = "1996",
 title        = "{On the relative expressiveness of Description Logics and Predicate Logics}",
 journal      = "Artificial Intelligence",
 volume       = "82",
 number       = "1-2",
 pages        = "353--367",
 doi          = "10.1016/0004-3702(96)00004-5",
)
@inproceedings(atlvalidation,
 author       = "Fabian B\"{u}ttner and Jordi Cabot and Martin Gogolla",
 year         = "2011",
 title        = "On validation of ATL transformation rules by transformation models",
 booktitle    = "Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation",
 series       = "MoDeVVa",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "9:1--9:8",
 doi          = "10.1145/2095654.2095666",
)
@article(cabot,
 author       = "J. Cabot and R. Claris and E. Guerra and J. {de Lara}",
 year         = "2010",
 title        = "{Verification and Validation of Declarative Model-to-Model Transformations}",
 journal      = "Systems and Software",
 volume       = "2",
 number       = "83",
 pages        = "283--302",
 doi          = "10.1016/j.jss.2009.08.012",
)
@inproceedings(Opoka,
 author       = "J. Chimia-Opoka and M. Felderer and C. Lenz and C. Lange",
 year         = "2008",
 title        = "{Querying UML models using OCL and Prolog: A performance study}",
 booktitle    = "Software Testing Verification and Validation Workshop, 2008. ICSTW'08. IEEE International Conference on",
 organization = "IEEE",
 pages        = "81--88",
 doi          = "10.1109/ICSTW.2008.33",
)
@inproceedings(Dohrmann,
 author       = "P. Dohrmann and S. Herold",
 year         = "2010",
 title        = "{Designing and Applying a Framework for Logic-Based Model Querying}",
 booktitle    = "Software Engineering and Advanced Applications (SEAA), 2010 36th EUROMICRO Conference on",
 organization = "IEEE",
 pages        = "164--171",
 doi          = "10.1109/SEAA.2010.21",
)
@inproceedings(Missing,
 author       = "A. Gerber and M. Lawley and K. Raymond and J. Steel and A. Wood",
 year         = "2002",
 title        = "{Transformation: The Missing Link of MDA}",
 booktitle    = "Procs of ICGT'02",
 publisher    = "LNCS 2505, Springer",
 address      = "London, UK",
 pages        = "90--105",
 doi          = "10.1007/3-540-45832-8\_9",
)
@inproceedings(Goldberg,
 author       = "M. Goldberg and G. Wiener",
 year         = "2012",
 title        = "{A Declarative Approach for Software Modeling}",
 booktitle    = "Practical Aspects of Declarative Languages",
 publisher    = "Springer LNCS 7149",
 pages        = "18--32",
 doi          = "10.1007/978-3-642-27694-1\_3",
)
@inproceedings(Grosof,
 author       = "Benjamin N. Grosof and Ian Horrocks and Raphael Volz and Stefan Decker",
 year         = "2003",
 title        = "{Description Logic Programs: Combining Logic Programs with Description Logic}",
 booktitle    = "Proc. of the International Conference on World Wide Web",
 publisher    = "ACM",
 address      = "USA",
 pages        = "48--57",
 doi          = "10.1145/775152.775160",
)
@phdthesis(Deltaware,
 author       = "David I. Hearnden",
 year         = "2007",
 title        = "{Deltaware: Incremental Change Propagation for Automating Software Evolution in Model-Driven Architecture}",
 school       = "Centre or Institute School of Information Tech \& Elec Engineering, Univ. of Queensland",
 url          = "http://espace.library.uq.edu.au/view/UQ:152739",
)
@inproceedings(hettel2009towards,
 author       = "Thomas Hettel and Michael Lawley and Kerry Raymond",
 year         = "2009",
 title        = "Towards Model Round-Trip Engineering: An Abductive Approach",
 booktitle    = "Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations",
 series       = "ICMT '09",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "100--115",
 doi          = "10.1007/978-3-642-02408-5\_8",
)
@techreport(UML2OWL,
 author       = "Guillaume Hillairet",
 year         = "2007",
 title        = "{ATL Use Case - ODM Implementation (Bridging UML and OWL)}",
 type         = "Technical Report",
 institution  = "{\url {http://www.eclipse.org/m2m/atl/atlTransformations/}}",
)
@article(Interoperability,
 author       = "Fr\'{e}d\'{e}ric Jouault and Ivan Kurtev",
 year         = "2007",
 title        = "On the interoperability of model-to-model transformation languages",
 journal      = "Sci. Comput. Program.",
 volume       = "68",
 number       = "3",
 pages        = "114--137",
 doi          = "10.1016/j.scico.2007.05.005",
)
@incollection(khai2011prolog,
 author       = "Zohaib Khai and Aamer Nadeem and Gang-soo Lee",
 year         = "2011",
 title        = "A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams",
 editor       = "Tai-hoon Kim and Hojjat Adeli and Haeng-kon Kim and Heau-jo Kang and Kyung Jung Kim and Akingbehin Kiumi and Byeong-Ho Kang",
 booktitle    = "Software Engineering, Business Continuity, and Education",
 series       = "Communications in Computer and Information Science",
 volume       = "257",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "85--96",
 doi          = "10.1007/978-3-642-27207-3\_10",
)
@inproceedings(Protege,
 author       = "H. Knublauch and R.W. Fergerson and N.F. Noy and M.A. Musen",
 year         = "2004",
 title        = "{The Protege OWL Plugin: An Open Development Environment for Semantic Web Applications}",
 booktitle    = "The Semantic Web, ISWC 2004: Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004: proceedings",
 volume       = "LNCS 3298",
 organization = "Springer-Verlag New York Inc",
 pages        = "229--243",
 doi          = "10.1007/978-3-540-30475-3\_17",
)
@inproceedings(Tefkat2,
 author       = "M. Lawley and J. Steel",
 year         = "2006",
 title        = "{Practical Declarative Model Transformation with Tefkat}",
 booktitle    = "MoDELS Satellite Events",
 publisher    = "LNCS 3844, Springer",
 pages        = "139--150",
 doi          = "10.1007/11663430\_15",
)
@inproceedings(Tefkat1,
 author       = "Michael Lawley and Kerry Raymond",
 year         = "2007",
 title        = "Implementing a practical declarative logic-based model transformation engine",
 booktitle    = "SAC'07: Proceedings of the 2007 ACM Symposium on Applied Computing",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "971--977",
 doi          = "10.1145/1244002.1244216",
)
@techreport(OWLRL,
 author       = "Boris Motik and Bernardo Cuenca Grau and Ian Horrocks and Zhe Wu and Achille Fokoue and Carsten Lutz",
 year         = "2009",
 title        = "{OWL 2 Web Ontology: Reasoning in OWL 2 RL and RDF Graphs using Rules}",
 type         = "Technical Report",
 institution  = "\url {http://www.w3.org}",
)
@techreport(OMG,
 author       = "OMG",
 year         = "2003",
 title        = "{MDA Spec.}",
 type         = "Technical Report",
 institution  = "{{\url {http://www.omg.org/mda/specs.htm}}}",
)
@techreport(MDA,
 author       = "OMG",
 year         = "2008",
 title        = "Model Driven Architecture",
 type         = "Technical Report",
 institution  = "{\url {http://www.omg.org/cgi-bin/doc?omg/03-06-01}}",
)
@techreport(OCL,
 author       = "OMG",
 year         = "2008",
 title        = "{Object Constraint Language (OCL)}",
 type         = "Technical Report",
 institution  = "{{\url {http://www.omg.org/technology/documents/formal/ocl.htm}}}",
)
@techreport(odm,
 author       = "OMG",
 year         = "2009",
 title        = "{Ontology Definition Metamodel (ODM) }",
 type         = "Technical Report",
 institution  = "{{\url {http://www.omg.org/spec/ODM/1.0/}}}",
)
@inproceedings(Schatz,
 author       = "Bernhard Sch\"{a}tz",
 year         = "2009",
 title        = "Formalization and Rule-Based Transformation of EMF Ecore-Based Models",
 editor       = "Dragan Ga\v {s}evi\'{c} and Ralf L\"{a}mmel and Eric Wyk",
 booktitle    = "Software Language Engineering",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "227--244",
 doi          = "10.1007/978-3-642-00434-6\_15",
)
@inproceedings(Harald,
 author       = "H. Storrle",
 year         = "2007",
 title        = "{A Prolog-based Approach to Representing and Querying UML Models}",
 booktitle    = "Intl. Ws. Visual Languages and Logic (VLL'07)",
 volume       = "274",
 pages        = "71--84",
 url          = "http://ceur-ws.org/Vol-274/",
)
@techreport(TopCased,
 author       = "TopCased",
 year         = "2010",
 title        = "TopCased: The Open-source tool kit for critical systems",
 type         = "Technical Report",
 institution  = "{\url {http://www.topcased.org/}}",
)
@article(Tratt,
 author       = "Laurence Tratt",
 year         = "2005",
 title        = "{Model transformations and tool integration}",
 journal      = "Software and System Modeling",
 volume       = "4",
 number       = "2",
 pages        = "112--122",
 doi          = "10.1007/s10270-004-0070-1",
)