Skip to main content
Log in

Relationships between knowledge bases and related results

  • Regular Paper
  • Published:
Knowledge and Information Systems Aims and scope Submit manuscript

Abstract

Relationships between information systems are very important topics in the field of artificial intelligence. The concept of homomorphisms is an effective mathematical tool to study relationships between information systems. A knowledge base is a special relation information system. This paper investigates invariant characteristics of knowledge bases under the homomorphism. The fact that knowledge bases themselves are invariant and inverse invariant under the homomorphism is firstly proved. Next, some invariant characteristics and inverse invariant characteristics under the homomorphism, such as the dependency of knowledge bases, knowledge reductions, coordinate families and necessary relations, are obtained based on this fact. Finally, lattice characteristics of the dependency of knowledge bases are given. These results will be significant for establishing a framework of granular computing in knowledge bases.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Davey BA, Priestley HA (1990) Introduction to lattices and order. Cambridge University Press, Cambridge

    MATH  Google Scholar 

  2. Grzymala-Busse JW (1986) Algebraic properties of knowledge representation systems. In: Proceedings of the ACM SIGART international symposium on methodologies for intelligent systems, Knoxville, pp 432–440

  3. Grzymala-Busse JW, Sedelow WA (1988) On rough sets, and information system homomorphism. Bull Polish Acad Technol Sci 36(3–4):233–239

    MATH  Google Scholar 

  4. Kryszkiewicz M (2001) Comparative study of alternative types of knowledge reduction in inconsistent systems. Int J Intell Syst 16:105–120

    Article  MATH  Google Scholar 

  5. Levy Y, Rousset MC (1998) Verification of knowledge bases based on containment checking. Artif Intell 101:227–250

    Article  MathSciNet  MATH  Google Scholar 

  6. Liang J, Xu Z (2002) The algorithm on knowledge reductionion in incomplete information systems. Int J Uncertain Fuzziness Knowl Based Syst 24(1):95–103

    Article  MathSciNet  MATH  Google Scholar 

  7. Li D, Ma Y (2000) Invariant characters of information systems under some homomorphisms. Inf Sci 129:211–220

    Article  MathSciNet  MATH  Google Scholar 

  8. Pawlak Z (1991) Rough sets: theoretical aspects of reasoning about data. Kluwer, Dordrecht

    Book  MATH  Google Scholar 

  9. Pawlak Z, Skowron A (2007) Rudiments of rough sets. Inf Sci 177:3–27

    Article  MathSciNet  MATH  Google Scholar 

  10. Pawlak Z, Skowron A (2007) Rough sets: some extensions. Inf Sci 177:28–40

    Article  MathSciNet  MATH  Google Scholar 

  11. Pawlak Z, Skowron A (2007) Rough sets and Boolean reasoning. Inf Sci 177:41–73

    Article  MathSciNet  MATH  Google Scholar 

  12. Pawlak Z (1982) Rough sets. Int J Comput Inform Sci 11:341–356

    Article  MathSciNet  MATH  Google Scholar 

  13. Pedrycz W, Vukovich G (2000) Granular worlds: representation and communication problems. Int J Intell Syst 15(11):1015–1026

    Article  MATH  Google Scholar 

  14. Qian Y, Liang J, Dang C (2009) Knowledge structure, knowledge granulation and knowledge distance in a knowledge base. Int J Approx Reason 50:174–188

    Article  MathSciNet  MATH  Google Scholar 

  15. Skowron A, Rauszer C (1992) The discernibility matrices and mappings in information systems. In: Slowinski R (ed) Intelligent decision support. Handbook of applications and advances of the rough set theory. Kluwer, Dordrecht, pp 331–362

    Google Scholar 

  16. Wang C, Chen D, Sun B, Hu Q (2012) Communication between information systems with covering based rough sets. Inf Sci 216:17–33

    Article  MathSciNet  MATH  Google Scholar 

  17. Wang C, Chen D, Wu C, Hu Q (2011) Data compression with homomorphism in covering information systems. Int J Approx Reason 52:519–525

    Article  MathSciNet  MATH  Google Scholar 

  18. Wang C, Chen D, Zhu L (2009) Homomorphisms between fuzzy information systems. Appl Math Lett 22:1045–1050

    Article  MathSciNet  MATH  Google Scholar 

  19. Wu W, Zhang M, Li H, Mi J (2005) Knowledge reductionion in random information systems via Dempster-Shafer theory of evidence. Inf Sci 174:143–164

    Article  MathSciNet  MATH  Google Scholar 

  20. Wang C, Wu C, Chen D, Du W (2008) Some properties of relation information systems under homomorphisms. Appl Math Lett 21:940–945

    Article  MathSciNet  MATH  Google Scholar 

  21. Wang C, Wu C, Chen D, Hu Q, Wu C (2008) Communicating between information systems. Inf Sci 178:3228–3239

    Article  MathSciNet  MATH  Google Scholar 

  22. Yao YY (1998) Constructive and algebraic methods of the theory of rough sets. Inf Sci 109:21–47

    Article  MathSciNet  MATH  Google Scholar 

  23. Zhao J, Liu L (2011) Construction of concept granule based on rough set and representation of knowledge-based complex system. Knowl Based Syst 24:809–815

    Article  Google Scholar 

  24. Zhang W, Mi J, Wu W (2003) Knowledge reductions in inconsistent information systems. Int J Intell Syst 18:989–1000

  25. Zhang W, Qiu G (2005) Uncertain decision making based on rough set theory. Tsinghua University Publishers, Beijing

    Google Scholar 

  26. Zhu P, Wen Q (2010) Some improved results on communication between information systems. Inf Sci 180:3521–3531

    Article  MathSciNet  MATH  Google Scholar 

  27. Zhu P, Wen Q (2011) Homomorphisms between fuzzy information systems revisited. Appl Math Lett 24:1548–1553

    Article  MathSciNet  MATH  Google Scholar 

  28. Zhang W, Wu W, Liang J, Li D (2001) Rough set theory and methods. Chinese Scientific Publishers, Beijing

    Google Scholar 

Download references

Acknowledgments

The authors would like to thank the editors and the anonymous reviewers for their valuable suggestions which have helped immensely in improving the quality of this paper. This work is supported by the National Natural Science Foundation of China (11461005, 11371130, 11371003, 11201490, 11401052), the Natural Science Foundation of Guangxi (2014GXNSFAA118001, 2012GX NSFGA060003), Guangxi University Science and Technology Research Project (KY2015YB075, KY2015YB081), Special Funds of Guangxi Distinguished Experts Construction Engineering and Key Laboratory of Optimization Control and Engineering Calculation in Department of Guangxi Education.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Zhaowen Li.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Li, Z., Liu, Y., Li, Q. et al. Relationships between knowledge bases and related results. Knowl Inf Syst 49, 171–195 (2016). https://doi.org/10.1007/s10115-015-0902-z

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10115-015-0902-z

Keywords

Navigation