<?xml version="1.0" encoding="UTF-8"?>
<!-- generator="FeedCreator 1.8" -->
<?xml-stylesheet href="https://loki.re/wiki/lib/exe/css.php?s=feed" type="text/css"?>
<rdf:RDF
    xmlns="http://purl.org/rss/1.0/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel rdf:about="https://loki.re/wiki/feed.php">
        <title>Logic in wiki docs</title>
        <description></description>
        <link>https://loki.re/wiki/</link>
        <image rdf:resource="https://loki.re/wiki/lib/tpl/dokuwiki/images/favicon.ico" />
       <dc:date>2026-05-04T08:29:57+00:00</dc:date>
        <items>
            <rdf:Seq>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:adminman?rev=1648054746&amp;do=diff"/>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:bpwiki-about?rev=1648054746&amp;do=diff"/>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:bpwiki-tutorial?rev=1648054746&amp;do=diff"/>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:installation?rev=1678908902&amp;do=diff"/>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:loki-about?rev=1648054746&amp;do=diff"/>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:loki-tutorial?rev=1648054746&amp;do=diff"/>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:lokiontology?rev=1678908798&amp;do=diff"/>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:plwiki1api?rev=1648054746&amp;do=diff"/>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:plwiki1ex?rev=1648054746&amp;do=diff"/>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:plwiki2?rev=1648054746&amp;do=diff"/>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:prov?rev=1648054746&amp;do=diff"/>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:rdfeditor?rev=1648054746&amp;do=diff"/>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:rdfloki?rev=1648054746&amp;do=diff"/>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:revisionsrater?rev=1648054746&amp;do=diff"/>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:sbvr-about?rev=1648054746&amp;do=diff"/>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:sbvr-tutorial?rev=1648054746&amp;do=diff"/>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:start?rev=1648054746&amp;do=diff"/>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:tour?rev=1678904360&amp;do=diff"/>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:userman?rev=1648054746&amp;do=diff"/>
                <rdf:li rdf:resource="https://loki.re/wiki/docs:xttviewer?rev=1648054746&amp;do=diff"/>
            </rdf:Seq>
        </items>
    </channel>
    <image rdf:about="https://loki.re/wiki/lib/tpl/dokuwiki/images/favicon.ico">
        <title>Logic in wiki</title>
        <link>https://loki.re/wiki/</link>
        <url>https://loki.re/wiki/lib/tpl/dokuwiki/images/favicon.ico</url>
    </image>
    <item rdf:about="https://loki.re/wiki/docs:adminman?rev=1648054746&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2022-03-23T16:59:06+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:adminman</title>
        <link>https://loki.re/wiki/docs:adminman?rev=1648054746&amp;do=diff</link>
        <description>Admin manual

Design

Loki was designed as an extension of the DokuWiki. There are a lot of wiki engines avaliable on the Internet. There are many different conceptions. Many of them are similar, but there are plenty differences in wikitext syntax, implementation or runtime enviroment. This is why, instead of designing another wiki system, the idea of using existing stable and tested wiki engine and concept of the implementation of the plugin to this system.</description>
    </item>
    <item rdf:about="https://loki.re/wiki/docs:bpwiki-about?rev=1648054746&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2022-03-23T16:59:06+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:bpwiki-about</title>
        <link>https://loki.re/wiki/docs:bpwiki-about?rev=1648054746&amp;do=diff</link>
        <description>BPwiki - wiki for Business Processes

BPWiki is a wiki for collaborative Software Engineering. It supports simplebpmn syntax for easy modeling of Business Processes.

To guarantee compatibility with BPMN models, BPMN -&gt; simplebpmn converter is provided.</description>
    </item>
    <item rdf:about="https://loki.re/wiki/docs:bpwiki-tutorial?rev=1648054746&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2022-03-23T16:59:06+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:bpwiki-tutorial</title>
        <link>https://loki.re/wiki/docs:bpwiki-tutorial?rev=1648054746&amp;do=diff</link>
        <description>BPwiki Tutorial

SimpleBPMN is a plugin for DokuWiki - in order to work with it you have to have it installed. You can download it from downloads page.

SimpleBPMN Notation

SimpleBPMN is a JSON based notation focusing on the Process Diagrams. Since BPMN has more types of sub-models, SimpleBPMN covers only some elements that is offered by BPMN itself.</description>
    </item>
    <item rdf:about="https://loki.re/wiki/docs:installation?rev=1678908902&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2023-03-15T19:35:02+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:installation</title>
        <link>https://loki.re/wiki/docs:installation?rev=1678908902&amp;do=diff</link>
        <description>Installation

Loki

Loki requirements:

	*  DokuWiki in Unix environment
(tested on 2017-02-19e “Frusterick Manners”, but should also work on the latest releases)
If your DokuWiki is pre-2015 release, please update the Dokuwiki
	*  DokuWiki plugins:
		*</description>
    </item>
    <item rdf:about="https://loki.re/wiki/docs:loki-about?rev=1648054746&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2022-03-23T16:59:06+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:loki-about</title>
        <link>https://loki.re/wiki/docs:loki-about?rev=1648054746&amp;do=diff</link>
        <description>Loki - Logic in wiki

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.</description>
    </item>
    <item rdf:about="https://loki.re/wiki/docs:loki-tutorial?rev=1648054746&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2022-03-23T16:59:06+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:loki-tutorial</title>
        <link>https://loki.re/wiki/docs:loki-tutorial?rev=1648054746&amp;do=diff</link>
        <description>Loki using tutorial

This is complete tutorial to usage of the Loki plugin by any DokuWiki user. It provides description of Loki features with functional examples. While reading this tutorial you will learn how to create simple Movies Knowledge Base in Loki.</description>
    </item>
    <item rdf:about="https://loki.re/wiki/docs:lokiontology?rev=1678908798&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2023-03-15T19:33:18+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:lokiontology</title>
        <link>https://loki.re/wiki/docs:lokiontology?rev=1678908798&amp;do=diff</link>
        <description>lokiontology

DokuWiki plugin that adds ontology support to Loki. This makes process of creating knowledge base easier by validating semantic information on pages.

Features

	*  editor that lets you create ontologies used in wiki,
	*  autocompletion of categories, attributes, relations and relation objects (all described in ontologies),</description>
    </item>
    <item rdf:about="https://loki.re/wiki/docs:plwiki1api?rev=1648054746&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2022-03-23T16:59:06+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:plwiki1api</title>
        <link>https://loki.re/wiki/docs:plwiki1api?rev=1648054746&amp;do=diff</link>
        <description>PlWiki 1.0 - Plugin API

Examples available here

IMPORTANT:

This code should be placed on every page using PlWiki plugin:

 ~~NOCACHE~~ 


Prolog Code in Loki

The simplest use case. Without cache. Only process knowledge between “pl” tags. 



&lt;pl goal=&quot;woman(X),write(X),nl,fail&quot;&gt;
woman(kate).
man(john).
&lt;/pl&gt;</description>
    </item>
    <item rdf:about="https://loki.re/wiki/docs:plwiki1ex?rev=1648054746&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2022-03-23T16:59:06+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:plwiki1ex</title>
        <link>https://loki.re/wiki/docs:plwiki1ex?rev=1648054746&amp;do=diff</link>
        <description>PlWiki 1.0 - Plugin API examples

Simple use case



IMPORTANT: This knowledge is not saved in cache !!

Adding knowledge to the page



IMPORTANT: cache=“true” so knowledge will be saved.

Goal and scope



Prolog interface

	*  list all predicates in selected scope:</description>
    </item>
    <item rdf:about="https://loki.re/wiki/docs:plwiki2?rev=1648054746&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2022-03-23T16:59:06+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:plwiki2</title>
        <link>https://loki.re/wiki/docs:plwiki2?rev=1648054746&amp;do=diff</link>
        <description>PlWiki 2.0 functionality

Functionalities added in the extended version of PlWiki can be divided into four parts:

	*  Support for Semantic MediaWiki syntax and functionality
	*  Debugging functions
	*  Exporting pages to RDF
	*  Support for SPARQL queries</description>
    </item>
    <item rdf:about="https://loki.re/wiki/docs:prov?rev=1648054746&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2022-03-23T16:59:06+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:prov</title>
        <link>https://loki.re/wiki/docs:prov?rev=1648054746&amp;do=diff</link>
        <description>PROV plugin for DokuWiki

PROV (abbreviation from Provenance) is a W3C Standard to describe entities, activities, and people involved in producing a piece of data. Provenance description is saved in a form of an graph. Presented plugin uses PROV to describe provenance of DokuWiki pages. PROV graph is serialized into the form of OWL2 Ontology using Turtle syntax.</description>
    </item>
    <item rdf:about="https://loki.re/wiki/docs:rdfeditor?rev=1648054746&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2022-03-23T16:59:06+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:rdfeditor</title>
        <link>https://loki.re/wiki/docs:rdfeditor?rev=1648054746&amp;do=diff</link>
        <description>RDF Editor

RDF Editor is available here: &lt;http://loki.ia.agh.edu.pl/RDFeditor/&gt; 

You can also download it and install on your own server.

Note: It is recommended to use it in Firefox web browser. There are some issues with Google Chrome.

Overview

HTML5-based RDF editor and visualisator:

	*  RDF/XML import/export.</description>
    </item>
    <item rdf:about="https://loki.re/wiki/docs:rdfloki?rev=1648054746&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2022-03-23T16:59:06+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:rdfloki</title>
        <link>https://loki.re/wiki/docs:rdfloki?rev=1648054746&amp;do=diff</link>
        <description>rdfloki

rdfloki is a simple visualisation plugin for Loki semantic wiki. It represents the knowledge saved on a given page in a form of a graph.

To show the graph:

	*  Click “Export to RDF/XML” button
	*  Refresh the page
	*  Click “Show graph</description>
    </item>
    <item rdf:about="https://loki.re/wiki/docs:revisionsrater?rev=1648054746&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2022-03-23T16:59:06+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:revisionsrater</title>
        <link>https://loki.re/wiki/docs:revisionsrater?rev=1648054746&amp;do=diff</link>
        <description>revisionsrater

Motivation

revisionsrater plugin is a part of BiFröST Framework responsible for allowing users a simple way for pages evaluation. It lists all revisions of specific wiki page and gives a possibility to rate each of them on 1-5 stars scale.
These evaluations can be then further analysed along with other pieces of information available within the Framework.</description>
    </item>
    <item rdf:about="https://loki.re/wiki/docs:sbvr-about?rev=1648054746&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2022-03-23T16:59:06+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:sbvr-about</title>
        <link>https://loki.re/wiki/docs:sbvr-about?rev=1648054746&amp;do=diff</link>
        <description>SBVRwiki - business rules in wiki with SBVR

It is an online collaborative solution that allows for distributed and incremental business rules (set of rules definig how does a company works) authoring for business analytics and users.
It uses the Dokuwiki back-end for storage and unlimited version control, as well as user authentication.
It supports creation of vocabularies, terms and rules in a transparent, user friendly fashion.
Furthermore, it provides visualization and evaluation mechanisms …</description>
    </item>
    <item rdf:about="https://loki.re/wiki/docs:sbvr-tutorial?rev=1648054746&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2022-03-23T16:59:06+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:sbvr-tutorial</title>
        <link>https://loki.re/wiki/docs:sbvr-tutorial?rev=1648054746&amp;do=diff</link>
        <description>SBVRwiki Tutorial

SBVRwiki uses the Dokuwiki back-end for storage, unlimited version control
and user authentication. The tool supports identification and creation of vocabularies,
terms and rules in a transparent, user friendly fashion. It also provides
visualization and evaluation mechanisms for created rules.</description>
    </item>
    <item rdf:about="https://loki.re/wiki/docs:start?rev=1648054746&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2022-03-23T16:59:06+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:start</title>
        <link>https://loki.re/wiki/docs:start?rev=1648054746&amp;do=diff</link>
        <description>Documentation

For a quickstart see: 1.5h Tour through our tools :!:

Loki

	*  About Loki
	*  Installation -&gt; How to install
	*  Tutorial -&gt; Quickstart: how to create first pages with semantic annotations and how to ask queries using both Ask and Prolog code
	*  User manual -&gt; More comprehensive guide to editing wiki pages</description>
    </item>
    <item rdf:about="https://loki.re/wiki/docs:tour?rev=1678904360&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2023-03-15T18:19:20+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:tour</title>
        <link>https://loki.re/wiki/docs:tour?rev=1678904360&amp;do=diff</link>
        <description>1.5h Tour through our tools

These instructions may be done in Loki demo. Feel free to register using Register option at the top right corner of the page.

All links and examples here will assume that you are using our Loki demo.

Semantic wiki

1. Simple wiki page</description>
    </item>
    <item rdf:about="https://loki.re/wiki/docs:userman?rev=1648054746&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2022-03-23T16:59:06+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:userman</title>
        <link>https://loki.re/wiki/docs:userman?rev=1648054746&amp;do=diff</link>
        <description>Loki Manual - User manual

Editing

Defining Semantic data

There are three main methods of semantic annotations used in Semantic MediaWiki that are supported in Loki:

	*  categories - a simple form of annotation that allows users to classify pages. To state that article (Wiki page) belongs to the category</description>
    </item>
    <item rdf:about="https://loki.re/wiki/docs:xttviewer?rev=1648054746&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2022-03-23T16:59:06+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>docs:xttviewer</title>
        <link>https://loki.re/wiki/docs:xttviewer?rev=1648054746&amp;do=diff</link>
        <description>XTTviewer

XTTviewer is a simple plugin that allows display of XTT2 rule trees within the wiki pages as presented below. 

To know more about XTT2 representation see: &lt;http://ai.ia.agh.edu.pl/wiki/hekate:xtt2&gt;. 

To present XTT2 trees on the wiki pages, simply put the HMR file inside the &lt;hmr&gt;&lt;/hmr&gt;</description>
    </item>
</rdf:RDF>
