Representing and reasoning on fuzzy UML models: A description logic approach

Expert Systems with Applications

Volumn 38, Issue 3, 2011, Pages 2536-2549

  Ma, Z M ^a   Zhang, Fu ^a   Yan, Li ^b   Cheng, Jingwei ^a  

^a NORTHEASTERN UNIVERSITY   (China)

^b NORTHEASTERN UNIVERSITY   (China)

Author keywords

Fuzzy description logic; Fuzzy UML model; Knowledge representation; Reasoning

Indexed keywords

ANALYSIS AND DESIGN; APPLICATION DESIGN; COMPUTER AIDED; DESCRIPTION LOGIC; FORMAL DEFINITION; FUZZY DESCRIPTION LOGIC; KNOWLEDGE BASIS; LOGICAL CONSEQUENCES; OBJECT DIAGRAMS; REAL-WORLD APPLICATION; REASONING; REASONING ALGORITHMS; REASONING MECHANISM; REASONING PROBLEMS; UML MODEL;

DATA DESCRIPTION; FORMAL LOGIC; INTELLIGENT SYSTEMS; KNOWLEDGE REPRESENTATION; SOFTWARE DESIGN;

UNIFIED MODELING LANGUAGE;

EID: 78049529783     PISSN: 09574174     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.eswa.2010.08.042     Document Type: Article

References (52)

1. A. Artale, and E. Franconi Temporal ER modeling with description logics Proceedings of the 18th international conference on conceptual modeling LNCS 1728 1999 Springer-Verlag 81 95
2. F. Baader, D. McGuinness, D. Nardi, P.F. Patel-Schneider, The description logic handbook: Theory, implementation and applications 2003 Cambridge University Press
3. Berardi, D.; Calvanese, D.; & De Giacomo, G. (2001). Reasoning on UML class diagrams using description logic based systems. In Proceedings of the KI'2001 workshop on applications of description logics, CEUR electronic workshop proceedings. .
4. Berardi, D.; Cal, A.; Calvanese, D.; & De Giacomo, G. (2003). Reasoning on UML class diagrams. Technical Report 11-03, Dipartimento di Informatica e Sistemistica, Universit'a di Roma "La Sapienza".
5. Bobillo, F.; & Straccia, U. (2008). fuzzyDL: An expressive fuzzy description logic reasoner. In Proceedings of the 17th IEEE international conference on fuzzy systems (FUZZ-IEEE 2008), Hong Kong, China (pp. 923-930).
6. G. Booch, J. Rumbaugh, and I. Jacobson The unified modeling language user guide 1998 Addison-Welsley Longman Inc
7. A. Borgida Description logics in data management IEEE Transactions on Knowledge and Data Engineering 7 5 1995 671 682
8. Cal, A.; Calvanese, D.; De Giacomo, & G.; Lenzerini, M. (2001). Reasoning on UML class diagrams in description logics. In Proceedings of IJCAR workshop on precise modelling and deduction for object-oriented software development (PMD'01).
9. D. Calvanese, G. De Giacomo, and M. Lenzerini Conjunctive query containment in description logics with n-ary relations Proceedings of description logic 1997 Université Paris-Sud, Centre d'Orsay, Laboratoire de Recherche en Informatique (LRI) 1 9
10. D. Calvanese, G. De Giacomo, and M. Lenzerini Representing and reasoning on XML documents: A description logic approach Journal of Logic and Computation 9 3 1999 295 318
11. Calvanese, D.; De Giacomo, G.; & Lenzerini, M. (1998). On the decidability of query containment under constraint. In Proceedings of the 17th ACM SIGACT SIGMOD SIGART symposium on principles of database systems (PODS'98) (pp. 149-158).
12. Calvanese, D.; De Giacomo, G.; & Lenzerini, M. (1999). Reasoning in expressive description logics with fixpoints based on automata on infinite trees. In Proceedings of the 16th international joint conference on artificial intelligence (IJCAI'99) (pp. 84-89).
13. D. Calvanese, M. Lenzerini, and D. Nardi Unifying class-based representation formalisms Journal of Artificial Intelligence Research 11 2 1999 199 240
14. De Giacomo, G. (1995). Decidability of class-based knowledge representation formalisms. Ph.D. Thesis. Dipartimento di Informatica e Sistemistica, Universit'a di Roma "La Sapienza".
15. D. Dori Why significant UML change is unlikely Communications of the ACM 45 11 2002
16. D. Dubois, H. Prade, and J.P. Rossazza Vagueness, typicality, and uncertainty in class hierarchies International Journal of Intelligent Systems 6 1991 167 183
17. A.S. Evans Reasoning with UML class diagrams Second IEEE workshop on industrial strength formal specification techniques (WIFT'98) 1998 IEEE Computer Society Press
18. A.S. Evans, R. France, K. Lano, and B. Rumpe Meta-modelling semantics of UML H. Kilov, Behavioural specifications for businesses and systems 1999 Kluwer Academic Publisher
19. E. Franconi, and U. Sattler A data warehouse conceptual data model for multidimensional aggregation: A preliminary report Italian Association for Artificial Intelligence AIIA Notizie 1 1999 9 21
20. A. Haroonabadi, and M. Teshnehlab Applying fuzzy-UML for uncertain systems modeling First joint congress on fuzzy and intelligent systems 2007 Ferdowsi University of Mashhad Iran
21. A. Haroonabadi, and M. Teshnehlab Behavior modeling in uncertain information systems by fuzzy-UML International Journal of Soft Computing 4 1 2009 32 38
22. P. Hors, and M.C. Rousset Consistency of structured knowledge: A formal framework based on description logics Expert Systems with Applications 8 3 1995 371 380
23. D. Kozen, and J. Tiuryn Logics of programs Jan van Leeuwen, Handbook of theoretical computer science-formal models and semantics 1990 Elsevier Science Publishers (North-Holland) Amsterdam 789 840
24. Li, Y.; Xu, B.; Lu, J.; & Kang, D. (2006). Reasoning technique for extended fuzzy ALCQ. In ICCSA, (Vol. 2, pp. 1179-1188).
25. Z.M. Ma Fuzzy information modeling with the UML Advances in fuzzy object-oriented databases: Modeling and applications 2005 Idea Group Publishing
26. Z.M. Ma, and Li. Yan Fuzzy XML data modeling with the UML and relational data models Data & Knowledge Engineering 63 3 2007 970 994
27. Z.M. Ma, and Li. Yan A literature overview of fuzzy database models Journal of Information Science and Engineering 24 1 2008 189 202
28. Z.M. Ma, W.J. Zhang, and W.Y. Ma Extending object-oriented databases for fuzzy information modeling Information Systems 29 5 2004 421 435
29. Mens, T.; Van Der Straeten, R.; & Simmonds, J. (2003). Maintaining consistency between UML models with description logic tools. In Sixth international conference on the unified modelling language-the language and its applications, workshop on consistency problems in UML-based software development II.
30. H. Motameni, A. Movaghar, I. Daneshfar, H. Nemat Zadeh, and J. Bakhshi Mapping to convert activity diagram in fuzzy UML to fuzzy petri net World Applied Sciences Journal 3 3 2008 514 521
31. OMG, (2003). Unified modeling language (UML). Available from: .
32. Ortega, F.B. (2008). Managing vagueness in ontologies. E.T.S. de Ingenierías Informática y de, Telecomunicación, Departamento Ciencias de la Computación e I.A.
33. F.E. Petry Fuzzy databases: Principles and applications 1996 Kluwer Academic Publishers.
34. S'anchez, D.; & Tettamanzi, A. (2004). Generalizing quantification in fuzzy description logic. In Proceedings 8th fuzzy days in dortmund.
35. D. S'anchez, and A. Tettamanzi Fuzzy quantification in fuzzy description logics E. Sanchez, Capturing intelligence: Fuzzy logic and the semantic web 2006 Elsevier
36. M.A. Sicilia, E. García, P. Díaz, and I. Aedo Extending relational data access programming libraries for fuzziness: the fJDBC framework Lecture Notes in Artificial Intelligence 2522 2002 314 328
37. M.A. Sicilia, J.A. Gutiérrez, and E. García Designing fuzzy relations in orthogonal persistence object-oriented database engines Lecture Notes in Artificial Intelligence 2527 2002 243 253
38. Simou, N.; & Kollias, S. (2007). FiRE: A fuzzy reasoning engine for impecise knowledge. In K-space Ph.D. students workshop, Berlin, Germany.
39. P. Smets Imperfect information: imprecision-uncertainty Uncertainty management in information systems: From needs to solutions 1997 Kluwer Academic Publishers pp. 225-254
40. Stoilos, G.; Stamou, G.; Tzouvaras, V.; Pan, J.; & Horrocks, I. (2005). The fuzzy description logic f-SHIN. In International workshop on uncertainty reasoning for the semantic web.
41. G. Stoilos, G. Stamou, and S. Kollias Reasoning with qualified cardinality restrictions in fuzzy description logics Proceedings of the 17th IEEE international conference on fuzzy systems (FUZZ-IEEE 2008) 2008 IEEE Computer Society Hong Kong, China 637 644
42. G. Stoilos, G. Stamou, V. Tzouvaras, J.Z. Pan, and I. Horrocks Reasoning with very expressive fuzzy description logics Journal of Artificial Intelligence Research 30 8 2007 273 320
43. Straccia, U. (1998). A fuzzy description logic. In Proceedings of 15th national conference on artificial intelligence (AAAI'98), Wisconsin, Madison (pp. 594-599).
44. U. Straccia Reasoning within fuzzy description logics Journal of Artificial Intelligence Research 14 1 2001 137 166
45. Straccia, U. (2005). Towards a fuzzy description logic for the semantic web. In Proceedings of the 2nd European semantic web conference (ESWC) (pp. 167-181).
46. Straccia, U.; & Visco, G. (2007). DLMedia: An ontology mediated multimedia information retrieval system. In Proceeedings of the international workshop on description logics (DL 2007), Insbruck, Austria (Vol. 250).
47. Tresp, C.; & Molitor, R. (1998). A description logic for vague knowledge. In Proceedings of the 13th European conference on artificial intelligence (ECAI-98), Brighton, England.
48. R. Van Der Straeten, T. Mens, J. Simmonds, and V. Jonckers Using description logic to maintain consistency between UML models Proceedings of the international conference UML 2003 LNCS 2863 2003 Springer Berlin, Heidelberg, New York 326 340
49. Yen, J. (1991). Generalizing term subsumption languages to fuzzy logic. In Proceedings of the 12th international joint conference on artificial intelligence (IJCAI-91) (pp. 472-477).
50. L.A. Zadeh Fuzzy sets Information and Control 8 3 1965 338 353
51. L.A. Zadeh Fuzzy sets as a basis for a theory of possibility Fuzzy Sets Systems 1 1 1978 3 28
52. Fu. Zhang, Z.M. Ma, and Li. Yan Representation and reasoning of fuzzy ER model with description logic Proceedings of the 17th IEEE international conference on fuzzy systems (FUZZ-IEEE 2008) 2008 IEEE Computer Society Hong Kong, China 1358 1365