Loki – Semantic Wiki with Logical Knowledge Representation

  • Grzegorz J. Nalepa
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6560)


To fulfill its ambitious promises, Semantic Web needs practical and accessible tools for collective knowledge engineering. Recent developments in the area of semantic wikis show how such tools can be built. However, existing semantic wikis implementations have both conceptual and technological limitations. These limitations are in the areas of knowledge representation, strong reasoning as well as appropriate user interfaces. In this paper a proposal of a new semantic wiki is presented. Loki uses a coherent logic-based representation for semantic annotations of the content. The same representation is used for implementing reasoning procedures. The representation uses the logic programming paradigm and the Prolog programming language. The proposed architecture allows for rule-based reasoning in the wiki. It also provides a compatibility layer with the popular Semantic MediaWiki (SMW) platform, directly parsing its annotations. In the paper a prototype implementation called PlWiki is described, and a practical use case is given.


Knowledge Representation Resource Description Framework Description Logic Semantic Annotation Rule Engine 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Nalepa, G.J.: Plwiki - a generic semantic wiki architecture. In: Nguyen, N.T., Kowalczyk, R., Chen, S.M. (eds.) ICCCI 2009. LNCS, vol. 5796, pp. 345–356. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  2. 2.
    Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web: Scientific american. Scientific American (May 2001)Google Scholar
  3. 3.
    Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC (2009)Google Scholar
  4. 4.
    Bray, T., Paoli, J., Sperberg-McQueen, C.M., Maler, E. (eds.): Extensible markup language (XML) 1.0, 2nd edn. Technical report, World Wide Web Consortium. W3C Recommendation (2000),
  5. 5.
    Lassila, O., Swick, R.R.: Resource description framework (RDF) model and syntax specification. Technical report, World Wide Web Consortium. W3C Recommendation (1999),
  6. 6.
    Brickley, D., Guha, R.V.: RDF vocabulary description language 1.0: RDF schema. W3C recommendation, W3C (February 2004),
  7. 7.
    Patel-Schneider, P.F., Horrocks, I.: OWL 1.1 Web Ontology Language Overview. W3C member submission, W3C (December 2006),
  8. 8.
    Seaborne, A., Prud’hommeaux, E.: SPARQL query language for RDF. W3C recommendation, W3C (January 2008),
  9. 9.
    Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S.: OWL 2 web ontology language — primer. W3C recommendation, W3C (October 2009)Google Scholar
  10. 10.
    Motik, B., Grau, B.C., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C.: OWL 2 web ontology language: profiles. W3C recommendation, W3C (October 2009)Google Scholar
  11. 11.
    Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining OWL and RuleML, W3C member submission, Technical report, W3C (May 21, 2004)Google Scholar
  12. 12.
    Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: Proceedings of the Twelfth International World Wide Web Conference, WWW 2003, pp. 48–57 (2003)Google Scholar
  13. 13.
    Horrocks, I., Parsia, B., Patel-Schneider, P., Hendler, J.: Semantic web architecture: Stack or two towers? In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, pp. 37–41. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  14. 14.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)zbMATHGoogle Scholar
  15. 15.
    van Harmelen, F., Lifschitz, V., Porter, B. (eds.): Handbook of Knowledge Representation. Elsevier Science, Amsterdam (2007)zbMATHGoogle Scholar
  16. 16.
    Brachman, R., Levesque, H.: Knowledge Representation and Reasoning, 1st edn. Morgan Kaufmann, San Francisco (2004)zbMATHGoogle Scholar
  17. 17.
    Oren, E., Delbru, R., Möller, K., Völkel, M., Handschuh, S.: Annotation and navigation in semantic wikis. In: SemWiki (2006)Google Scholar
  18. 18.
    Schaffert, S.: Ikewiki: A semantic wiki for collaborative knowledge management. In: Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2006, Washington, DC, USA, pp. 388–396. IEEE Computer Society, Los Alamitos (2006)CrossRefGoogle Scholar
  19. 19.
    Auer, S., Dietzold, S., Riechert, T.: Ontowiki - a tool for social, semantic collaboration. In: Cruz, I.F., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 736–749. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  20. 20.
    Krötzsch, M., Vrandecic, D., Völkel, M., Haller, H., Studer, R.: Semantic wikipedia. Web Semantics 5, 251–261 (2007)CrossRefGoogle Scholar
  21. 21.
    Oren, E.: Semperwiki: a semantic personal wiki. In: Proc. of 1st Workshop on The Semantic Desktop - Next Generation Personal Information Management and Collaboration Infrastructure, Galway, Ireland (November 2005)Google Scholar
  22. 22.
    Buffa, M., Gandon, F., Ereteo, G., Sander, P., Faron, C.: SweetWiki: A semantic wiki. Web Semantics: Science, Services and Agents on the World Wide Web (2008) (in press)Google Scholar
  23. 23.
    Kuhn, T.: AceWiki: A Natural and Expressive Semantic Wiki. In: Proceedings of Semantic Web User Interaction at CHI 2008: Exploring HCI Challenges, CEUR Workshop Proceedings (2008)Google Scholar
  24. 24.
    Schaffert, S., Eder, J., Grünwald, S., Kurz, T., Radulescu, M.: Kiwi - a platform for semantic social software (demonstration). In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyvönen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol. 5554, pp. 888–892. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  25. 25.
    Baumeister, J., Puppe, F.: Web-based knowledge engineering using knowledge wikis. In: Proc. of the AAAI 2008 Spring Symposium on ”Symbiotic Relationships between Semantic Web and Knowledge Engineering”, Stanford University, USA, pp. 1–13 (2008)Google Scholar
  26. 26.
    Baumeister, J., Reutelshoefer, J., Puppe, F.: Knowwe: A semantic wiki for knowledge engineering. In: Applied Intelligence (2010) (to appear)Google Scholar
  27. 27.
    Jung, J.J., Nguyen, N.T.: Collective intelligence for semantic and knowledge grid. J. UCS 14(7), 1016–1019 (2008)Google Scholar
  28. 28.
    Jung, J.J., Nguyen, N.T.: Consensus choice for reconciling social collaborations on semantic wikis. In: Nguyen, N.T., Kowalczyk, R., Chen, S.M. (eds.) ICCCI 2009. LNCS, vol. 5796, pp. 472–480. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  29. 29.
    Jung, J.J.: Knowledge distribution via shared context between blog-based knowledge management systems: A case study of collaborative tagging. Expert Syst. Appl. 36(7), 10627–10633 (2009)CrossRefGoogle Scholar
  30. 30.
    Razmerita, L., Kirchner, K., Sudzina, F.: Personal knowledge management. the role of web 2.0 tools for managing knowledge at individual and organisational levels. Online Information Review 33(6), 1021–1039 (2009)CrossRefGoogle Scholar
  31. 31.
    Baumeister, J., Nalepa, G.J.: Engineering expressive knowledge with semantic wikis. In: Ligęza, A., Nalepa, G.J. (eds.) International Workshop on Design, Evaluation and Refinement of Intelligent Systems (DERIS 2009), Kraków, Poland, November 28, pp. 13–24 (2009)Google Scholar
  32. 32.
    Rosati, R.: DL+log: Tight integration of description logics and disjunctive datalog. In: Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 68–78 (2006)Google Scholar
  33. 33.
    Horrocks, I.: OWL Rules, OK? In: W3C Workshop on Rule Languages for Interoperability (April 27-28, 2005)Google Scholar
  34. 34.
    Bratko, I.: Prolog Programming for Artificial Intelligence, 3rd edn. Addison Wesley, Reading (2000)zbMATHGoogle Scholar
  35. 35.
    Covington, M.A., Nute, D., Vellino, A.: Prolog programming in depth. Prentice-Hall, Englewood Cliffs (1996)zbMATHGoogle Scholar
  36. 36.
    Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Prentice-Hall, Englewood Cliffs (2003)zbMATHGoogle Scholar
  37. 37.
    Noga, M., Kaczor, K., Nalepa, G.J.: Lightweight reasoning methods in selected semantic wikis. Gdansk University of Technology Faculty of ETI Annals 18(8), 103–108 (2010)Google Scholar
  38. 38.
    Vassiliadis, V., Wielemaker, J., Mungall, C.: Processing owl2 ontologies using thea: An application of logic programming. In: OWLED (2009)Google Scholar
  39. 39.
    Fuchs, N.E., Schwertel, U., Schwitter, R.: Attempto controlled english - not just another logic specification language. In: Flener, P. (ed.) LOPSTR 1998. LNCS, vol. 1559, p. 1. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  40. 40.
    Nalepa, G.J.: Architecture of the heart hybrid rule engine. In: Rutkowski, L., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2010. LNCS (LNAI), vol. 6114, pp. 598–605. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  41. 41.
    Nalepa, G.J., Ligęza, A.: A graphical tabular model for rule-based logic programming and verification. Systems Science 31(2), 89–95 (2005)MathSciNetzbMATHGoogle Scholar
  42. 42.
    Nalepa, G.J., Ligęza, A.: XTT+ rule design using the ALSV(FD). In: Giurca, A., Analyti, A., Wagner, G. (eds.) ECAI 2008: 18th European Conference on Artificial Intelligence: 2nd East European Workshop on Rule-based Applications, RuleApps2008, Patras, University of Patras, July 22, pp. 11–15 (2008)Google Scholar
  43. 43.
    Nalepa, G.J., Ligęza, A.: HeKatE methodology, hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science 20(1), 35–53 (2010)CrossRefzbMATHGoogle Scholar
  44. 44.
    Nalepa, G.J., Furmańska, W.T.: Proposal of a New Rule-Based Inference Scheme for the Semantic Web Applications. In: Nguyen, N.T., Katarzyniak, R.P., Janiak, A. (eds.) New Challenges in Computational Collective Intelligence. SCI, vol. 244, pp. 15–26. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  45. 45.
    Nalepa, G.J.: Collective knowledge engineering with semantic wikis. Journal of Universal Computer Science 16(7), 1006–1023 (2010), Google Scholar
  46. 46.
    Kotra, M.: Design of a prototype knowledge wiki system based on prolog. Master’s thesis, AGH University of Science and Technology in Kraków (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Grzegorz J. Nalepa
    • 1
  1. 1.Institute of AutomaticsAGH University of Science and TechnologyKrakówPoland

Personalised recommendations