Skip to main content
SpringerLink
Log in

Experimental Implementation of Web-Based Knowledge Base Verification Module

  • Conference paper
  • First Online:
Computational Collective Intelligence (ICCCI 2018)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 11056))

Included in the following conference series:

Abstract

The problem of knowledge bases verification is now recognized as an important problem in the knowledge engineering. In this article the selected verification issues were considered and the new, experimental version of the verification module of KBExplorer system was introduced. The verification module was implemented as front-end, single page application. The module works on preloaded data, retrieved from back-end server via REST API. The research described in this work are focused on the experimental evaluation of effectiveness of the verification algorithms implemented in JavaScript. The work presents the outline of proposed verification algorithms. Experiments were conducted on real-world knowledge bases with a relatively large number of rules. The results obtained for three rule bases, three hardware configuration and the web-browsed are compared and some conclusions are drawn.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    www.kbexplorer.ii.us.edu.pl/~msiminski.

References

  1. Simiński, R., Nowak-Brzezińska, A.: Goal-driven inference for web knowledge based system. In: Wilimowska, Z., Borzemski, L., Grzech, A., Świątek, J. (eds.) Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology – ISAT 2015 – Part IV. AISC, vol. 432, pp. 99–109. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-28567-2_9

    Chapter  Google Scholar 

  2. Simiński, R., Nowak-Brzezińska, A.: KBExplorator and KBExpertLib as the tools for building medical decision support systems. In: Nguyen, N.-T., Manolopoulos, Y., Iliadis, L., Trawiński, B. (eds.) ICCCI 2016. LNCS (LNAI), vol. 9876, pp. 494–503. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-45246-3_47

    Chapter  Google Scholar 

  3. Preece, A.: Methods for verifying expert system knowledge bases. Report for Bell Canada, Centre for Pattern Recognition and Machine Intelligence, Concordia University Canada (1991)

    Google Scholar 

  4. Preece, A.D., Shinghal, R.: Foundation and application of knowledge base verification. Int. J. Intell. Syst. 9(8), 683–701 (1994)

    Article  Google Scholar 

  5. Nguyen, T.A., Perkins, W.A., Laffey, T.J., Pecora, D.: Knowledge-base verification. AI Mag. 8(2), 69–75 (1987)

    Google Scholar 

  6. Vermesan, A., Coenen, F.: Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice. Springer, Boston (2013). https://doi.org/10.1007/978-1-4757-6916-6

    Book  Google Scholar 

  7. Zacharias, V.: Development and verification of rule based systems—a survey of developers. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2008. LNCS, vol. 5321, pp. 6–16. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-88808-6_4

    Chapter  Google Scholar 

  8. Hoppe, T., Meseguer, P.: VVT terminology: a proposal. IEEE Expert 8(3), 48–55 (1993)

    Article  Google Scholar 

  9. O’Keefe, R.M., O’Leary, D.E.: Expert system verification and validation: a survey and tutorial. Artif. Intell. Rev. 7(1), 3–42 (1993)

    Article  Google Scholar 

  10. Ginsberg, A.: Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy. In: AAAI, vol. 88, pp. 21–26 (1988)

    Google Scholar 

  11. Nazareth, D.L., Kennedy, M.H.: Verification of rule-based knowledge using directed graphs. Knowl. Acquis. 3(4), 339–360 (1991)

    Article  Google Scholar 

  12. Valiente, G.: Knowledge base verification using algebraic graph transformations. Ph.D. thesis, University of the Balearic Islands (1994)

    Google Scholar 

  13. Nazareth, D.L.: Investigating the applicability of petri nets for rule-based system verification. IEEE Trans. Knowl. Data Eng. 5(3), 402–415 (1993)

    Article  Google Scholar 

  14. He, X., Chu, W.C., Yang, H.: A new approach to verify rule-based systems using petri nets. Inf. Softw. Technol. 45(10), 663–669 (2003)

    Article  Google Scholar 

  15. Koriem, S.M.: A fuzzy petri net tool for modeling and verification of knowledge-based systems. Comput. J. 43(3), 206–223 (2000)

    Article  Google Scholar 

  16. Suwa, M., Scott, A.C., Shortliffe, E.H.: An approach to verifying completeness and consistency in a rule-based expert system. AI Mag. 3(4), 16 (1982)

    Google Scholar 

  17. Stachowitz, R.A., Combs, J.B.: Validation of expert systems. In: Proceedings of the 20th Annual Hawaii International Conference on System Sciences, vol. 1, 686–695 (1987)

    Google Scholar 

  18. Meseguer, P., Verdaguer, A.: Verification of multi-level rule-based expert systems: theory and practice. Int. J. Expert Syst. 6(2), 163–192 (1993)

    Google Scholar 

  19. Michalik, K., Simiński, R.: The hybrid architecture of the AI software package sphinx. In: Proceedings of International Conference: Colloquia in Artificial Intelligence CAI, vol. 98, pp. 210–219 (1998)

    Google Scholar 

  20. Siminski, R., Wakulicz-Deja, A.: Application of decision units in knowledge engineering. In: Tsumoto, S., Słowiński, R., Komorowski, J., Grzymała-Busse, J.W. (eds.) RSCTC 2004. LNCS (LNAI), vol. 3066, pp. 721–726. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-25929-9_91

    Chapter  MATH  Google Scholar 

  21. Kaczor, K., Nalepa, G.J.: Hades-presentation of the HeKatE design environment. In: 5th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd German Conference on Artificial Intelligence, Paderborn, Germany, September, vol. 15, pp. 57–62 (2009)

    Google Scholar 

  22. Nalepa, G.J., Ligeza, A.: Prolog-based analysis of tabular rule-based systems with XTT approach. In: FLAIRS Conference, pp. 426–431 (2006)

    Google Scholar 

  23. Nalepa, G.J., Bobek, S., Ligęza, A., Kaczor, K.: HalVA - rule analysis framework for XTT2 rules. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011. LNCS, vol. 6826, pp. 337–344. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-22546-8_27

    Chapter  Google Scholar 

  24. Simiński, R., Wakulicz-Deja, A.: Decision units as a tool for rule base modeling and verification. In: Kłopotek, M.A., Wierzchoń, S.T., Trojanowski, K. (eds.) Intelligent Information Processing and Web Mining, pp. 553–556. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-36562-4_60

    Chapter  MATH  Google Scholar 

  25. Simiński, R.: Multivariate approach to modularization of the rule knowledge bases. In: Gruca, A., Brachman, A., Kozielski, S., Czachórski, T. (eds.) Man-Machine Interactions 4, pp. 473–483. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-23437-3_40

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, University of Silesia, Katowice, Poland

    Roman Simiński, Agnieszka Nowak-Brzezińska & Michał Simiński

Authors
  1. Roman Simiński
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Agnieszka Nowak-Brzezińska
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Michał Simiński
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Roman Simiński .

Editor information

Editors and Affiliations

  1. Faculty of Information Technology, Ton Duc Thang University, Ho Chi Minh City, Vietnam

    Ngoc Thanh Nguyen

  2. Department of Computer Science and Creative Technologies, University of the West of England, Bristol, United Kingdom

    Elias Pimenidis

  3. Department of Computer Science and Creative Technologies, University of the West of England, Bristol, United Kingdom

    Zaheer Khan

  4. Faculty of Computer Science and Management, Wrocław University of Science and Technology, Wrocław, Poland

    Bogdan Trawiński

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Simiński, R., Nowak-Brzezińska, A., Simiński, M. (2018). Experimental Implementation of Web-Based Knowledge Base Verification Module. In: Nguyen, N., Pimenidis, E., Khan, Z., Trawiński, B. (eds) Computational Collective Intelligence. ICCCI 2018. Lecture Notes in Computer Science(), vol 11056. Springer, Cham. https://doi.org/10.1007/978-3-319-98446-9_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-98446-9_25

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-98445-2

  • Online ISBN: 978-3-319-98446-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation