pub:software:loki
Differences
This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
pub:software:loki [2011/05/02 14:50] – created wta | pub:software:loki [2020/07/24 14:32] (current) – kkt | ||
---|---|---|---|
Line 1: | Line 1: | ||
====== Loki ====== | ====== Loki ====== | ||
- | Loki (short for **Logic in Wiki**) is a semantic wiki implementation based o a strong logical representation. | + | 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 | + | In the "Loki Family" |
+ | * **BPwiki** -- wiki for Business Processes in simpleBPMN notation | ||
+ | * **SBVRwiki** -- wiki for authoring rules in SBVR | ||
+ | * **BiFröST** (previously known as PROV plugin) -- framework for Collaborative Knowledge Engineering within Loki: automatic reasoning unit tests, metrics, changelog in the form of a graph... | ||
- | ===== Description ===== | + | See the project website: http://loki.re for documentation, download, papers |
- | 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. | + | |
- | {{ :pub: | + | |
- | 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 | + | |
- | + | ||
- | 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. | + | |
- | + | ||
- | ===== Releases ===== | + | |
- | * April 14, 2011: The official Loki 1.0 release is now available for [[http:// | + | |
===== Comments ===== | ===== Comments ===== | ||
- | You can test the demo of the system [[http://loki.ia.agh.edu.pl/wiki|here]]. | + | You can test the demo of the system [[https://loki.re/demo/|here]]. |
- | + | ||
- | Students involved in Loki development work [[http:// | + | |
- | {{tag> | + | {{tag> |
Go back to -> [[start|software]] | Go back to -> [[start|software]] |
pub/software/loki.1304347859.txt.gz · Last modified: 2011/05/02 14:50 by wta