New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

D6.8: Curated Math-in-the-Middle Ontology and Alignments for GAP/SAGE/LMFDB #142

Open
minrk opened this Issue Sep 8, 2015 · 14 comments

Comments

Projects
None yet
5 participants
@minrk
Contributor

minrk commented Sep 8, 2015

Work Package WP6 develops a novel, foundational, knowledge-based framework for interfacing existing open source mathematical software systems and knowledge bases into a mathematical VRE, where systems can delegate functionalities among each other seamlessly without losing semantics.
The overall Math-in-the-Middle (MitM) Framework developed in WP6 over the last three years is described in D6.5 (#139). This Report complements it by describing the curated contents Math- in-the-Middle (MitM) Ontology which serves as a reference and pivotal point for translations between the various input languages of mathematical software systems and knowledge bases.

In a nutshell, the MitM Ontology describes the mathematical objects, concepts, and their relations in a general, system-agnostic way in an OMDoc/MMT theory graph while the mathematical systems export API theories that describe the system interface language in terms of types, classes, constructors, and functions – again in OMDoc/MMT. These two levels of descriptions are linked by OMDoc/MMT alignments that allow the translation of expressions between systems.

Together with deliverable report D6.5, this report describes the implementation and initial evaluation of the MitM integration and interoperability paradigm initially envisioned in deliverables D6.2 (#136) and D6.3 (#137) The MitM paradigm constitutes the core development goal of WP6, and the curated content described in this report enables running non-trivial integration case studies. In the future, we hope to further consolidate content, increase coverage of alignment, and greatly extend the reach of the integration both in terms of OpenDreamKit systems covered as well as knowledge available in the MitM Core ontology.

@minrk minrk added this to the D6.8 milestone Sep 8, 2015

@nthiery nthiery modified the milestones: Month 36: 2018-08-31, D6.8 Mar 22, 2016

@kohlhase kohlhase referenced this issue Jan 16, 2017

Closed

Second grant agreement amendment #193

19 of 19 tasks complete

@bpilorget bpilorget changed the title from D6.8: LMFDB Algorithm Verification with respect to a Triformal Theory to D6.8: Curated Math-in-the-Middle Ontology covering exemplary parts of LMFDB, OEIS, FINDSTAT, GAP, SAGE knowledge bases Mar 7, 2017

@kohlhase kohlhase closed this Sep 21, 2017

@bpilorget

This comment has been minimized.

Contributor

bpilorget commented Jan 11, 2018

#135 was merged into #139 and #142 after 3rd amendment to the contract

@bpilorget bpilorget changed the title from D6.8: Curated Math-in-the-Middle Ontology covering exemplary parts of LMFDB, OEIS, FINDSTAT, GAP, SAGE knowledge bases to D6.8: Curated Math-in-the-Middle Ontology and Alignments for GAP/SAGE/LMFDB Jan 11, 2018

@bpilorget bpilorget reopened this Jan 11, 2018

@bpilorget

This comment has been minimized.

Contributor

bpilorget commented Jan 11, 2018

#68 and #141 were merged into #142 after the 3rd amendment to the contract

@bpilorget bpilorget added FAU and removed ZH labels Jan 11, 2018

@kohlhase

This comment has been minimized.

Member

kohlhase commented Jul 2, 2018

I have started writing this deliverable.

@kohlhase

This comment has been minimized.

Member

kohlhase commented Jul 2, 2018

@florian-rabe @Jazzpirate I made a first pass on this deliverable. This needs to be iterated, @Jazzpirate could you make a next pass?

@bpilorget could you see if the format is OK? @nthiery

@kohlhase

This comment has been minimized.

Member

kohlhase commented Jul 12, 2018

@bpilorget, @nthiery we have completed this report. Please start the quality review procedures (and make any admin changes that need to be done).

@nthiery

This comment has been minimized.

Contributor

nthiery commented Jul 13, 2018

@nthiery

This comment has been minimized.

Contributor

nthiery commented Aug 29, 2018

Not quite in the coming days, but I finally got to review the report; sorry for the delay.

Generally speaking, the report looks good; thanks! I made some minor edits and threw in some additional ednotes. In addition the abstract could be expanded according to our deliverable recommendations:

Have an executive summary on the first page (just half a page).
- why does this deliverable exist? (context)
- have you achieved everything you set out to do?
- what would be / are the next steps?

There is already quite some contextualization in the document, but the reviewer will be looking for contextualization w.r.t. the rest of the project (objectives, tasks, previous and future deliverables). The reports for earlier deliverables like D6.2 #136 were very nice in this respect; presumably some of the language can be recycled.

Thanks in advance!

@nthiery

This comment has been minimized.

Contributor

nthiery commented Aug 30, 2018

@kohlhase: the manual merge seems to have corrupted this deliverable report as well; it does not compile as of ead1e67

@kohlhase

This comment has been minimized.

Member

kohlhase commented Aug 30, 2018

I have fixed the corruption and have now started to re-read it to complete it.

@nthiery

This comment has been minimized.

Contributor

nthiery commented Aug 31, 2018

Hi @kohlhase; how is this going along?

@kohlhase

This comment has been minimized.

Member

kohlhase commented Sep 1, 2018

I have pushed contextualization and some more content refactorign yesterday, but will need Mo/Tue to complete it.

@kohlhase

This comment has been minimized.

Member

kohlhase commented Sep 3, 2018

Dennis and I made a lot of progress on this report, and are almost finished. But I will need a bit more time. It will be done tomorrow.

@kohlhase

This comment has been minimized.

Member

kohlhase commented Sep 4, 2018

@nthiery this report is done now. I have updated also updated the issue description. Sorry for being after the deadline.

@nthiery nthiery added the Submitted label Sep 4, 2018

@nthiery

This comment has been minimized.

Contributor

nthiery commented Sep 4, 2018

Submitted! Thanks for all the work.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment