Add JOSS paper

Rojetto · Rojetto · commit dd07e16184b4 · 2021-08-04T11:47:37.000+02:00
diff --git a/paper.bib b/paper.bib
@@ -0,0 +1,226 @@
+
+@article{Brady2013,
+  title = {Idris, a General-Purpose Dependently Typed Programming Language: {{Design}} and Implementation},
+  shorttitle = {Idris, a General-Purpose Dependently Typed Programming Language},
+  author = {Brady, Edwin},
+  date = {2013},
+  journaltitle = {Journal of Functional Programming},
+  volume = {23},
+  pages = {552--593},
+  langid = {english},
+  number = {5}
+}
+
+@misc{InstitutfurRegelungs-undSteuerungstheorieTUDresden2020,
+  title = {Versuchsstände am Institut -- Technischer Bericht},
+  author = {{Institut für Regelungs- und Steuerungstheorie, TU Dresden}},
+  date = {2020},
+  url = {https://github.com/TUD-RST/technical-reports}
+}
+
+@misc{RST2020Pendelvideo,
+  title = {Video des Aufschwingvorgangs für den Dreifachpendelversuchsstand},
+  author = {{Institut für Regelungs- und Steuerungstheorie, TU Dresden}},
+  date = {2021},
+  url = {https://videocampus.sachsen.de/video/Swing-Up-and-stabilization-of-a-triple-pendulum-on-a-movable-cart/a4b68ff99aed87c9a095f322002ac7b7}
+}
+
+@inproceedings{KnollHeedt2020ACKREP,
+  title = {“{{Automatic Control Knowledge Repository}}” – {{A Computational Approach}} for {{Simpler}} and {{More Robust Reproducibility}} of {{Results}} in {{Control Theory}}},
+  booktitle = {2020 24th {{International Conference}} on {{System Theory}}, {{Control}} and {{Computing}} ({{ICSTCC}})},
+  author = {Knoll, C. and Heedt, R.},
+  date = {2020-10},
+  pages = {130--136},
+  issn = {2372-1618},
+  doi = {10.1109/ICSTCC50638.2020.9259657},
+  eventtitle = {2020 24th {{International Conference}} on {{System Theory}}, {{Control}} and {{Computing}} ({{ICSTCC}})},
+  keywords = {computational methods in control theory,Control systems,Control theory,Metadata,ontologies,Peer-to-peer computing,semantic annotation,Semantics,Software,test driven development,Testing}
+}
+
+@inproceedings{Norell2008,
+  title = {Dependently Typed Programming in {{Agda}}},
+  booktitle = {Proceedings of the 6th International Conference on {{Advanced}} Functional Programming},
+  author = {Norell, Ulf},
+  date = {2008},
+  pages = {230--266},
+  publisher = {{Springer Berlin, Heidelberg}},
+  _location = {{Berlin, Heidelberg}},
+  series = {{{AFP}}'08}
+}
+
+
+@book{lunze2016kuenstliche_intelligenz,
+  title={K{\"u}nstliche Intelligenz f{\"u}r Ingenieure: Methoden zur L{\"o}sung ingenieurtechnischer Probleme mit Hilfe von Regeln, logischen Formeln und Bayesnetzen},
+  author={Lunze, Jan},
+  year={2016},
+  edition={3. Auflage},
+  publisher={Walter de Gruyter Berlin}
+}
+
+
+
+@INPROCEEDINGS{KnollHeedt2020ACKREP,
+  author={Carsten {Knoll} and Robert {Heedt}},
+  booktitle={24th International Conference on System Theory, Control and Computing (ICSTCC)},
+  title={\enquote{Automatic Control Knowledge Repository} -- A Computational Approach for Simpler and More Robust Reproducibility of Results in Control Theory},
+  year={2020},
+  pages={130-136},
+  _doi={10.1109/ICSTCC50638.2020.9259657}
+}
+
+
+@INPROCEEDINGS{HeedtKnoll2021Methodnet,
+  author={Robert {Heedt} and Carsten {Knoll}},
+  booktitle={Digital-Fachtagung VDI MECHATRONIK 2021},
+  title={Formal Semantic Representation of Methods in Automatic Control},
+  year={2021},
+  pages={98-103},
+  _doi={https://doi.org/10.26083/tuprints-00018615}
+}
+
+@article{KnollHeedt2021ACKREP,
+  title={Tool-based Support for the FAIR Principles for Control Theoretic Results: The "Automatic Control Knowledge Repository"},
+  author={Carsten {Knoll} and Robert {Heedt}},
+  journal={System Theory, Control and Computing Journal},
+  volume={1},
+  number={1},
+  pages={56--67},
+  year={2021}
+}
+
+
+@book{bergman2018knowledge,
+  title={Knowledge Representation Practionary},
+  author={Bergman, Michael K and Bergman, Michael K and Lagerstrom-Fife},
+  year={2018},
+  publisher={Springer}
+}
+
+
+@collection{dessimoz2017_gene_ontology_hb,
+	_location = {New York, {NY}},
+	title = {The Gene Ontology Handbook},
+	publisher = {Springer New York},
+	editor = {Dessimoz, Christophe and Škunca, Nives},
+	date = {2017},
+	langid = {english},
+}
+
+
+@article{mugnier_data_2020,
+	title = {Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules},
+	doi = {10.1007/s13218-020-00678-3},
+	shorttitle = {Data Access With Horn Ontologies},
+	abstract = {Two main families of ontology languages are considered in the context of data access, namely Horn description logics and existential rules. In this paper, we review the semantic relationships between these families in the light of the ontologymediated query answering problem. To this end, we rely on the standard translation of description logics in first-order logic and on the notion of semantic emulation. We focus on description logics and classes of existential rules for which the conjunctive query answering problem has polynomial data complexity.},
+	journaltitle = {{KI} - Künstliche Intelligenz},
+	shortjournal = {Künstl Intell},
+	author = {Mugnier, Marie-Laure},
+	date = {2020-07-03},
+	langid = {english},
+}
+
+
+@book{keet2018_oe_introduction,
+  title={An introduction to ontology engineering, v1.5},
+  author={Keet, Maria},
+  year={2020},
+  publisher={College Publications}
+}
+
+
+
+@inproceedings{sedano_ontology_2007,
+	title = {An ontology for control engineering},
+	abstract = {Autorías: Francisco Jesús Rodríguez Sedano, Isaías García Rodríguez, Carmen Benavides González, Héctor Alaiz Moretón, Javier Alfonso Cendón, Ángel Alonso Álvarez.
+Localización: La interdisciplinariedad y la transdisciplinariedad en la organización del conocimiento científico: actas del {VIII} Congreso {ISKO}-España. León, 18, 19 y 20 de abril de 2007, 2007.
+Artículo de Libro en Dialnet.},
+	eventtitle = {La interdisciplinariedad y la transdisciplinariedad en la organización del conocimiento científico: actas del {VIII} Congreso {ISKO}-España. León, 18, 19 y 20 de abril de 2007},
+	pages = {253--264},
+	booktitle = {La interdisciplinariedad y la transdisciplinariedad en la organización del conocimiento científico: actas del {VIII} Congreso {ISKO}-España. León, 18, 19 y 20 de abril de 2007, 2007, {ISBN} 978-84-9773-333-5, pages 253-264},
+	publisher = {Servicio de Publicaciones},
+	author = {Sedano, Francisco Jesús Rodríguez and Rodríguez, Isaías García and González, Carmen Benavides and Moretón, Héctor Alaiz and Cendón, Javier Alfonso and Álvarez, Ángel Alonso},
+	date = {2007},
+
+}
+
+@article{benavides_ontology_based_2018,
+	title = {An ontology-based approach to knowledge representation for Computer-Aided Control System Design},
+	volume = {118},
+	abstract = {Different approaches have been used in order to represent and build control engineering concepts for the computer. Software applications for these fields are becoming more and more demanding each day, and new representation schemas are continuously being developed. This paper describes a study of the use of knowledge models represented in ontologies for building Computer Aided Control Systems Design ({CACSD}) tools. The use of this approach allows the construction of formal conceptual structures that can be stated independently of any software application and be used in many different ones. In order to show the advantages of this approach, an ontology and an application have been built for the domain of design of lead/lag controllers with the root locus method, presenting the results and benefits found.},
+	pages = {107--125},
+	journaltitle = {Data \& Knowledge Engineering},
+	author = {Benavides, Carmen and García, Isaías and Alaiz, Héctor and Quesada, Luis},
+	langid = {english},
+	date = {2018},
+	keywords = {Computer-Aided Control System Design, Conceptual modeling, Data and knowledge visualization, Ontologies},
+}
+
+@article{Conlon2019,
+  doi = {10.21105/joss.01182},
+  year = {2019},
+  publisher = {The Open Journal},
+  volume = {4},
+  number = {39},
+  pages = {1182},
+  author = {Michael Conlon et. al.},
+  comment = {and Andrew Woods and Graham Triggs and Ralph O'Flinn and Muhammad Javed and Jim Blake and Benjamin Gross and Qazi Azim Ijaz Ahmad and Sabih Ali and Martin Barber and Don Elsborg and Kitio Fofack and Christian Hauschke and Violeta Ilik and Huda Khan and Ted Lawless and Jacob Levernier and Brian Lowe and Jose Luis Martin and Steve McKay and Simon Porter and Tatiana Walther and Marijane White and Stefan Wolff and Rebecca Younes},
+  title = {VIVO: a system for research discovery},
+  journal = {Journal of Open Source Software}
+}
+
+
+@article{lamy2017owlready,
+  title={Owlready: Ontology-oriented programming in Python with automatic classification and high level constructs for biomedical ontologies},
+  author={Lamy, Jean-Baptiste},
+  journal={Artificial intelligence in medicine},
+  volume={80},
+  pages={11--28},
+  year={2017},
+  publisher={Elsevier}
+}
+
+
+@book {lamy2020Ontologies,
+author = { Jean-Baptiste, Lamy},
+title = { Ontologies with Python},
+edition = { 1st edition },
+publisher = {Apress},
+year = {2020},
+address = {Boston, MA}
+}
+
+
+@book{arp_smith_spear_2015BFO,
+  title={Building ontologies with basic formal ontology},
+  author={Arp, Robert and Smith, Barry and Spear, Andrew D.},
+  year={2015},
+  publisher={MIT Press}
+}
+
+
+@misc{Heedt2021,
+  title = {Methodennetz-Quellcode-{Repositorium}},
+  author = {Heedt, Robert and Knoll, Carsten},
+  date = {2021},
+  url = {https://github.com/TUD-RST/methodnet}
+}
+
+
+@incollection{guarino2009what_is_an_ontology,
+  title={What is an ontology?},
+  author={Guarino, Nicola and Oberle, Daniel and Staab, Steffen},
+  booktitle={Handbook on ontologies},
+  pages={1--17},
+  year={2009},
+  publisher={Springer Berlin},
+  _address = {Berlin}
+}
+
+
+@misc{Heedt2021a,
+  title = {Demoinstanz des {{Methodennetzes}}},
+  author = {Heedt, Robert and Knoll, Carsten},
+  date = {2021},
+  url = {https://methodnet.ackrep.org/}
+}
+
diff --git a/paper.md b/paper.md
@@ -0,0 +1,33 @@
+---
+title: 'Methodnet: Formal Semantic Representations of Methods in Automatic Control'
+tags:
+  - Python
+  - automatic control
+  - knowledge representation
+  - method net
+  - semantic data
+authors:
+  - name: Robert Heedt
+    affiliation: 1 
+  - name: Carsten Knoll
+    affiliation: 1
+affiliations:
+ - name: Institut of Control Theory, TU Dresden
+   index: 1
+date: 07 July 2021
+bibliography: paper.bib
+---
+
+# Summary
+
+Written knowledge about automatic control theory is hard to access for practitioners as it requires knowledge of a lot of specialized terminology. The interactive application *method net* aims to supplement classical knowledge representation and thereby lower that barrier of access. More precisely, knowledge is represented as a collection of *types* and *methods* which typically occurr during problem solving in automatic control, stored in a graph structure. Using the *method net* web interface, users can explore the stored data, as well as generate a schematic solution procedure by formulating a query for a specific problem.
+
+# Statement of need
+
+The field of automatic control theory consists of a wealth of analysis and design methods which are often derived and presented with strong emphasis on mathematics. However, despite their potential to solve practical problems, they are often neglected in favor of simpler but less effective methods. A plausible reason for this is the suboptimal accessibility of associated literature for working engineers. The application *method net* aims to improve accessibility: By usage of semantic methods it helps the user to navigate a stored knowledge base on how to solve control problems. This goes beyond just searching for semantically tagged data. Instead, the program provides a web interface where users can explore the stored data by entering a query pertaining to their problem of interest. After specifying the available input data (e. g. a nonlinear differential equation) and the desired output result (e. g. a stabilizing controller), a search algorithm builds a path using the *methods* and *types* available in the knowledge base. This path, called *solution procedure*, transforms the available input into the desired output. Each step of this procedure applies one well defined method (e. g. linearizing a nonlinear differential equation), where each method has formally defined input and output data (types).
+
+![Screenshot of the web interface. Left: overview of available methods and types, right: generated solution procedure for triple pendulum swingup.\label{fig:screenshot}](screenshot.png)
+
+In @HeedtKnoll2021Methodnet we used the *method net* to find a suitable combination of methods to design a tracking controller for a cart-mounted triple pendulum to perform a swing up maneuver. This complements our earlier approach for control-related knowledge representation, see @KnollHeedt2020ACKREP and @KnollHeedt2021ACKREP. By openly publishing the code and the knowledge base, we encourage other researchers and students to model their domain knowledge using the provided structure. That way, we aim to explore potential uses and limitations, while also gathering insights for future improvements.
+
+# References
