Reasoning within expressive fuzzy rough description logics

Fuzzy Sets and Systems

Volumn 160, Issue 23, 2009, Pages 3403-3424

  Jiang, Yuncheng ^a   Wang, Ju ^a   Deng, Peimin ^a   Tang, Suqin ^a  

^a GUANGXI NORMAL UNIVERSITY   (China)

Author keywords

Description logics; Fuzzy description logics; Fuzzy rough description logics; Fuzzy rough set theory; Rough description logics

Indexed keywords

DESCRIPTION LOGICS; FUZZY DESCRIPTION LOGICS; FUZZY ROUGH DESCRIPTION LOGICS; FUZZY ROUGH SET THEORY; ROUGH DESCRIPTION LOGICS;

DATA DESCRIPTION; FUZZY SETS; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION;

ROUGH SET THEORY;

EID: 70350564891     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2009.01.004     Document Type: Article

References (73)

1. F. Baader, Augmenting concept language by transitive closure of roles: an alternative to terminological cycles, in: Proc. 12th Internat. Joint Conf. on Artificial Intelligence (IJCAI-91), Sydney, Australia, 1991, pp. 446-451.
2. Baader F., Horrocks I., and Sattler U. Description logics. In: Staab S., and Studer R. (Eds). Handbook on Ontologies: International Handbooks on Information Systems (2004), Springer, Berlin 3-28
3. Baader F., and Nutt W. Basic description logics. In: Baader F., Calvanese D., McGuinness D., Nardi D., and Patel-Schneider P. (Eds). The Description Logic Handbook: Theory, Implementation and Applications (2003), Cambridge University Press, Cambridge, MA 47-100
4. Baader F., and Sattler U. Expressive number restrictions in description logics. Journal of Logic and Computation 9 (1999) 319-350
5. Banerjee M., and Pal S.K. Roughness of a fuzzy set. Information Sciences 93 (1996) 235-246
6. Berardi D., Calvanese D., and Giacomo G.D. Reasoning on UML class diagrams. Artificial Intelligence 168 (2005) 70-118
7. F. Bobillo, M. Delgado, J. Gomez-Romero, DeLorean: a reasoner for fuzzy OWL 1.1, in: Proc. 4th Internat. Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008), Karlsruhe, Germany, October 2008.
8. F. Bobillo, M. Delgado, J. Gomez-Romero, Optimizing the crisp representation of the fuzzy description logic SROIQ, in: Proc. 3rd ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2007), CEUR Workshop Proceedings, Vol. 327, 2007.
9. F. Bobillo, M. Delgado, J. Gomez-Romero, U. Straccia, Fuzzy description logics under Gödel semantics, International Journal of Approximate Reasoning, doi:10.1016/j.ijar.2008.10.003, in press.
10. F. Bobillo, U. Straccia, FuzzyDL: an expressive fuzzy description logic reasoner, in: Proc. 17th IEEE Internat. Conf. on Fuzzy Systems (FUZZ-IEEE 2008), IEEE Computer Society, Silver Spring, MD, 2008, pp. 923-930.
11. Bonatti P.A., and Peron A. On the undecidability of logics with converse, nominals, recursion and counting. Artificial Intelligence 158 (2004) 75-96
12. Borgida A., Lenzerini M., and Rosati R. Description logics for data bases. In: Baader F., Calvanese D., McGuinness D., Nardi D., and Patel-Schneider P. (Eds). The Description Logic Handbook: Theory, Implementation and Applications (2003), Cambridge University Press, Cambridge 472-494
13. Chen X., and Li Q. Construction of rough approximations in fuzzy setting. Fuzzy Sets and Systems 158 (2007) 2641-2653
14. Chen D., Yang W., and Li F. Measures of general fuzzy rough sets on a probabilistic space. Information Sciences 178 (2008) 3177-3187
15. Cock M.D., Cornelis C., and Kerre E.E. Fuzzy rough sets: the forgotten step. IEEE Transactions on Fuzzy Systems 15 (2007) 121-130
16. Demri S., Orlowska E., and Vakarelov D. Indiscernibility and complementarity relations in information systems. In: Gerbrandy J., Marx M., de Rijke M., and Venema Y. (Eds). FAK: Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday (1999), Amsterdam University Press, Amsterdam
17. Doherty P., Grabowski M., Lukaszewicz W., and Szalsa A. Towards a framework for approximate ontologies. Fundamenta Informaticae 57 (2003) 147-165
18. Dubois D., and Prade H. Rough fuzzy sets and fuzzy rough sets. International Journal of General Systems 17 (1990) 191-209
19. Dubois D., and Prade H. Putting rough sets and fuzzy sets together. In: Slowinski R. (Ed). Intelligent Decision Support-Handbook of Applications and Advances of the Rough Set Theory (1992), Kluwer Academic Publishers, Dordrecht 203-232
20. Goguen J.A. L-fuzzy sets. Journal of Mathematical Analysis and Applications 18 (1967) 145-174
21. Grau B.C., Horrocks I., Motik B., Parsia B., Patel-Schneider P., and Sattler U. OWL 2: the next step for OWL. Journal of Web Semantics 6 (2008) 309-322
22. Hajek P. Making fuzzy description logic more general. Fuzzy Sets and Systems 154 (2005) 1-15
23. Hajek P. Metamathematics of Fuzzy Logic (1998), Kluwer Academic Publishers, Dordrecht
24. Hollunder B. An alternative proof method for possibilistic logic and its application to terminological logics. International Journal of Approximate Reasoning 12 (1995) 85-109
25. Horrocks I., Kutz O., and Sattler U. The even more irresistible SROIQ. Proc. 10th Internat. Conf. of Knowledge Representation and Reasoning (KR 2006), Lake District, UK (2006), AAAI Press, New York 57-67
26. Horrocks I., Patel-Schneider P.F., and Harmelen F.V. From SHIQ and RDF to OWL: the making of a Web ontology language. Journal of Web Semantics 1 (2003) 7-26
27. Horrocks I., and Sattler U. A description logic with transitive and inverse roles and role hierarchies. Journal of Logic and Computation 9 (1999) 385-410
28. Horrocks I., and Sattler U. Decidability of SHIQ with complex role inclusion axioms. Artificial Intelligence 160 (2004) 79-104
29. Horrocks I., Sattler U., and Tobies S. Practical reasoning for expressive description logics. in: Proc. 6th Internat. Conf. on Logic for Programming and Automated Reasoning (LPAR 1999), Lecture Notes in Artificial Intelligence Vol. 1705 (1999), Springer, Berlin 161-180
30. Huynh V.N., and Nakamori Y. A roughness measure for fuzzy sets. Information Sciences 173 (2005) 255-275
31. Jaeger M. Probabilistic reasoning in terminological logics. In: Doyle J., Sandewall E., and Torasso P. (Eds). Proc. 4th Internat. Conf. on Principles of Knowledge Representation and Reasoning (KR 1994) (1994), Morgan Kaufmann Publishers, Los Altos, CA 305-316
32. Jensen R., and Shen Q. Fuzzy rough sets assisted attribute selection. IEEE Transactions on Fuzzy Systems 15 (2007) 73-89
33. Jiang Y., Shi Z., Tang Y., and Wang J. Fuzzy description logic for semantics representation of the semantic Web. Journal of Software 18 (2007) 1257-1269
34. Jiang Y., Wang J., Tang S., and Xiao B. Reasoning with rough description logics: an approximate concepts approach. Information Sciences 179 (2009) 600-612
35. M.C.A. Klein, P. Mika, S. Schlobach, Approximate instance unification using RoughOWL: querying with similarity in open academia, in: F. Bobillo, P.C.G. Costa, C.D. Amato, et al. (Eds.), Proc. 3rd Workshop on Uncertainty Reasoning for the Semantic Web, CEUR Workshop Proceedings, CEUR-WS.org, 2007.
36. Klement E.P., Mesiar R., and Pap E. Triangular norms, Position paper I: basic analytical and algebraic properties. Fuzzy Sets and Systems 143 (2004) 5-26
37. Klir G.J., and Yuan B. Fuzzy Sets and Fuzzy Logic: Theory and Applications (1995), Prentice-Hall, Englewood Cliffs, NJ
38. Li T. Rough approximation operators on two universes of discourse and their fuzzy extensions. Fuzzy Sets and Systems 159 (2008) 3033-3050
39. Li Y., Xu B., Lu J., and Kang D. On computational complexity of the extended fuzzy description logic with numerical restriction. Journal of Software 17 (2006) 968-975
40. Y. Li, B. Xu, J. Lu, D. Kang, Discrete tableau algorithms for FSHI, in: Proc. Internat. Workshop on Description Logics (DL 2006), Lake District, UK, 2006.
41. Liang H. The Ministry of Health of the People's Republic of China: clinic diagnosis criteria for severe acute respiratory syndrome. The Chinese Journal of Clinical Pharmacology 19 (2003) 200
42. Liau C.J. On rough terminological logics. In: Tsumoto S., Kobayashi S., Yokomori T., Tanaka H., and Nakamura A. (Eds). Proc. 4th Internat. Workshop on Rough Sets, Fuzzy Sets, and Machine Discovery (1996), Tokyo University Press 47-54
43. Liu G. Generalized rough sets over lattices. Information Sciences 178 (2008) 1651-1662
44. Lukasiewicz T. Expressive probabilistic description logics. Artificial Intelligence 172 (2008) 852-883
45. Lukasiewicz T., and Straccia U. Managing uncertainty and vagueness in description logics for the semantic Web. Journal of Web Semantics 6 (2008) 291-308
46. Lutz C. NEXP TIME-complete description logics with concrete domains. ACM Transactions on Computational Logic 5 (2004) 669-705
47. Lutz C., Areces C., Horrocks I., and Sattler U. Keys, nominals, and concrete domains. Journal of Artificial Intelligence Research 23 (2005) 667-726
48. Nebel B. Terminological reasoning is inherently intractable. Artificial Intelligence 43 (1990) 235-249
49. Orlowska E. Kripke semantics for knowledge representation logics. Studia Logica 49 (1990) 255-272
50. Pawlak Z. Rough sets. International Journal of Computer and Information Sciences 11 (1982) 341-356
51. Pawlak Z. Rough Sets: Theoretical Aspects of Reasoning about Data (1991), Kluwer Academic Publishers, Dordrecht
52. Pei D.W. A generalized model of fuzzy rough sets. International Journal of General Systems 34 (2005) 603-613
53. Qi G., Pan J.Z., and Ji Q. Extending description logics with uncertainty reasoning in possibilistic logic. In: Mellouli K. (Ed). Proc. of European Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), Lecture Notes in Computer Science Vol. 4724 (2007), Springer, Berlin 828-839
54. Schlobach S., Klein M., and Peelen L. Description logics with approximate definitions: precise modeling of vague concepts. In: Veloso M.M. (Ed). Proc. 20th Internat. Joint Conf. on Artificial Intelligence (IJCAI 2007) (2007), AAAI Press, New York 557-562
55. Schmidt-Schauß M., and Smolka G. Attributive concept descriptions with complements. Artificial Intelligence 48 (1991) 1-26
56. Shi Z., Dong M., Jiang Y., and Zhang H. A logic foundation for the semantic Web. Science in China, Series F Information Sciences 48 (2005) 161-178
57. Sirin E., Parsia B., Grau B.C., Kalyanpur A., and Katz Y. Pellet: a practical OWL-DL reasoner. Journal of Web Semantics 5 (2007) 51-53
58. Stoilos G., Stamou G., Pan J.Z., Tzouvaras V., and Horrocks I. Reasoning with very expressive fuzzy description logics. Journal of Artificial Intelligence Research 30 (2007) 273-320
59. Stoilos G., Straccia U., Stamou G., and Pan J.Z. General concept inclusions in fuzzy description logics. Proc. 17th European Conf. on Artificial Intelligence (ECAI 2006) (2006), IOS Press 457-461
60. Straccia U. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14 (2001) 137-166
61. Straccia U. Description logics over lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14 (2006) 1-16
62. Straccia U. A fuzzy description logic for the semantic Web. In: Sanchez E. (Ed). Capturing Intelligence: Fuzzy Logic and the Semantic Web (2006), Elsevier Science Publishers, Amsterdam 73-90
63. Straccia U. Description logics with fuzzy concrete domains. Proc. 21st Conf. in Uncertainty in Artificial Intelligence (UAI 2005) (2005), AUAI Press 559-567
64. Tho Q.T., Hui S.C., Fong A.C.M., and Cao T.H. Automatic fuzzy ontology generation for semantic Web. IEEE Transactions on Knowledge and Data Engineering 18 (2006) 842-856
65. Tobies S. The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. Journal of Artificial Intelligence Research 12 (2000) 199-217
66. Tsarkov D., and Horrocks I. FaCT++ description logic reasoner: system description. Proc. 3rd Internat. Joint Conf. on Automated Reasoning (IJCAR 2006) (2006), Springer, Berlin 292-297
67. Wu W., Mi J., and Zhang W. Generalized fuzzy rough sets. Information Sciences 151 (2003) 263-282
68. Xu W., and Zhang W. Measuring roughness of generalized rough sets induced by a covering. Fuzzy Sets and Systems 158 (2007) 2443-2455
69. Yao Y.Y. Probabilistic rough set approximations. International Journal of Approximate Reasoning 49 (2008) 255-271
70. Yen J. Generalizing term subsumption languages to fuzzy logic. Proc. 12th Internat. Joint Conf. on Artificial Intelligence (IJCAI-91) (1991), Morgan Kaufmann Publishers, Los Altos, CA 472-477
71. Yeung D.S., Chen D., Tsang E.C.C., Lee J.W.T., and Wang X. On the generalization of fuzzy rough sets. IEEE Transactions on Fuzzy Systems 13 (2005) 343-361
72. Zadeh L.A. Fuzzy sets. Information and Control 8 (1965) 338-353
73. Ziarko W. Probabilistic approach to rough sets. International Journal of Approximate Reasoning 4 (2008) 272-284