{"id":"https://openalex.org/W4415398889","doi":"https://doi.org/10.1109/etfa65518.2025.11205574","title":"Consistency Verification in Ontology-Based Process Models with Parameter Interdependencies","display_name":"Consistency Verification in Ontology-Based Process Models with Parameter Interdependencies","publication_year":2025,"publication_date":"2025-09-09","ids":{"openalex":"https://openalex.org/W4415398889","doi":"https://doi.org/10.1109/etfa65518.2025.11205574"},"language":null,"primary_location":{"id":"doi:10.1109/etfa65518.2025.11205574","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa65518.2025.11205574","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077814681","display_name":"Tom Jeleniewski","orcid":"https://orcid.org/0009-0007-0360-4108"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tom Jeleniewski","raw_affiliation_strings":["Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany","institution_ids":["https://openalex.org/I190134885"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088080483","display_name":"Hamied Nabizada","orcid":"https://orcid.org/0000-0001-8251-837X"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hamied Nabizada","raw_affiliation_strings":["Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany","institution_ids":["https://openalex.org/I190134885"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102641609","display_name":"Jonathan Reif","orcid":null},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jonathan Reif","raw_affiliation_strings":["Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany","institution_ids":["https://openalex.org/I190134885"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069339549","display_name":"Felix Gehlhoff","orcid":"https://orcid.org/0000-0002-8383-5323"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Felix Gehlhoff","raw_affiliation_strings":["Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Helmut Schmidt University,Institute of Automation Technology,Hamburg,Germany","institution_ids":["https://openalex.org/I190134885"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016841027","display_name":"Alexander Fay","orcid":"https://orcid.org/0000-0002-1922-654X"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alexander Fay","raw_affiliation_strings":["Ruhr University Bochum,Chair of Automation,Bochum,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ruhr University Bochum,Chair of Automation,Bochum,Germany","institution_ids":["https://openalex.org/I904495901"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9843999743461609,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.978600025177002,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6978999972343445},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5480999946594238},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5264999866485596},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4465999901294708},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4438000023365021},{"id":"https://openalex.org/keywords/data-modeling","display_name":"Data modeling","score":0.4016999900341034},{"id":"https://openalex.org/keywords/semantic-data-model","display_name":"Semantic data model","score":0.385699987411499},{"id":"https://openalex.org/keywords/process-modeling","display_name":"Process modeling","score":0.382999986410141},{"id":"https://openalex.org/keywords/interdependence","display_name":"Interdependence","score":0.36090001463890076}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7545999884605408},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6978999972343445},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5480999946594238},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5264999866485596},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4465999901294708},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4438000023365021},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4390999972820282},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.4016999900341034},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3984000086784363},{"id":"https://openalex.org/C90312973","wikidata":"https://www.wikidata.org/wiki/Q7449052","display_name":"Semantic data model","level":2,"score":0.385699987411499},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.382999986410141},{"id":"https://openalex.org/C185874996","wikidata":"https://www.wikidata.org/wiki/Q269699","display_name":"Interdependence","level":2,"score":0.36090001463890076},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.3605000078678131},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.359499990940094},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.3449000120162964},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3416999876499176},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.32170000672340393},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.30889999866485596},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3034999966621399},{"id":"https://openalex.org/C2775955345","wikidata":"https://www.wikidata.org/wiki/Q7449071","display_name":"Semantic mapping","level":2,"score":0.30329999327659607},{"id":"https://openalex.org/C85847156","wikidata":"https://www.wikidata.org/wiki/Q59015987","display_name":"Verifiable secret sharing","level":3,"score":0.29660001397132874},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.29269999265670776},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.29089999198913574},{"id":"https://openalex.org/C175652121","wikidata":"https://www.wikidata.org/wiki/Q4379351","display_name":"Causal consistency","level":5,"score":0.27309998869895935},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.26460000872612},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.2639000117778778},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.25110000371932983},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.25060001015663147}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/etfa65518.2025.11205574","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa65518.2025.11205574","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1522670288","https://openalex.org/W1590682506","https://openalex.org/W1687148191","https://openalex.org/W2026005868","https://openalex.org/W2058778602","https://openalex.org/W2068161976","https://openalex.org/W2553984716","https://openalex.org/W2567134475","https://openalex.org/W2765901225","https://openalex.org/W2765981319","https://openalex.org/W2795340890","https://openalex.org/W2996079257","https://openalex.org/W3027703089","https://openalex.org/W3091816306","https://openalex.org/W3116382580","https://openalex.org/W4300172450","https://openalex.org/W4386323936","https://openalex.org/W4387583518","https://openalex.org/W4388856719","https://openalex.org/W4403447541","https://openalex.org/W4403447584"],"related_works":[],"abstract_inverted_index":{"The":[0,140,174],"formalization":[1],"of":[2,10,63,74,105,118,172,176,193],"process":[3,27,57,126,131],"knowledge":[4,42],"using":[5],"ontologies":[6],"enables":[7],"consistent":[8,65],"modeling":[9],"parameter":[11],"interdependencies":[12,16],"in":[13,49],"manufacturing.":[14],"These":[15],"are":[17,46,82],"typically":[18],"represented":[19],"as":[20,32,89],"mathematical":[21,111,138],"expressions":[22,45],"that":[23,128],"define":[24],"relations":[25],"between":[26,96],"parameters,":[28],"supporting":[29,190],"tasks":[30],"such":[31,44,88],"calculation,":[33],"validation,":[34],"and":[35,41,53,66,77,98,101,136,159,162,195],"simulation.":[36],"To":[37],"support":[38],"cross-context":[39],"application":[40],"reuse,":[43],"often":[47],"defined":[48],"a":[50,64,116,122,151,164,182],"generic":[51],"form":[52],"applied":[54],"across":[55],"multiple":[56],"contexts.":[58],"This":[59,113],"highlights":[60],"the":[61,72,103,170,177,191],"necessity":[62],"semantically":[67],"coherent":[68],"model":[69,127],"to":[70,84,146,168],"ensure":[71],"correctness":[73],"data":[75,99,107,133,165],"retrieval":[76],"interpretation.":[78],"Consequently,":[79],"dedicated":[80],"mechanisms":[81,120],"required":[83,108],"address":[85],"key":[86],"challenges":[87],"selecting":[90],"context-relevant":[91],"data,":[92,149],"ensuring":[93],"unit":[94,152],"compatibility":[95],"variables":[97],"elements,":[100],"verifying":[102],"completeness":[104,166],"input":[106],"for":[109,121],"evaluating":[110],"expressions.":[112],"paper":[114],"presents":[115],"set":[117],"verification":[119],"previously":[123],"developed":[124],"ontology-based":[125],"integrates":[129],"standardized":[130],"semantics,":[132],"element":[134],"definitions,":[135],"formal":[137],"constructs.":[139],"approach":[141,178],"includes":[142],"(i)":[143],"SPARQL-based":[144],"filtering":[145],"retrieve":[147],"process-relevant":[148],"(ii)":[150],"consistency":[153],"check":[154,167],"based":[155],"on":[156],"expected-unit":[157],"annotations":[158],"semantic":[160],"classification,":[161],"(iii)":[163],"validate":[169],"evaluability":[171],"interdependencies.":[173],"applicability":[175],"is":[179],"demonstrated":[180],"with":[181],"use":[183],"case":[184],"from":[185],"Resin":[186],"Transfer":[187],"Molding":[188],"(RTM),":[189],"development":[192],"machine-interpretable":[194],"verifiable":[196],"engineering":[197],"models.":[198]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-22T00:00:00"}