{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,14]],"date-time":"2025-02-14T05:17:30Z","timestamp":1739510250840,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642054402"},{"type":"electronic","value":"9783642054419"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05441-9_1","type":"book-chapter","created":{"date-parts":[[2009,11,24]],"date-time":"2009-11-24T01:06:55Z","timestamp":1259024815000},"page":"1-12","source":"Crossref","is-referenced-by-count":4,"title":["Efficiency from Formalization: An Initial Case Study on Archi3D"],"prefix":"10.1007","author":[{"given":"Yucong","family":"Duan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Cruz, C., Marzani, F., Boochs, F.: Ontology-driven 3D reconstruction of architectural objects. In: Ranchordas, A., Ara\u00fajo, H., Vitri\u00e0, J. (eds.) VISAPP, pp. 47\u201354. NSTICC Press (2007)","DOI":"10.5220\/0002047300470054"},{"issue":"3","key":"1_CR2","first-page":"1","volume":"5","author":"C. Cruz","year":"2006","unstructured":"Cruz, C., Nicolle, C.: Active3D: Vector of Collaboration, Between Sharing and Data Exchange. Jounal of Computer Science\u00a05(3), 1\u20138 (2006)","journal-title":"Jounal of Computer Science"},{"key":"1_CR3","unstructured":"Li, N., Boochs, F., Cruz, C.: Archi3D, technical report, Laboratory Le2i of Universit\u00e9 de Bourgogne, Dijon, France (2007)"},{"key":"1_CR4","volume-title":"SERA","author":"Y. Duan","year":"2009","unstructured":"Duan, Y.: Propose Semantic Formalization for 3D Reconstruction of Architectural Objects. In: Lee, R.Y. (ed.) SERA. IEEE, Los Alamitos (in press, 2009)"},{"key":"1_CR5","first-page":"185","volume-title":"ICCI","author":"Y. Duan","year":"2008","unstructured":"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\u2013194. IEEE, Los Alamitos (2008)"},{"key":"1_CR6","first-page":"355","volume-title":"ACIS-ICIS","author":"Y. Duan","year":"2008","unstructured":"Duan, Y., Kang, K.-C., Gu, Y.: A Solution Framework on Fundamentals in Model Transformation. In: Lee, R.Y. (ed.) ACIS-ICIS, pp. 355\u2013360. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"1_CR7","unstructured":"OMG: SWRL: A Semantic Web Rule Language Combining OWL and RuleML, http:\/\/www.w3.org\/Submission\/SWRL\/"},{"key":"1_CR8","unstructured":"Parsia, B., et al.: Cautiously Approaching SWRL, http:\/\/www.mindswap.org\/papers\/CautiousSWRL.pdf (Retrieved on 2009-06-10)"},{"issue":"4","key":"1_CR9","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/j.websem.2008.05.001","volume":"6","author":"B.C. Grau","year":"2008","unstructured":"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.\u00a06(4), 309\u2013322 (2008)","journal-title":"J. Web Sem."},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-540-88564-1_14","volume-title":"The Semantic Web - ISWC 2008","author":"P. Klinov","year":"2008","unstructured":"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.\u00a05318, pp. 213\u2013228. Springer, Heidelberg (2008)"},{"key":"1_CR11","unstructured":"A Proposal for a SWRL Extension towards First-Order Logic, W3C Member Submission (April 11, 2005)"},{"key":"1_CR12","volume-title":"Designing Object Oriented Software","author":"R. Wirfs-Brock","year":"1990","unstructured":"Wirfs-Brock, R., Wilkerson, B., Wiener, L.: Designing Object Oriented Software. Prentice-Hall, Englewood Cliffs (1990)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.21236\/ADA235785"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"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\u2013206 (2007)","DOI":"10.1109\/ICIS.2007.102"},{"key":"1_CR15","first-page":"392","volume-title":"SERA","author":"S. Xu","year":"2005","unstructured":"Xu, S.: A Cognitive Model for Program Comprehension. In: Lee, K.W., Lee, R., Malloy, B. (eds.) SERA, pp. 392\u2013398. IEEE, Los Alamitos (2005)"},{"key":"1_CR16","unstructured":"Guarino, N.: The ontological level. In: Casati, R., Smith, B., White, G. (eds.) Philosophy and the cognitive sciences, H\u00f6lder-Pichler-Tempsky (1994), http:\/\/www.loa-cnr.it\/Papers\/OntLev.pdf"},{"issue":"1","key":"1_CR17","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P.P. Chen","year":"1976","unstructured":"Chen, P.P.: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst.\u00a01(1), 9\u201336 (1976)","journal-title":"ACM Trans. Database Syst."},{"key":"1_CR18","unstructured":"OMG: Unified Modeling Language (UML), version 2.2., http:\/\/www.omg.org\/technology\/documents\/formal\/uml.htm"},{"key":"1_CR19","first-page":"743","volume-title":"The first international workshop on patterns languages: addressing challenges (PLAC 2007). OOPSLA Companion","author":"M.E. Fayad","year":"2007","unstructured":"Fayad, M.E., Chiang, C.-C., Chacin, P., Ramaswamy, S., S\u00e1nchez-Ru\u00edz, A.J., Nurcan, S.: The first international workshop on patterns languages: addressing challenges (PLAC 2007). OOPSLA Companion, pp. 743\u2013745. ACM, New York (2007)"},{"issue":"1","key":"1_CR20","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/602382.602400","volume":"50","author":"E.A. Feigenbaum","year":"2003","unstructured":"Feigenbaum, E.A.: Some challenges and grand challenges for computational intelligence. Journal of ACM\u00a050(1), 32\u201340 (2003)","journal-title":"Journal of ACM"}],"container-title":["Studies in Computational Intelligence","Software Engineering Research, Management and Applications 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05441-9_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T11:18:46Z","timestamp":1739445526000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05441-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642054402","9783642054419"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05441-9_1","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2009]]}}}