[1]
Elaasar M, Briand L. An overview of UML consistency management[D]. Ottawa, Canada: Department of Systems and Computer Engineering, 2004: 6-34.
Google Scholar
[2]
Shi Lian, Sun Jigui, Description Logics Survey[J]. Computer Science, 2006, 33(1): 194-225.
Google Scholar
[3]
Deng Zhihong, Tang Shiwei, Zhang Ming. Overview of Ontology[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2002, 38(5): 730-738.
Google Scholar
[4]
Y. Wand and R. Weber, On the ontological expressiveness of information systems analysis and design grammars, Journal of Information Systems, vol. 3, 1993, pp.217-237.
DOI: 10.1111/j.1365-2575.1993.tb00127.x
Google Scholar
[5]
Y. Wand and R. Weber, Mario Bunge's ontology as a formal foundation for information systems concepts, " in Studies on Mario Bunge, s Treatise, P. Weingartner and G. J. W. Dorn , eds. Rodopi, Amsterdam, 1990, pp.123-149.
Google Scholar
[6]
Y. Wand and R. Weber, On the deep structure of information systems, Information Systems Journal, vol. 5, 1995, pp.203-223.
Google Scholar
[7]
R. Weber, Ontological Foundations of Information Systems, Coopers & Lybrand Research Methodology Monograph, No. 4, Coopers & Lybrand, Melbourne, (1997).
DOI: 10.1093/ww/9780199540884.013.14134
Google Scholar
[8]
I. Niles and A. Pease, Towards A Standard Upper Ontology, in Proceedings of FOIS 2001, October 17-19, Ogunquit, Maine, USA, (2001).
Google Scholar
[9]
D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project, Addison-Wesley, (1990).
Google Scholar
[10]
RM. Colomb, Ontology and the Semantics Web, Netherlands: 150 Press, 2007, pp.87-90.
Google Scholar
[11]
G. Guizzardi, Ontological Foundations for Structural Conceptual Models, PhD Thesis, University of Twente, The Netherlands. TI-FRS No. 15, 2005, pp.241-252.
Google Scholar
[12]
N. Guarino, Formal Ontology and Information Systems, in Formal Ontology in Information Systems, Proceedings of the International Conference on Formal Ontology and Information Systems (FOIS), Trento, Italy, June 6-8. IOS Press, Amsterdam, 1998, pp.3-15.
DOI: 10.1145/505168.505199
Google Scholar
[13]
N. Guarino and C. Welty, Evaluating Ontological Decisions with OntoClean, Communications of the ACM, vol. 45, 2002, pp.61-65.
DOI: 10.1145/503124.503150
Google Scholar
[14]
J. Evermann, Thinking Ontologically: Conceptual versus Design Models in UML, Ontologies and Business System Analysis. Hershey, PA: Idea Group, 2006, pp.82-104.
DOI: 10.4018/978-1-59140-339-5.ch004
Google Scholar
[15]
Baader F, Nutt W. Basic description logic[M]. Baader F. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge: Cambridge University Press, 2003: 5-43.
DOI: 10.1017/cbo9780511711787.004
Google Scholar
[16]
Zhou Xin, Zhang Jianjun. Research on Ontology of Description Logics Based Semantic Web[J]. Science Technology and Engineering, 2007, 7(3): 329-333.
Google Scholar
[17]
Object Management Group. UML 2. 0 Infrastructure Specification. 03-09-15. pdf, September. 2003. http: /www. omg. org/docs/ptc.
Google Scholar
[18]
Andrea Cali, Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini. A formal scheme for reasoning on uml class diagrams. In Proc. of the 13th Int. Sym. on Methodologies for Intelligent Systems (ISMIS 2002), volume 2366 of Lecture Notes in Computer Science, pages 503–513. Springer, (2002).
DOI: 10.1007/3-540-48050-1_54
Google Scholar
[19]
Li Wenbin, Liu Chunnian, Chen Yiyin. Research On OWL and the Logic Basis[J]. Computer Appilications, 2004, 24: 146-148.
Google Scholar
[20]
Jocelyn Simmonds. Consistency Maintenance of UML Models with Description Logics. Master's thesis, Department of Computer Science, Vrije Universiteit Brussel, Belgium and Ecole des Mines de Nantes, France, (2003).
Google Scholar
