Propose semantic formalization for 3D reconstruction of architectural objects

Proceedings - 7th ACIS International Conference on Software Engineering Research, Management and Applications, SERA09

Volumn , Issue , 2009, Pages 78-85

  Duan, Yucong ^a  

^a UNIVERSITÉ DE BOURGOGNE   (France)

Author keywords

Cognition; Complete; Consistent; Epistemology; Formal; Language; Logics; Semantics

Indexed keywords

3D ARCHITECTURES; 3D RECONSTRUCTION; COGNITION; COMPLETE; LOGIC EXPRESSIONS; NATURAL LANGUAGES; REAL ENGINEERING;

COMPUTER SOFTWARE; ENGINEERING RESEARCH; IMAGE RECONSTRUCTION; LINGUISTICS; THREE DIMENSIONAL;

SEMANTICS;

EID: 77949819407     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SERA.2009.9     Document Type: Conference Paper

References (18)

1. Christophe CRUZ, Franck MARZANI, Frank BOOCHS. Ontologydriven 3D reconstruction of architectural objects .ICCVTA, 3D Model Acquisition and Representation Special Session, Barcelone, Espagne, pp. 47-54, March 2007.
2. Christophe CRUZ, Christophe NICOLLE, Active3D: Vector of Collaboration, Between Sharing and Data Exchange. Jounal of Computer Science, 5 (3), pp. 1-8, January 2006.
3. Yucong Duan. A dualism based semantics formalization mechanism for model driven engineering. IEEE ICCI 2008: 185-194
4. Bijan Parsia; et al. (2005). Cautiously Approaching SWRL. http://www.mindswap.org/papers/CautiousSWRL.pdf. Retrieved on 2009-06-10.
5. Yucong Duan, Kyo-Chul Kang, Yuqing Gu: A Solution Framework on Fundamentals in Model Transformation. ACIS-ICIS 2008: 355-360
6. Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler: OWL 2: The next step for OWL. J. Web Sem. 6(4): 309-322 (2008)
7. Pavel Klinov, Bijan Parsia: Optimization and Evaluation of Reasoning in Probabilistic Description Logic: Towards a Systematic Approach. International Semantic Web Conference 2008: 213-228
8. A Proposal for a SWRL Extension towards First-Order Logic, W3C Member Submission 11 April 2005
9. Shaochun Xu: A Cognitive Model for Program Comprehension. SERA 2005: 392-398
10. Kang, K., Cohen, S., Hess, J., Novak, W. and Peterson, A., 1990.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.
11. Deductive reasoning. http://en.wikipedia.org/wiki/Deductive-logic
12. Inductive reasoning. http://en.wikipedia.org/wiki/Inductive-reasoning
13. David Dupuis, Roger Y. Lee, Haeng-Kon Kim. Communication of Business's and Software Engineers. SERA 2007: 679-688, IEEE press.
14. Barbara Zitová, Jan Flusser: Image registration methods: a survey. Image Vision Comput. 21(11): 977-1000 (2003).
15. Guarino N., 1994, The ontological level, in R. Casati B. S. & White G., eds, Philosophy and the cognitive sciences, Hölder-Pichler-Tempsky. http://www.loa-cnr.it/Papers/OntLev.pdf.
16. Stanford Encyclopedia of Philosophy: "Frege's Logic, Theorem, and Foundations for Arithmetic". http://plato.stanford.edu/entries/frege/
17. Yingxu Wang, Witold Kinsner, James A. Anderson, Du Zhang, Yiyu Yao, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai, Witold Pedrycz, Jean-Claude Latombe, Lotfi A. Zadeh, Dilip Patel, Christine W. Chan: A Doctrine of Cognitive Informatics (CI). Fundam. Inform. 90(3): 203-228 (2009)
18. Yucong Duan. Propose Efficiency from Formalization: An Initial Case Study on Archi3D. Studies in Computational Intelligence, Springer, 2009. (in press).