{"id":"https://openalex.org/W4415400199","doi":"https://doi.org/10.1109/etfa65518.2025.11205616","title":"Automated Validation of Textual Constraints Against AutomationML via LLMs and SHACL","display_name":"Automated Validation of Textual Constraints Against AutomationML via LLMs and SHACL","publication_year":2025,"publication_date":"2025-09-09","ids":{"openalex":"https://openalex.org/W4415400199","doi":"https://doi.org/10.1109/etfa65518.2025.11205616"},"language":null,"primary_location":{"id":"doi:10.1109/etfa65518.2025.11205616","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa65518.2025.11205616","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":"article","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/A5078130599","display_name":"Tom Westermann","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"]},{"id":"https://openalex.org/I4210157642","display_name":"Institute of Automation","ror":"https://ror.org/056qj1t15","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210157642","https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Tom Westermann","raw_affiliation_strings":["Helmut Schmidt University,Institute of Automation,Hamburg,Germany"],"affiliations":[{"raw_affiliation_string":"Helmut Schmidt University,Institute of Automation,Hamburg,Germany","institution_ids":["https://openalex.org/I190134885","https://openalex.org/I4210157642"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063013303","display_name":"Aljosha K\u00f6cher","orcid":"https://orcid.org/0000-0002-7228-8387"},"institutions":[{"id":"https://openalex.org/I4210157642","display_name":"Institute of Automation","ror":"https://ror.org/056qj1t15","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210157642","https://openalex.org/I78650965"]},{"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":"Aljosha K\u00f6cher","raw_affiliation_strings":["Helmut Schmidt University,Institute of Automation,Hamburg,Germany"],"affiliations":[{"raw_affiliation_string":"Helmut Schmidt University,Institute of Automation,Hamburg,Germany","institution_ids":["https://openalex.org/I190134885","https://openalex.org/I4210157642"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5097358255","display_name":"Felix Gehlhoff","orcid":null},"institutions":[{"id":"https://openalex.org/I4210157642","display_name":"Institute of Automation","ror":"https://ror.org/056qj1t15","country_code":"DE","type":"facility","lineage":["https://openalex.org/I4210157642","https://openalex.org/I78650965"]},{"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,Hamburg,Germany"],"affiliations":[{"raw_affiliation_string":"Helmut Schmidt University,Institute of Automation,Hamburg,Germany","institution_ids":["https://openalex.org/I190134885","https://openalex.org/I4210157642"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5078130599"],"corresponding_institution_ids":["https://openalex.org/I190134885","https://openalex.org/I4210157642"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.5041979,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"4"},"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.9883999824523926,"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.9883999824523926,"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.9761000275611877,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9729999899864197,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.666100025177002},{"id":"https://openalex.org/keywords/data-exchange","display_name":"Data exchange","score":0.4334999918937683},{"id":"https://openalex.org/keywords/sample","display_name":"Sample (material)","score":0.4074999988079071},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.4047999978065491},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.4027999937534332},{"id":"https://openalex.org/keywords/xml","display_name":"XML","score":0.3343000113964081},{"id":"https://openalex.org/keywords/web-ontology-language","display_name":"Web Ontology Language","score":0.3327000141143799}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8050000071525574},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.666100025177002},{"id":"https://openalex.org/C15845906","wikidata":"https://www.wikidata.org/wiki/Q1172338","display_name":"Data exchange","level":2,"score":0.4334999918937683},{"id":"https://openalex.org/C198531522","wikidata":"https://www.wikidata.org/wiki/Q485146","display_name":"Sample (material)","level":2,"score":0.4074999988079071},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.4047999978065491},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.4027999937534332},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.398499995470047},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3833000063896179},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3425999879837036},{"id":"https://openalex.org/C8797682","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"XML","level":2,"score":0.3343000113964081},{"id":"https://openalex.org/C101230327","wikidata":"https://www.wikidata.org/wiki/Q826165","display_name":"Web Ontology Language","level":3,"score":0.3327000141143799},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.33219999074935913},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3301999866962433},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.3278000056743622},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32589998841285706},{"id":"https://openalex.org/C3019060180","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automated method","level":2,"score":0.30809998512268066},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.29589998722076416},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.27889999747276306},{"id":"https://openalex.org/C95318506","wikidata":"https://www.wikidata.org/wiki/Q6588467","display_name":"Textual entailment","level":3,"score":0.2703000009059906},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2648000121116638}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/etfa65518.2025.11205616","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa65518.2025.11205616","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":4,"referenced_works":["https://openalex.org/W1971804571","https://openalex.org/W2547154976","https://openalex.org/W2886013298","https://openalex.org/W4398160779"],"related_works":[],"abstract_inverted_index":{"AutomationML":[0],"(AML)":[1],"enables":[2],"standardized":[3],"data":[4],"exchange":[5],"in":[6],"engineering,":[7],"yet":[8],"existing":[9],"recommendations":[10],"for":[11],"proper":[12],"AML":[13,30,45,77,99],"modeling":[14,106],"are":[15,47,70,83],"typically":[16],"formulated":[17],"as":[18],"informal":[19],"and":[20,40,54],"textual":[21,64],"constraints.":[22,43],"These":[23],"constraints":[24],"cannot":[25],"be":[26,109],"validated":[27,72],"automatically":[28,84],"within":[29],"itself.":[31],"This":[32],"work-in-progress":[33],"paper":[34],"introduces":[35],"a":[36,58,97],"pipeline":[37],"to":[38,49,86,116],"formalize":[39],"verify":[41],"such":[42],"First,":[44],"models":[46],"mapped":[48],"OWL":[50],"ontologies":[51],"via":[52],"RML":[53],"SPARQL.":[55],"In":[56],"addition,":[57],"Large":[59],"Language":[60],"Model":[61],"(LLM)":[62],"translates":[63],"rules":[65,107],"into":[66],"SHACL":[67,80],"constraints,":[68],"which":[69],"then":[71],"against":[73],"the":[74],"previously":[75],"generated":[76],"ontology.":[78],"Finally,":[79],"validation":[81],"results":[82],"translated":[85],"natural":[87],"language":[88],"by":[89],"an":[90],"LLM.":[91],"The":[92],"approach":[93],"is":[94],"demonstrated":[95],"on":[96],"sample":[98],"recommendation.":[100],"Results":[101],"show":[102],"that":[103],"even":[104],"complex":[105],"can":[108],"semi-automatically":[110],"checked":[111],"\u2014":[112],"without":[113],"requiring":[114],"users":[115],"understand":[117],"formal":[118],"methods":[119],"or":[120],"ontologies.":[121]},"counts_by_year":[],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-10-22T00:00:00"}