{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T06:09:26Z","timestamp":1762236566713,"version":"build-2065373602"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T00:00:00Z","timestamp":1749600000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T00:00:00Z","timestamp":1749600000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001659","name":"German Research Foundation (DFG)","doi-asserted-by":"publisher","award":["441898364,441981647"],"award-info":[{"award-number":["441898364,441981647"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,6,11]]},"DOI":"10.1109\/mocast65744.2025.11083947","type":"proceedings-article","created":{"date-parts":[[2025,7,22]],"date-time":"2025-07-22T18:01:35Z","timestamp":1753207295000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Towards Formal Representation of Memristor-Related Domain Knowledge - A Pragmatic Attempt"],"prefix":"10.1109","author":[{"given":"Carsten","family":"Knoll","sequence":"first","affiliation":[{"name":"TUD Dresden University of Technology,Chair of Fundamentals of Electrical Eng.,Germany"}]},{"given":"Julius","family":"Fiedler","sequence":"additional","affiliation":[{"name":"Institute of Control Theory, TUD Dresden University of Technology,Germany"}]},{"given":"Christian","family":"Bruchatz","sequence":"additional","affiliation":[{"name":"TUD Dresden University of Technology,Chair of Fundamentals of Electrical Eng.,Germany"}]},{"given":"Richard","family":"Schroedter","sequence":"additional","affiliation":[{"name":"TUD Dresden University of Technology,Chair of Fundamentals of Electrical Eng.,Germany"}]},{"given":"Ronald","family":"Tetzlaff","sequence":"additional","affiliation":[{"name":"TUD Dresden University of Technology,Chair of Fundamentals of Electrical Eng.,Germany"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92673-3_0"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1038\/75556"},{"journal-title":"arXiv","article-title":"The landscape of ontologies in materials science and engineering: A survey and evaluation","author":"Norouzi","key":"ref3"},{"issue":"1","key":"ref4","first-page":"64","article-title":"Report on a general problem solving program","volume-title":"IFIP congress","volume":"256","author":"Newell","year":"1959"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1017\/9781139025355"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68288-4_25"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3382097"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1017\/cbo9780511711787"},{"key":"ref9","first-page":"2025","volume-title":"Web Consortium and others. SPARQL 1.1 Overview","author":"Wide","year":"2013"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-021-00711-3"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2629489"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3360901.3364435"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3897\/rio.7.e68513"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3487553.3524661"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4939-3743-1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.aei.2007.04.001"},{"key":"ref17","first-page":"1","article-title":"A Reasoner-Challenging Ontology from the Microelectronics Domain","volume-title":"CEUR Workshop Proceedings","author":"Lober","year":"2021"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1002\/pamm.202300049"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1038\/s41597-019-0009-6"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.artmed.2017.07.002"},{"volume-title":"emmo-repo\/EMMO: 1.0.1. Version 1.0.1","year":"2025","author":"Ghedini","key":"ref21"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.3390\/machines12030181"},{"key":"ref23","article-title":"From human experts to machines: An LLM supported approach to ontology and knowledge graph construction","author":"Kommineni","year":"2024","journal-title":"arXiv"},{"key":"ref24","article-title":"Statement Formalizer (PyIRK support tool)","author":"Fiedler","year":"2025","journal-title":"Source code repository"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1038\/s41563-019-0291-x"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1002\/aelm.201800143"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-024-45670-9"},{"volume-title":"Ontology of Chemical Elements (OCE). Version 1.0.29","year":"2020","author":"Liu","key":"ref28"},{"key":"ref29","article-title":"OMT tools","author":"Fiedler","year":"2025","journal-title":"Source code repository"},{"volume-title":"Ontology of Memristor Technology. Source code repository","year":"2025","author":"Knoll","key":"ref30"}],"event":{"name":"2025 14th International Conference on Modern Circuits and Systems Technologies (MOCAST)","start":{"date-parts":[[2025,6,11]]},"location":"Dresden, Germany","end":{"date-parts":[[2025,6,13]]}},"container-title":["2025 14th International Conference on Modern Circuits and Systems Technologies (MOCAST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11083879\/11083724\/11083947.pdf?arnumber=11083947","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T06:06:44Z","timestamp":1762236404000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11083947\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,11]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/mocast65744.2025.11083947","relation":{},"subject":[],"published":{"date-parts":[[2025,6,11]]}}}