{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,23]],"date-time":"2025-10-23T01:09:35Z","timestamp":1761181775536,"version":"build-2065373602"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T00:00:00Z","timestamp":1757376000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T00:00:00Z","timestamp":1757376000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,9,9]]},"DOI":"10.1109\/etfa65518.2025.11205574","type":"proceedings-article","created":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T17:07:47Z","timestamp":1761066467000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Consistency Verification in Ontology-Based Process Models with Parameter Interdependencies"],"prefix":"10.1109","author":[{"given":"Tom","family":"Jeleniewski","sequence":"first","affiliation":[{"name":"Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hamied","family":"Nabizada","sequence":"additional","affiliation":[{"name":"Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Reif","sequence":"additional","affiliation":[{"name":"Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix","family":"Gehlhoff","sequence":"additional","affiliation":[{"name":"Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Fay","sequence":"additional","affiliation":[{"name":"Ruhr University Bochum,Chair of Automation,Bochum,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ISAM.2016.7750724"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cirpj.2012.10.005"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63957-4_5"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3233\/SW-190381"},{"article-title":"OpenMath-RDF: RDF encodings for OpenMath objects and Content Dictionaries","volume-title":"31st OpenMath Workshop","author":"Wenzel","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ISIE51358.2023.10228021"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA61755.2024.10711066"},{"journal-title":"VDI\/VDE 3682:1","article-title":"Formalised Process Descriptions - Concept and Graphic Representation","year":"2015","key":"ref8"},{"journal-title":"DIN EN 61360-1","article-title":"Standard data element types with associated classification scheme - Part 1: Definitions - Principles and methods (IEC 61360-1:2017)","year":"2018","key":"ref9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.cirpj.2011.06.015"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2013.06.018"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.873"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.rcim.2018.03.003"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSA.2016.17"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2020.2991777"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA46521.2020.9211874"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s13272-023-00696-5"},{"year":"2010","key":"ref18","article-title":"Recommendation No. 20: Codes for Units of Measure Used in International Trade"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36469-2_17"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.3233\/SW-2012-0059"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA54631.2023.10275608"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.5772\/48172"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1201\/9780203910061"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.51202\/9783181023754-443"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA61755.2024.10711065"}],"event":{"name":"2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)","start":{"date-parts":[[2025,9,9]]},"location":"Porto, Portugal","end":{"date-parts":[[2025,9,12]]}},"container-title":["2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11205475\/11205526\/11205574.pdf?arnumber=11205574","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T17:23:45Z","timestamp":1761153825000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11205574\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,9]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/etfa65518.2025.11205574","relation":{},"subject":[],"published":{"date-parts":[[2025,9,9]]}}}