Efficiency from formalization: An initial case study on archi3D

Studies in Computational Intelligence

Volumn 253, Issue , 2009, Pages 1-12

  Duan, Yucong ^a  

^a UNIVERSITÉ DE BOURGOGNE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 74049157608     PISSN: 1860949X     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-05441-9_1     Document Type: Conference Paper

References (20)

1. Cruz, C., Marzani, F., Boochs, F.: Ontology-driven 3D reconstruction of architectural objects. In: Ranchordas, A., Araújo, H., Vitrià, J. (eds.) VISAPP, pp. 47-54. NSTICC Press (2007)
2. Cruz, C., Nicolle, C.: Active3D: Vector of Collaboration, Between Sharing and Data Exchange. Jounal of Computer Science 5(3), 1-8 (2006)
3. Li, N., Boochs, F., Cruz, C.: Archi3D, technical report, Laboratory Le2i of Université de Bourgogne, Dijon, France (2007)
4. Duan, Y.: Propose Semantic Formalization for 3D Reconstruction of Architectural Objects. In: Lee, R.Y. (ed.) SERA. IEEE, Los Alamitos (in press, 2009)
5. Duan, Y.: A dualism based semantics formalization mechanism for model driven engineering. In: Wang, Y., Zhang, D., Latombe, J.-C., Kinsner, W. (eds.) ICCI, pp. 185-194. IEEE, Los Alamitos (2008)
6. Duan, Y., Kang, K.-C., Gu, Y.: A Solution Framework on Fundamentals in Model Transformation. In: Lee, R.Y. (ed.) ACIS-ICIS, pp. 355-360. IEEE Computer Society Press, Los Alamitos (2008)
7. OMG: SWRL: A Semantic Web Rule Language Combining OWL and RuleML, http://www.w3.org/Submission/SWRL/
8. Parsia, B., et al.: Cautiously Approaching SWRL, http://www.mindswap.org/ papers/CautiousSWRL.pdf (Retrieved on 2009- 06-10)
9. Grau, B.C., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P.F., Sattler, U.: OWL 2: The next step for OWL. J. Web Sem. 6(4), 309-322 (2008)
10. Klinov, P., Parsia, B.: Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.5318, pp. 213-228. Springer, Heidelberg (2008)
11. A Proposal for a SWRL Extension towards First-Order Logic, W3C Member Submission (April 11, 2005)
12. Wirfs-Brock, R., Wilkerson, B., Wiener, L.: Designing Object Oriented Software. Prentice- Hall, Englewood Cliffs (1990)
13. Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21, ESD-90-TR-222. Software Engineering Institute, Carnegie Mellon University (November 1990)
14. Park, E.-J., Kim, H.-K., Lee, R.Y.: Frameworks of Integration Repository for Software Process Improvement using SOA. In: Lee, R. (ed.) ACIS-ICIS, pp. 200-206 (2007)
15. Xu, S.: A Cognitive Model for Program Comprehension. In: Lee, K.W., Lee, R., Malloy, B. (eds.) SERA, pp. 392-398. IEEE, Los Alamitos (2005)
16. Guarino, N.: The ontological level. In: Casati, R., Smith, B., White, G. (eds.) Philosophy and the cognitive sciences, Hölder-Pichler-Tempsky (1994), http://www.loacnr. it/Papers/OntLev.pdf
17. Chen, P.P.: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1), 9-36 (1976)
18. OMG: Unified Modeling Language (UML), version 2.2., http://www.omg.org/ technology/documents/formal/uml.htm
19. Fayad, M.E., Chiang, C.-C., Chacin, P., Ramaswamy, S., Sánchez-Ruíz, A.J., Nurcan, S.: The first international workshop on patterns languages: addressing challenges (PLAC 2007). OOPSLA Companion, pp. 743-745. ACM, New York (2007)
20. Feigenbaum, E.A.: Some challenges and grand challenges for computational intelligence. Journal of ACM 50(1), 32-40 (2003)