×

Extending soft sets with description logics. (English) Zbl 1189.68140

Summary: Molodtsov initiated the concept of soft set theory, which can be used as a generic mathematical tool for dealing with uncertainty. Description Logics (DLs) are a family of knowledge representation languages which can be used to represent the terminological knowledge of an application domain in a structured and formally well-understood way. The current research progress and the existing problems of soft set theory are analyzed. In this paper we extend soft sets with DLs, i.e., present an extended soft set theory by using the concepts of DLs to act as the parameters of soft sets. We define some operations for the extended soft sets. Moreover, we prove that certain De Morgan’s laws hold in the extended soft set theory with respect to these operations.

MSC:

68T37 Reasoning under uncertainty in the context of artificial intelligence
03E72 Theory of fuzzy sets, etc.
68T30 Knowledge representation

Software:

Pellet
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Aktas, H.; Cagman, N., Soft sets and soft groups, Information Sciences, 177, 2726-2735 (2007) · Zbl 1119.03050
[2] Varadhan, S. R.S., Probability Theory (2001), American Mathematical Society · Zbl 0980.60002
[3] Zadeh, L. A., Is there a need for fuzzy logic, Information Sciences, 178, 2751-2779 (2008) · Zbl 1148.68047
[4] Atanassov, K., Intuitionistic fuzzy sets, Fuzzy Sets and Systems, 20, 87-96 (1986) · Zbl 0631.03040
[5] Atanassov, K., Intuitionistic Fuzzy Sets (1999), Physica-Verlag: Physica-Verlag Heidelberg, New York · Zbl 0597.03033
[6] Gau, W. L.; Buehrer, D. J., Vague sets, IEEE Transactions on Systems, Man and Cybernetics, 23, 610-614 (1993) · Zbl 0782.04008
[7] Herbert, J. P.; Yao, J. T., Criteria for choosing a rough set model, Computers & Mathematics with Applications, 57, 908-918 (2009) · Zbl 1186.91066
[8] Pawlak, Z., Rough Sets: Theoretical Aspects of Reasoning about Data (1991), Kluwer Academic Publishers · Zbl 0758.68054
[9] Tsang, E. C.C.; Chen, D.; Yeung, D. S., Approximations and reducts with covering generalized rough sets, Computers & Mathematics with Applications, 56, 279-289 (2008) · Zbl 1145.68547
[10] Maji, P. K.; Biswas, R.; Roy, A. R., Soft set theory, Computers & Mathematics with Applications, 45, 555-562 (2003) · Zbl 1032.03525
[11] Molodtsov, D., Soft set theory—First results, Computers & Mathematics with Applications, 37, 19-31 (1999) · Zbl 0936.03049
[12] Feng, F.; Jun, Y. B.; Zhao, X., Soft semirings, Computers & Mathematics with Applications, 56, 2621-2628 (2008) · Zbl 1165.16307
[13] Jun, Y. B., Soft BCK/BCI-algebras, Computers & Mathematics with Applications, 56, 1408-1413 (2008) · Zbl 1155.06301
[14] Jun, Y. B.; Lee, K. J.; Park, C. H., Soft set theory applied to ideals in \(d\)-algebras, Computers & Mathematics with Applications, 57, 367-378 (2009) · Zbl 1165.03339
[15] Kong, Z.; Gao, L.; Wang, L.; Li, S., The normal parameter reduction of soft sets and its algorithm, Computers & Mathematics with Applications, 56, 3029-3037 (2008) · Zbl 1165.90699
[16] Maji, P. K.; Roy, A. R.; Biswas, R., An application of soft sets in a decision making problem, Computers & Mathematics with Applications, 44, 1077-1083 (2002) · Zbl 1044.90042
[17] Roy, A. R.; Maji, P. K., A fuzzy soft set theoretic approach to decision making problems, Journal of Computational and Applied Mathematics, 203, 412-418 (2007) · Zbl 1128.90536
[18] Xiao, Z.; Gong, K.; Zou, Y., A combined forecasting approach based on fuzzy soft sets, Journal of Computational and Applied Mathematics, 228, 326-333 (2009) · Zbl 1161.91472
[19] Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; Patel-Schneider, P., The Description Logic Handbook: Theory, Implementation and Applications (2007), Cambridge University Press · Zbl 1132.68055
[20] Ali, M. I.; Feng, F.; Liu, X.; Min, W. K.; Shabir, M., On some new operations in soft set theory, Computers & Mathematics with Applications, 57, 1547-1553 (2009) · Zbl 1186.03068
[21] Schlobach, S.; Klein, M.; Peelen, L., Description logics with approximate definitions: Precise modeling of vague concepts, (Veloso, M. M., Proceedings of the 20th International Joint Conference on Artificial Intelligence. Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI 2007 (2007), AAAI Press), 557-562
[22] Schmidt-Schauß, M.; Smolka, G., Attributive concept descriptions with complements, Artificial Intelligence, 48, 1-26 (1991) · Zbl 0712.68095
[23] Horrocks, I.; Sattler, U., A tableau decision procedure for SHOIQ, Journal of Automated Reasoning, 39, 249-276 (2007) · Zbl 1132.68734
[24] Bobillo, F.; Delgado, M.; Gomez-Romero, J.; Straccia, U., Fuzzy description logics under Gödel semantics, International Journal of Approximate Reasoning, 50, 494-514 (2009) · Zbl 1191.68647
[25] Sirin, E.; Parsia, B.; Grau, B. C.; Kalyanpur, A.; Katz, Y., Pellet: A practical OWL-DL reasoner, Journal of Web Semantics, 5, 51-53 (2007)
[26] Jun, Y. B.; Park, C. H., Applications of soft sets in ideal theory of BCK/BCI-algebras, Information Sciences, 178, 2466-2475 (2008) · Zbl 1184.06014
[27] Chen, D.; Tsang, E. C.C.; Yeung, D. S.; Wang, X., The parameterization reduction of soft sets and its applications, Computers & Mathematics with Applications, 49, 757-763 (2005) · Zbl 1074.03510
[28] Maji, P. K.; Biswas, R.; Roy, A. R., Fuzzy soft sets, Journal of Fuzzy Mathematics, 9, 589-602 (2001) · Zbl 0995.03040
[29] Zou, Y.; Xiao, Z., Data analysis approaches of soft sets under incomplete information, Knowledge-Based Systems, 21, 941-945 (2008)
[30] Y. Jiang, Y. Tang, J. Wang, P. Deng, S. Tang, Expressive fuzzy description logics over lattices, Knowledge-Based Systems, in press (doi:10.1016/j.knosys.2009.11.002; Y. Jiang, Y. Tang, J. Wang, P. Deng, S. Tang, Expressive fuzzy description logics over lattices, Knowledge-Based Systems, in press (doi:10.1016/j.knosys.2009.11.002
[31] Jiang, Y.; Tang, Y.; Wang, J.; Tang, S., Reasoning within intuitionistic fuzzy rough description logics, Information Sciences, 179, 2362-2378 (2009) · Zbl 1192.68672
[32] Jiang, Y.; Wang, J.; Deng, P.; Tang, S., Reasoning within expressive fuzzy rough description logics, Fuzzy Sets and Systems, 160, 3403-3424 (2009) · Zbl 1192.68662
[33] Jiang, Y.; Wang, J.; Tang, S.; Xiao, B., Reasoning with rough description logics: An approximate concepts approach, Information Sciences, 179, 600-612 (2009) · Zbl 1170.68037
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.