The paper presents a new semantic wiki architecture called PlWiki. The most important concept is to provide a strong knowledge representation and reasoning with Horn clauses-based representation. The idea is to use Prolog clauses on the lower level to represent facts and relations, as well as define rules on top of them. On the other hand a higher-level Semantic Web layer using RDF support is provided. This allows for compatibility with Semantic Media Wiki while offering improved representation and reasoning capabilities. Another important idea is provide an extension to already available flexible wiki solution (DokuWiki) instead of modifying existing wiki engine.


Horn Clause SPARQL Query Prolog Clause Prolog Interpreter Prolog Code 
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.
    Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web: Scientific American. Scientific American (May 2001)Google Scholar
  2. 2.
    Schaffert, S.: Ikewiki: A semantic wiki for collaborative knowledge management. In: WETICE 2006: Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, pp. 388–396. IEEE Computer Society, Washington (2006)CrossRefGoogle Scholar
  3. 3.
    Krötzsch, M., Vrandecic, D., Völkel, M., Haller, H., Studer, R.: Semantic wikipedia. Web Semantics 5, 251–261 (2007)CrossRefGoogle Scholar
  4. 4.
    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 (in press) (2008)Google Scholar
  5. 5.
    McGuinness, D.L., van Harmelen, F.: Owl web ontology language overview, w3c recommendation 10 february 2004. Technical report, W3C (2004)Google Scholar
  6. 6.
    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 May 21, 2004. Technical report, W3C (2004)Google Scholar
  7. 7.
    Bratko, I.: Prolog Programming for Artificial Intelligence, 3rd edn. Addison Wesley, Reading (2000)zbMATHGoogle Scholar
  8. 8.
    Nalepa, G.J., Wojnicki, I.: Proposal for a prolog-based knowledge wiki. In: Nalepa, G.J., Baumeister, J. (eds.) 4th Workshop on Knowledge Engineering and Software Engineering (KESE2008) at the 32st German conference on Artificial Intelligence, Kaiserslautern, Germany, September 23, pp. 43–54 (2008)Google Scholar
  9. 9.
    Auer, S., Dietzold, S., Riechert, T.: Ontowiki - a tool for social, semantic collaboration. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 736–749. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  10. 10.
    Baumeister, J., Reutelshoefer, J., Puppe, F.: Knowwe: community-based knowledge capture with knowledge wikis. In: K-CAP 2007: Proceedings of the 4th international conference on Knowledge capture, pp. 189–190. ACM, New York (2007)Google Scholar
  11. 11.
    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, pp. 1–13. Stanford University, USA (2008)Google Scholar
  12. 12.
    Reutelshoefer, J., Baumeister, J., Puppe, F.: Ad-hoc knowledge engineering with semantic knowledge wikis. In: Proc. of SemWiki 2008 - The Wiki Way of Semantics, Workshop co-located with the 5th European Semantic Web Conference, Tenerife, Spain (2008)Google Scholar
  13. 13.
    Ben-Ari, M.: Mathematical Logic for Computer Science. Springer, London (2001)CrossRefzbMATHGoogle Scholar
  14. 14.
    Baumeister, J., Nalepa, G.J.: Verification of distributed knowledge in semantic knowledge wikis. In: FLAIRS-22: Proceedings of the twenty-second international Florida Artificial Intelligence Research Society conference, Sanibel Island, Florida, USA, May 19–21 (2009) (to be published)Google Scholar
  15. 15.
    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
  16. 16.
    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, RuleApps 2008: Patras, July 22, pp. 11–15. University of Patras, Patras (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

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

Personalised recommendations