GEIST Research Group

We are GEIST. We dream big and work hard.

User Tools

Site Tools


This is an old revision of the document!

Table of Contents


Loki (short for Logic in Wiki) is a semantic wiki implementation based on strong logical representation.

See the project website:


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.


  • April 14, 2011: The official Loki 1.0 release is now available for download! This version is largely based on the prototype PlWiki 1.0 and PlWiki 2.0 systems.


You can test the demo of the system here.

Students involved in Loki development work here.

software semantic_wiki Semantic_Web wtf rules gjn intelligent_systems

Go back to → software

pub/software/loki.1304348013.txt.gz · Last modified: 2011/05/02 14:53 by wta