1. 4CAAST PROJECT, Official Web Site, 2012. .
2. AMICO, AMICO Web Platform, 2012. .
3. The Description Logic Handbook: Theory, Implementation and Applications;Baader,2003
4. A formal framework for reasoning on UML class diagrams;Calı̀,2002
5. Daniela Berardi, Diego Calvanese, Reasoning on UML class diagrams using description logic based systems, in: Workshop on Applications of Description Logics, 2001.