pub:software:loki
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
pub:software:loki [2011/05/02 17:23] – wta | pub:software:loki [2020/07/24 14:32] (current) – kkt | ||
---|---|---|---|
Line 2: | Line 2: | ||
Loki (short for **Logic in Wiki**) is a semantic wiki implementation based on strong logical representation. | Loki (short for **Logic in Wiki**) is a semantic wiki implementation based on strong logical representation. | ||
- | See the project website: http:// | + | In the "Loki Family" |
- | ===== Description ===== | + | * **BPwiki** -- wiki for Business Processes in simpleBPMN notation |
- | The main apparent limitation of existing semantic wikis is the lack of expressive knowledge representation mechanism. Building a knowledge base with a semantic | + | * **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 | ||
- | [[http:// | + | See the project website: |
- | 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 | + | |
- | 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:// | + | |
pub/software/loki.1304356999.txt.gz · Last modified: 2011/05/02 17:23 by wta