From 20eb58a13c43977335b59822940e88ebf4111c84 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Tue, 3 Apr 2018 14:56:32 +0200 Subject: [PATCH] adding publinks --- systems/TNTBase.md | 1 + systems/cpoint.md | 1 + systems/jobad.md | 3 ++- systems/kat.md | 3 ++- systems/krextor.md | 1 + systems/llamapun.md | 1 + systems/mws.md | 1 + systems/omdoc.md | 1 + systems/sTeX.md | 1 + systems/sally.md | 3 +++ systems/smglom.md | 1 + systems/swim.md | 1 + 12 files changed, 16 insertions(+), 2 deletions(-) diff --git a/systems/TNTBase.md b/systems/TNTBase.md index e9f2387..b2051ae 100644 --- a/systems/TNTBase.md +++ b/systems/TNTBase.md @@ -10,6 +10,7 @@ end_date: 2012-08 people: - mkohlhase - vzholudev +publink: http://kwarc.github.io/bibs/tntbase --- TNTBase is a database which is optimized for storing mathematical documents in OMDoc format. It is based on Subversion and Berkeley DB XML. diff --git a/systems/cpoint.md b/systems/cpoint.md index 77d79b5..84416d5 100644 --- a/systems/cpoint.md +++ b/systems/cpoint.md @@ -9,6 +9,7 @@ end_date: 2008-04 people: - akohlhase +publink: http://kwarc.github.io/bibs/cpoint --- CPoint is an extension to MS PowerPoint that allows to add and manage semantic annotations in PowerPoint presentations. The system offers various embedded semantic services. diff --git a/systems/jobad.md b/systems/jobad.md index 0f55d84..aa7bc41 100644 --- a/systems/jobad.md +++ b/systems/jobad.md @@ -3,9 +3,10 @@ layout: system title: JOBAD teaser: A Javascrip Framework for instrumenting Active Documents with Semantic Services - start_date: 2008-09 oprhan: true +publink: http://kwarc.github.io/bibs/jobad +repository: https://github.com/kwarc/jobad people: - frabe diff --git a/systems/kat.md b/systems/kat.md index 1590237..b3debda 100644 --- a/systems/kat.md +++ b/systems/kat.md @@ -11,7 +11,8 @@ people: - mkohlhase - twiesing -repository: https://github.com/KWARC/KAT +repository: https://github.com/KWARC/KAT +publink: http://kwarc.github.io/bibs/kat --- KAT is an annotation-ontology independent annotation tool for HTML5 documents. It can diff --git a/systems/krextor.md b/systems/krextor.md index 1357fb5..c4b1f34 100644 --- a/systems/krextor.md +++ b/systems/krextor.md @@ -12,6 +12,7 @@ people: webpage: https://github.com/EIS-Bonn/krextor/wiki repository: https://github.com/EIS-Bonn/krextor +publink: http://kwarc.github.io/bibs/krextor --- Krextor, the ​KWARC RDF Extractor, is an extensible XSLT-based framework for extracting RDF from XML, supporting multiple input languages as well as multiple output RDF notations. diff --git a/systems/llamapun.md b/systems/llamapun.md index a5f31af..d2fa894 100644 --- a/systems/llamapun.md +++ b/systems/llamapun.md @@ -13,6 +13,7 @@ people: - itoloaca repository: https://github.com/KWARC/LLaMaPUn/ +publink: http://kwarc.github.io/bibs/llamapun --- The LaMaPUn project investigates the structure and meaning of scientific/technical diff --git a/systems/mws.md b/systems/mws.md index 3aaad2c..77920cc 100644 --- a/systems/mws.md +++ b/systems/mws.md @@ -16,6 +16,7 @@ people: website: http://search.mathweb.org repository: http://githhub.com/KWARC/mws +publink: http://kwarc.github.io/bibs/mws --- The MathWebSearch system (MWS) is a content-based search engine for mathematical diff --git a/systems/omdoc.md b/systems/omdoc.md index 6ab7bd5..7e162d8 100644 --- a/systems/omdoc.md +++ b/systems/omdoc.md @@ -11,6 +11,7 @@ people: website: http://omdoc.org repository: https://github.com/OMDoc +publink: http://kwarc.github.io/bibs/omdoc --- OMDoc is a markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge. diff --git a/systems/sTeX.md b/systems/sTeX.md index 9571ecd..1565f11 100644 --- a/systems/sTeX.md +++ b/systems/sTeX.md @@ -10,6 +10,7 @@ people: - dginev repository: https://github.com/KWARC/sTeX +publink: http://kwarc.github.io/bibs/sTeX --- The TeX/LaTeX workflow is deeply embedded into mathematical practice. Therefore the sTeX diff --git a/systems/sally.md b/systems/sally.md index 8d55380..8046817 100644 --- a/systems/sally.md +++ b/systems/sally.md @@ -13,4 +13,7 @@ people: - cjucovschi repository: https://github.com/KWARC/Sally +publink: http://kwarc.github.io/bibs/sally --- +A distributed framework for mashing up semantic services into desktop applications. + diff --git a/systems/smglom.md b/systems/smglom.md index a4f97ec..c8508c6 100644 --- a/systems/smglom.md +++ b/systems/smglom.md @@ -5,6 +5,7 @@ title: "SMGLoM - A Semantic, Multilingual Glossary of Mathematics" teaser: A terminological resource for Mathematics. start_date: 2013-11 +publink: http://kwarc.github.io/bibs/smglom people: - mkohlhase diff --git a/systems/swim.md b/systems/swim.md index 2043810..0768c1f 100644 --- a/systems/swim.md +++ b/systems/swim.md @@ -6,6 +6,7 @@ teaser: A Semantic Wiki for Interactive Mathematics. start_date: 2006-08 end_date: 2009-06 +publink: http://kwarc.github.io/bibs/swim people: - clange -- GitLab