diff --git a/_includes/project_chip.html b/_includes/project_chip.html new file mode 100644 index 0000000000000000000000000000000000000000..b20b63e6c9e1b2f295255a2f7fa58287a135b671 --- /dev/null +++ b/_includes/project_chip.html @@ -0,0 +1,22 @@ +{% comment %} + This page creates a single 'chip' for linking to a project. + It expects the name of the project as the 'project' variable +{% endcomment %} + +{% capture purl %}/projects/{{include.project}}/{% endcapture %} +{% assign pp = site.pages | where: "url", purl | first %} + +{% if pp %} + <a href="{{ site.baseurl }}{{purl}}"> + <div class="chip"> + {% if pp.logo %} + <img src="{{ site.baseurl }}/{{pp.logo}}"/> + {% endif %} + {{pp.shorttitle}} + </div> + </a> +{% else %} + <div class="chip"> + {{include.project}} + </div> +{% endif %} diff --git a/_includes/system_chip.html b/_includes/system_chip.html new file mode 100644 index 0000000000000000000000000000000000000000..c6cfa2ae5b49d4e24f7a8d003bbd4ca0532bb831 --- /dev/null +++ b/_includes/system_chip.html @@ -0,0 +1,22 @@ +{% comment %} + This page creates a single 'chip' for linking to a system. + It expects the name of the system as the 'system' variable +{% endcomment %} + +{% capture surl %}/systems/{{include.system}}/{% endcapture %} +{% assign sp = site.pages | where: "url", surl | first %} + +{% if sp %} + <a href="{{ site.baseurl }}{{surl}}"> + <div class="chip"> + {% if sp.logo %} + <img src="{{ site.baseurl }}/{{sp.logo}}"/> + {% endif %} + {{sp.shorttitle}} + </div> + </a> +{% else %} + <div class="chip"> + {{include.system}} + </div> +{% endif %} diff --git a/_layouts/default.html b/_layouts/default.html index 00c1613eba6399e045b9eb56afee14d581f9aec5..48835ebb1a010d707050856acce2c72d36593c98 100644 --- a/_layouts/default.html +++ b/_layouts/default.html @@ -1,3 +1,7 @@ +--- +layout: compress +--- + {% assign sorted_pages = site.pages | sort: "menu_order" %} <!DOCTYPE html> diff --git a/_layouts/person.html b/_layouts/person.html index 6037979874020503e05fac423ae0b1af41aed3d1..f1c016d585cfbd4b7e077855fc708aa87217d34f 100644 --- a/_layouts/person.html +++ b/_layouts/person.html @@ -2,6 +2,8 @@ layout: default --- +{% assign username = page.url | replace: '/people/', '' | replace: '/', '' %} + <div class="row"> <div class="col s12 m5 right"> @@ -36,6 +38,30 @@ layout: default <hr /> {{ page.affiliation }} {% endif %} + + + <hr /> + <!-- Projects --> + {% assign projects = site.pages | where: "layout", "project" | where: "active", true %} + {% for project in projects %} + {% if project.people contains username %} + {% assign pid = project.url | replace: '/projects/', '' | replace: '/', '' %} + {% include project_chip.html project=pid %} + {% endif %} + {% endfor %} + + <hr /> + + <!-- Systems --> + {% assign systems = site.pages | where: "layout", "system" %} + {% for system in systems %} + {% unless system.end_date %} + {% if system.people contains username %} + {% assign sid = system.url | replace: '/systems/', '' | replace: '/', '' %} + {% include system_chip.html system=sid %} + {% endif %} + {% endunless %} + {% endfor %} </div> <div class="card-action"> {% if page.website %} @@ -44,7 +70,7 @@ layout: default {% endif %} {% if page.publink == "auto" %} - <a href="http://kwarc.github.io/bibs/{{ page.url | replace: '/people/', '' | replace: '/', '' }}/">Publications</a> + <a href="http://kwarc.github.io/bibs/{{ username }}/">Publications</a> {% elsif page.publink %} <a href="{{page.publink}}">Publications</a> {% endif %} diff --git a/projects/FormalCAD.md b/projects/FormalCAD.md index dd23974007d23e91b6ee366d6782d3e20130457e..80480134454f0ad1ce0ac5f2eaab0b83ecd8f278 100644 --- a/projects/FormalCAD.md +++ b/projects/FormalCAD.md @@ -3,6 +3,7 @@ layout: project title: "FormalCAD: Formal Methods and Semantic Technologies for Engineering Design Processes" +shorttitle: FormalCAD teaser: Towards a computer-supported, document-oriented process for systematic engineering design and a semantic help system for CAD systems. active: false diff --git a/projects/almanac.md b/projects/almanac.md index 43c52a5cb8a84e019c4e836316b0a2880ad70d1d..eb0367283864eeafa6d4fba0bad77cddf0df5202 100644 --- a/projects/almanac.md +++ b/projects/almanac.md @@ -2,6 +2,7 @@ layout: project title: "ALMANAC: Argumentation Logics Manager & Argument Context Graph" +shorttitle: "ALMANAC" teaser: Decision situations require individuals and organizations to choose between a multitude of options based on facts, opinions, and arguments about the situation at hand or similar ones. There is already a large set of prior work on the representation of knowledge, inference, and argumentations; the ALMANAC aims to a) bring order into the zoo of proposed formalisms, b) categorize their inter-relations, and c) benchmark them on real-world corpora. active: true diff --git a/projects/arXMLiv.md b/projects/arXMLiv.md index e036d01657179e6397d517df7459a9fcc0568187..dd63756f7454dd35b6b8bd01a207065bb704a5a5 100644 --- a/projects/arXMLiv.md +++ b/projects/arXMLiv.md @@ -2,6 +2,7 @@ layout: project title: arXMLiv +shorttitle: arXMLiv active: true teaser: Translating the arXiv to XML/HTML5 start_date: '2006' diff --git a/projects/comma.md b/projects/comma.md index 71e7ef2d38707ab8acc523909d346aea9248e263..26ce6f2c7366f6a374b5a13d5e63476e50c8243e 100644 --- a/projects/comma.md +++ b/projects/comma.md @@ -2,6 +2,7 @@ layout: project title: "CoMMa: Corpus Meta-Mathematics" +shorttitle: CoMMa active: true teaser: Representing and Extracting the Meaning of Mathematical/Technical Documents start_date: '2006' diff --git a/projects/jem.md b/projects/jem.md index f00b50e4c6b7954b6907c3cda485097a1bf81ab1..8762a9927ba5e2cc4441ba5b3410b3ecd2af9fd0 100644 --- a/projects/jem.md +++ b/projects/jem.md @@ -2,6 +2,7 @@ layout: project title: "JEM: Joining Educational Mathematics" +shorttitle: JEM teaser: Coordination of European content enrichment activities in the area of mathematics active: false diff --git a/projects/latin.md b/projects/latin.md index bf74a7a9c2a1d60646f6f51202be30d53cb8e391..934f4f59f3b0ccff7a71fd2eec402f50a1dd77f1 100644 --- a/projects/latin.md +++ b/projects/latin.md @@ -2,6 +2,7 @@ layout: project title: "LATIN: Logic Atlas & Integrator" +shorttitle: LATIN teaser: Building a theory graph of logic represesentations. active: false diff --git a/projects/logosphere.md b/projects/logosphere.md index c0b556efb445953805c43c572fbb3b89db3256fe..94dfa887fb1130d5f7ef8e580a31984c57f54e2e 100644 --- a/projects/logosphere.md +++ b/projects/logosphere.md @@ -2,6 +2,7 @@ layout: project title: "Logosphere: Formal Digital Libraries" +shorttitle: Logosphere teaser: Integrating Theorem Prover Libraries through Meta-logical Frameworks active: false diff --git a/projects/mamored.md b/projects/mamored.md index 5fdcb91600c5186b5a67cf627ca3fbf295b10c8e..4c2bcc447c00b12a723febc254816822b05a87db 100644 --- a/projects/mamored.md +++ b/projects/mamored.md @@ -2,6 +2,7 @@ layout: project title: MaMoReD +shorttitle: MaMoReD teaser: Flexiformalizing Mathematical Models as Research Data active: true diff --git a/projects/mathsearch.md b/projects/mathsearch.md index 6cb16004427a75821d303ea0ded8c369afa7d568..5f2d56ea437e345423b064f0b80c9d2c4d5a28b3 100644 --- a/projects/mathsearch.md +++ b/projects/mathsearch.md @@ -3,6 +3,7 @@ layout: project title: "MathSearch: Analyse und Suche in mathematischen Formeln" +shorttitle: MathSearch teaser: Methods for information extraction and information retrieval for mathematical documents with the aim of providing semantically enhanced interaction for Zentralblatt Math and the arXiv. active: false diff --git a/projects/meta/README.md b/projects/meta/README.md index e8582f656d0242c7328bef4680099f963d1f9760..6a9523b64eba653e7fea2282dcecc06f6c1fe86e 100644 --- a/projects/meta/README.md +++ b/projects/meta/README.md @@ -9,8 +9,11 @@ Each post needs some specific parameters: * **layout** use `project` * **title** the title of the project + * **shorttitle** the short title of the project, used for project chips * **teaser** (optional) a one-line description for the overview + * **logo** (optional) a (local) path to the logo of a project + * **active** boolean indicating if the project is active * **start_date** the system start date (YYYY[-MM]) * **end_date** (optional) the system end date (YYYY[-MM]) diff --git a/projects/oaf.md b/projects/oaf.md index ccbee7d2b30704d48b8ed336822219b9a01a097d..e730507398f5bba5847a81a39a3695f70a5bb6ad 100644 --- a/projects/oaf.md +++ b/projects/oaf.md @@ -2,6 +2,7 @@ layout: project title: "OAF: An Open Archive for Formalizations" +shorttitle: OAF teaser: The OAF Project builds a theoretical framework for interoperability of theorem prover libraries and implements an information system that host and align multiple libraries in a joint semantic setting. active: true diff --git a/projects/odk.md b/projects/odk.md index 05d6356483b5be1995b0e3c3c8914569b0fcdee6..3b4bff5b9089be0fa17a14df96afecb6ec44328d 100644 --- a/projects/odk.md +++ b/projects/odk.md @@ -2,6 +2,7 @@ layout: project title: OpenDreamKit +shorttitle: ODK teaser: Towards an Open Virtual Research Environment Framework for (Computational) Mathematics. active: true diff --git a/projects/omoc.md b/projects/omoc.md index 5b72d8a24a16af035103a0c329829f621a1cf113..163098f3843ce98eed561785beff2719c80a5652 100644 --- a/projects/omoc.md +++ b/projects/omoc.md @@ -2,6 +2,7 @@ layout: project title: "OMoC: Ontology-based Management of Change" +shorttitle: OMoC teaser: Using semantic features in document collections for better change management. active: false diff --git a/projects/once-cs.md b/projects/once-cs.md index b35334d11498829ecb33892ada8c0901daa94a39..4786ca9dfe353a7254524761d19f3a8953bbe224 100644 --- a/projects/once-cs.md +++ b/projects/once-cs.md @@ -2,6 +2,7 @@ layout: project title: "ONCE-CS: Open Network of Centres of Excellence in Complex Systems" +shorttitle: ONCE-CS teaser: Adding a Semantic Angle to Complex Systems active: false diff --git a/projects/openmath-tn.md b/projects/openmath-tn.md index d64a06f99bbc1acb8217e845e1020bd93733900a..cf65931871c8686c65266a399505167213c25711 100644 --- a/projects/openmath-tn.md +++ b/projects/openmath-tn.md @@ -2,6 +2,7 @@ layout: project title: Thematic Netork "OpenMath" +shorttitle: TN "OpenMath" teaser: Integrating Math Software Systems by content Markup for Formulae active: false diff --git a/projects/sissi.md b/projects/sissi.md index bd0c82b29a730dde91683f5ae0e7ccc7a3a1515c..2241b8019bf2c5c691f92ede544394f8f23216a5 100644 --- a/projects/sissi.md +++ b/projects/sissi.md @@ -2,6 +2,7 @@ layout: project title: "SiSsI: Software Engineering for Spreadsheet Interaction" +shorttitle: SiSsI teaser: Methods and technologies to enhance spreadsheets semantically. active: false diff --git a/projects/tetrapod.md b/projects/tetrapod.md index 2ad8b26ddf5206292c4a44f2df41791c43164e6f..8a0045e3b204a8da239da1cfa66fc4c5143b58c6 100644 --- a/projects/tetrapod.md +++ b/projects/tetrapod.md @@ -2,6 +2,7 @@ layout: project title: Tetrapod +shorttitle: Tetrapod teaser: All four dimensions of Mathematical Knowledge Processing active: true diff --git a/systems/TNTBase.md b/systems/TNTBase.md index b2051ae383d4d8285f494fde17e1a737640724ae..0e04a057339ec974a3a99bf21baf7fd763bc5655 100644 --- a/systems/TNTBase.md +++ b/systems/TNTBase.md @@ -2,6 +2,7 @@ layout: system title: TNTBase +shorttitle: TNTBase teaser: A Versioned Storage for Mathematics (OMDoc) start_date: 2009-09 diff --git a/systems/cpoint.md b/systems/cpoint.md index 84416d50673b3a83120cb94112f1f607372cbb46..e915ef8269b11a260f09b574c9775f5f01087c05 100644 --- a/systems/cpoint.md +++ b/systems/cpoint.md @@ -2,6 +2,7 @@ layout: system title: CPoint +shorttitle: CPoint teaser: Adding a semantic layer to MS PowerPoint. start_date: 2001-07 diff --git a/systems/jobad.md b/systems/jobad.md index aa7bc41e1ef0dc94edd4204a7e7764a17e765fb2..6254e709fed3f30f6b0f3c1c8e90daaeac24eef7 100644 --- a/systems/jobad.md +++ b/systems/jobad.md @@ -2,6 +2,7 @@ layout: system title: JOBAD +shorttitle: JOBAD teaser: A Javascrip Framework for instrumenting Active Documents with Semantic Services start_date: 2008-09 oprhan: true diff --git a/systems/jomdoc.md b/systems/jomdoc.md index 475da9a68dd739448a3adef9ec4163b0ce2f8cd5..0ba5afe1d24af9f7f9620ae7f735c949dbab51c0 100644 --- a/systems/jomdoc.md +++ b/systems/jomdoc.md @@ -2,6 +2,7 @@ layout: system title: JOMDoc +shorttitle: JOMDoc teaser: A Java API for OMDoc documents start_date: 2007-09 diff --git a/systems/kat.md b/systems/kat.md index 781ef1661707d662986a5e644c7e4706cd6906da..275b6e39514890641d3db3adbb10536eae54f09e 100644 --- a/systems/kat.md +++ b/systems/kat.md @@ -2,6 +2,7 @@ layout: system title: "KAT: KWARC Annotation Tool" +shorttitle: KAT teaser: An Annotation Tool for STEM Documents start_date: 2013-06 diff --git a/systems/krextor.md b/systems/krextor.md index c4b1f3430b1c80f58bd6079402f984638e739c43..b82163069f454004e28c707f32ad16b74da73558 100644 --- a/systems/krextor.md +++ b/systems/krextor.md @@ -2,6 +2,7 @@ layout: system title: Krextor +shorttitle: Krextor teaser: An extensible XSLT-based framework for extracting RDF from XML. start_date: 2008-02 diff --git a/systems/llamapun.md b/systems/llamapun.md index 22ee76ec27f26926ae3ee802f1160e47be3842b0..5ae64ab864a36b0826f2e965de9098560330c2d2 100644 --- a/systems/llamapun.md +++ b/systems/llamapun.md @@ -1,7 +1,8 @@ --- layout: system -title: "LLaMaPuN: Language and Mathematics Processing and Understanding" +title: "LLaMaPuN: Language and Mathematics Processing and Understanding" +shorttitle: LLaMaPuN teaser: A RUST library for math corpus linguistics. start_date: 2008-11 diff --git a/systems/mathhub.md b/systems/mathhub.md index 0839b1bef0bdb067c7c97ee9922dca7c76a80de0..85c1770eb0106d35884452894561236e7004fc73 100644 --- a/systems/mathhub.md +++ b/systems/mathhub.md @@ -2,6 +2,7 @@ layout: system title: MathHub.info +shorttitle: MathHub teaser: A portal for active mathematical documents and an archive for flexiformal mathematics. start_date: 2008-08 diff --git a/systems/meta/README.md b/systems/meta/README.md index d246b606c4cfb463c2cf5c313ddbf75da5b81ffa..0c4a938baa6aba0711121d1179c4f67d1c9be767 100644 --- a/systems/meta/README.md +++ b/systems/meta/README.md @@ -9,8 +9,11 @@ Each post needs some specific parameters: * **layout** use `system` * **title** the title of the system + * **shorttitle** the short title of the system, used for System Chips * **teaser** (optional) a one-line description for the overview + * **logo** (optional) a (local) path to the logo of a system + * **start_date** the system start date (YYYY[-MM]) * **end_date** (optional) the system end date (YYYY[-MM]) diff --git a/systems/mmt.md b/systems/mmt.md index 19763ffb8b9a098d05967d2ec56a948806c40cbc..865f8acf58bfef0ca17f1543985ec4f13df13eb0 100644 --- a/systems/mmt.md +++ b/systems/mmt.md @@ -2,6 +2,7 @@ layout: system title: "MMT" +shorttitle: MMT teaser: A framework for representing declarative languages such as logics, type theories, set theories, etc.. The MMT API implements complex algorithms generically for any language in the framework. start_date: 2011-03 diff --git a/systems/mws.md b/systems/mws.md index c9fc688a8c60434cc42b2d84dd5ff86966bd62f7..f41016f1cc47d4d059623b1e7c0fa66d8578e7ee 100644 --- a/systems/mws.md +++ b/systems/mws.md @@ -2,6 +2,7 @@ layout: system menu_title: MathWebSearch +shorttitle: MWS title: MathWebSearch teaser: A Mathematical Search Engine diff --git a/systems/omdoc.md b/systems/omdoc.md index 7e162d8ee9152f1f1f10e37c4c197719fd052396..29dfc8d220762068e729f3ab48b33192376765f3 100644 --- a/systems/omdoc.md +++ b/systems/omdoc.md @@ -2,6 +2,7 @@ layout: system title: "OMDoc: Open Mathematical Documents" +shorttitle: OMDoc teaser: A markup format and data model for Open Mathematical Documents. It serves as semantics-oriented representation format and ontology language for mathematical knowledge. start_date: '1998' diff --git a/systems/openmathmap.md b/systems/openmathmap.md index 0458ce570b1c469f67512ec8e11f656ca1f5ecbc..6ec412cfa3ca799d482edf128923315866d2830e 100644 --- a/systems/openmathmap.md +++ b/systems/openmathmap.md @@ -2,6 +2,7 @@ layout: system title: OpenMathMap +shorttitle: OpenMathMap teaser: A Map of Mathematics start_date: 2013-06 diff --git a/systems/sTeX.md b/systems/sTeX.md index d0eea566eb18204cae633c354bae60ad0d9b383d..01ed54355b3c3d6fcd4a0f36b314452f5f94e864 100644 --- a/systems/sTeX.md +++ b/systems/sTeX.md @@ -2,6 +2,7 @@ layout: system title: "sTeX: Semantic Markup for LaTeX" +shorttitle: sTeX start_date: 2004-09 diff --git a/systems/sally.md b/systems/sally.md index 908fa41970c3a3854bec97c15cbb5210ed349dc9..9acdfc19ec9d943df0c47f8504d39dd710d79e13 100644 --- a/systems/sally.md +++ b/systems/sally.md @@ -2,6 +2,7 @@ layout: system title: Semantic Alliance +shorttitle: Sally teaser: A framework for mashing up semantic services into desktop applications. start_date: 2013-02 diff --git a/systems/smglom.md b/systems/smglom.md index c3a8e4bc4b6ebb42401d504e96382fec213d3e38..211f4841a9ca4344c9de452f39de08e539219983 100644 --- a/systems/smglom.md +++ b/systems/smglom.md @@ -2,6 +2,7 @@ layout: system title: "SMGLoM - A Semantic, Multilingual Glossary of Mathematics" +shorttitle: SMGLoM teaser: A terminological resource for Mathematics. start_date: 2013-11 diff --git a/systems/swim.md b/systems/swim.md index 0768c1f52188f1e6fe47086991490ff382be4210..e0b1977beb7726e5bcfa04e5dd08ace9608aefa3 100644 --- a/systems/swim.md +++ b/systems/swim.md @@ -2,6 +2,7 @@ layout: system title: "SWiM: Semantic Wiki for Mathematics" +shorttitle: SWiM teaser: A Semantic Wiki for Interactive Mathematics. start_date: 2006-08