This is an old revision of the document!
Loki (short for Logic in Wiki) is a semantic wiki implementation based on strong logical representation.
See the project website: http://loki.ia.agh.edu.pl
The main apparent limitation of existing semantic wikis is the lack of expressive knowledge representation mechanism. Building a knowledge base with a semantic wiki becomes complicated because of its collective nature, where number of users collaborate in the knowledge engineering process. A need for knowledge evaluation and analysis facilities become clear.
The most important concept of Loki 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. Using the presented architecture it is possible to analyze rule-based knowledge stored in the wiki.
Loki 1.0 is based on the prototype versions of the system, called PlWiki. The system covers the functionality of PlWiki 1.0 by Michał Kotra, and PlWiki 2.0 by Mirosława Ozgowicz.