diff --git a/systems/TNTBase.md b/systems/TNTBase.md index e9f2387861107ed26d0a992917962023d8bd5fb0..b2051ae383d4d8285f494fde17e1a737640724ae 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 77d79b545fe0fef26f96c875b9b601adc0c1280a..84416d50673b3a83120cb94112f1f607372cbb46 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 0f55d8412cc89227fcc8f1dff35e2be00033aecc..aa7bc41e1ef0dc94edd4204a7e7764a17e765fb2 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 1590237245d29691e85dcf9f211d094803d3de45..b3debdaa7111af393568cc615661e840edd80c15 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 1357fb5f86d594d35cdb6f835b3da27e8095763d..c4b1f3430b1c80f58bd6079402f984638e739c43 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 a5f31aff9188f2e7ea1be07e3f41555d05629a57..d2fa89467b8620b02c4f567dc800be1f3ced87ea 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 3aaad2ccebb892698d178cf3d46bf92331458612..77920cce4a3e74c6a8674fe3fc6aafe9b4058aa9 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 6ab7bd542a8426c5b2c3e216a6b8eda3f7e60e18..7e162d8ee9152f1f1f10e37c4c197719fd052396 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 9571ecdb9e99976b86104327df4d0e1c4ceec490..1565f11cf4450642162033f2f7ef8615f1e0b77b 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 8d553802ab760ef177a6ddc4fc6737ba6b34231d..80468178c1874c92e2b4673a76652c8a163923b5 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 a4f97eca56ed6b21d4292eb1680bfbff5841ea56..c8508c6df1784a254fdbeed0b11302b50dd2d6ab 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 2043810cc47a64c60de3010a219a2c162d7f20a6..0768c1f52188f1e6fe47086991490ff382be4210 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