{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,12]],"date-time":"2026-07-12T16:23:45Z","timestamp":1783873425022,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":53,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,12,5]],"date-time":"2023-12-05T00:00:00Z","timestamp":1701734400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"BMWK","award":["68GX21005D"],"award-info":[{"award-number":["68GX21005D"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,12,5]]},"DOI":"10.1145\/3587259.3627546","type":"proceedings-article","created":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T19:30:28Z","timestamp":1701199828000},"page":"35-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["A Neuro-Symbolic Approach for Anomaly Detection and Complex Fault Diagnosis Exemplified in the Automotive Domain"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-5421-936X","authenticated-orcid":false,"given":"Tim","family":"Bohne","sequence":"first","affiliation":[{"name":"Plan-Based Robot Control, German Research Center for Artificial Intelligence (DFKI), Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-6260-6335","authenticated-orcid":false,"given":"Anne-Kathrin Patricia","family":"Windler","sequence":"additional","affiliation":[{"name":"Plan-Based Robot Control, German Research Center for Artificial Intelligence (DFKI), Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2480-6901","authenticated-orcid":false,"given":"Martin","family":"Atzmueller","sequence":"additional","affiliation":[{"name":"Institute for Computer Science, Osnabr\u00fcck University, Germany and Plan-Based Robot Control, German Research Center for Artificial Intelligence (DFKI), Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,12,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. PCI. ACM, 90\u201395","author":"I.","unstructured":"Theofanis\u00a0I. Aravanis and Ioannis Kabouris. 2022. A Neuro-Symbolic Approach for Fault Diagnosis in Smart Power Grids. In Proc. PCI. ACM, 90\u201395."},{"key":"e_1_3_2_1_2_1","volume-title":"Proc","author":"Atzmueller Martin","unstructured":"Martin Atzmueller. 2018. Declarative Aspects in Explicative Data Mining for Computational Sensemaking. In Proc. DECLARE. Springer, 97\u2013114."},{"key":"e_1_3_2_1_3_1","volume-title":"Proc","author":"Atzmueller Martin","unstructured":"Martin Atzmueller, David Arnu, and Andreas Schmidt. 2017. Anomaly Detection and Structural Analysis in Industrial Production Environments. In Proc. IDSC. Springer, 91\u201395."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artmed.2005.03.003"},{"key":"e_1_3_2_1_5_1","volume-title":"Big Data Analytics for Proactive Industrial Decision Support. atp edition 58","author":"Atzmueller Martin","year":"2016","unstructured":"Martin Atzmueller, Benjamin Kloepper, Hassan\u00a0Al Mawla, Benjamin J\u00e4schke, Martin Hollender, Markus Graube, David Arnu, Andreas Schmidt, Sebastian Heinze, Lukas Schorer, Andreas Kroll, Gerd Stumme, and Leon Urbas. 2016. Big Data Analytics for Proactive Industrial Decision Support. atp edition 58 (2016), 62."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2019.12.012"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2015.08.008"},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. Symposium on AmE. VDE, 1\u20135.","author":"Behravan Ali","year":"2019","unstructured":"Ali Behravan, Simon Meckel, and Roman Obermaisser. 2019. Generic Fault-Diagnosis Strategy based on Diagnostic Directed Acyclic Graphs using Domain Ontology in Automotive Applications. In Proc. Symposium on AmE. VDE, 1\u20135."},{"key":"e_1_3_2_1_9_1","volume-title":"Leo de Penning, Gadi Pinkas, Hoifung Poon, and Gerson Zaverucha.","author":"Besold R.","year":"2021","unstructured":"Tarek\u00a0R. Besold, Artur\u00a0S. d\u2019Avila Garcez, Sebastian Bader, Howard Bowman, Pedro\u00a0M. Domingos, Pascal Hitzler, Kai-Uwe K\u00fchnberger, Lu\u00eds\u00a0C. Lamb, Priscila Machado\u00a0Vieira Lima, Leo de Penning, Gadi Pinkas, Hoifung Poon, and Gerson Zaverucha. 2021. Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. In Neuro-Symbolic Artificial Intelligence: The State of the Art. Frontiers in Artificial Intelligence and Applications, Vol.\u00a0342. IOS Press, 1\u201351."},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. IJCAI Workshop on XAI. 8\u201313","author":"Biran Or","year":"2017","unstructured":"Or Biran and Courtenay Cotton. 2017. Explanation and Justification in Machine Learning: A Survey. In Proc. IJCAI Workshop on XAI. 8\u201313."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2010.938836"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043174.2043195"},{"key":"e_1_3_2_1_13_1","unstructured":"Raghavendra Chalapathy and Sanjay Chawla. 2019. Deep Learning for Anomaly Detection: A Survey. arXiv:1901.03407"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1541880.1541882"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/WACV.2018.00097"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2022.3163606"},{"key":"e_1_3_2_1_17_1","unstructured":"Rachel\u00a0Lea Draelos and Lawrence Carin. 2021. Use HiResCAM Instead of Grad-CAM for Faithful Explanations of Convolutional Neural Networks. arXiv:2011.08891"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2015.2417501"},{"key":"e_1_3_2_1_19_1","volume-title":"XAI - Explainable Artificial Intelligence. Science Robotics 4","author":"Gunning David","year":"2019","unstructured":"David Gunning, Mark Stefik, Jaesik Choi, Timothy Miller, Simone Stumpf, and Guang-Zhong Yang. 2019. XAI - Explainable Artificial Intelligence. Science Robotics 4 (2019), eaay7120."},{"key":"e_1_3_2_1_20_1","volume-title":"Identification of Outliers","author":"Hawkins Douglas","unstructured":"Douglas Hawkins. 1980. Identification of Outliers. Chapman and Hall, London."},{"key":"e_1_3_2_1_21_1","volume-title":"Building Expert Systems","author":"Hayes-Roth Frederick","unstructured":"Frederick Hayes-Roth, Donald\u00a0A. Waterman, and Douglas\u00a0B. Lenat. 1983. Building Expert Systems. Addison-Wesley, London."},{"key":"e_1_3_2_1_22_1","volume-title":"Proc","author":"He Mingwei","unstructured":"Mingwei He, Bohan Li, and Songlin Sun. 2022. A Survey of Class Activation Mapping for the Interpretability of Convolution Neural Networks. In Proc. ICSINC. Springer, 399\u2013407."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447772"},{"key":"e_1_3_2_1_24_1","volume-title":"Proc","author":"Holzinger Andreas","unstructured":"Andreas Holzinger. 2013. Human-Computer Interaction and Knowledge Discovery (HCI-KDD): What is the Benefit of Bringing Those Two Fields to Work Together?. In Proc. CD-ARES. Springer, 319\u2013328."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-019-00619-1"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2021.3070843"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIP.2021.3089943"},{"key":"e_1_3_2_1_28_1","first-page":"93","article-title":"The Third AI Summer","volume":"43","author":"Kautz A.","year":"2022","unstructured":"Henry\u00a0A. Kautz. 2022. The Third AI Summer: AAAI Robert S. Engelmore Memorial Lecture. AI Magazine 43 (2022), 93\u2013104.","journal-title":"AAAI Robert S. Engelmore Memorial Lecture. AI Magazine"},{"key":"e_1_3_2_1_29_1","volume-title":"Failure Diagnosis of Complex Systems. Resilience assessment and evaluation of computing systems","author":"Kavulya P.","year":"2012","unstructured":"Soila\u00a0P. Kavulya, Kaustubh Joshi, Felicita\u00a0Di Giandomenico, and Priya Narasimhan. 2012. Failure Diagnosis of Complex Systems. Resilience assessment and evaluation of computing systems (2012), 239\u2013261."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/DEXA.1997.617410"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0933-3657(01)00077-X"},{"key":"e_1_3_2_1_32_1","volume-title":"Evaluation of Two Different Models of Semi-Automatic Knowledge Acquisition for the Medical Consultant System CADIAG-II\/RHEUMA. Artificial intelligence in medicine 25","author":"Leitich Harald","year":"2002","unstructured":"Harald Leitich, Klaus-Peter Adlassnig, and Gernot Kolarz. 2002. Evaluation of Two Different Models of Semi-Automatic Knowledge Acquisition for the Medical Consultant System CADIAG-II\/RHEUMA. Artificial intelligence in medicine 25 (2002), 215\u2013225."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2020.104637"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2021.3084827"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11265-021-01718-3"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453155"},{"key":"e_1_3_2_1_37_1","volume-title":"Proc. ECAI. IOS, 711\u2013715","author":"Milne Robert","year":"2000","unstructured":"Robert Milne and Charlie Nicol. 2000. TIGER: Continuous Diagnosis of Gas Turbines. In Proc. ECAI. IOS, 711\u2013715."},{"key":"e_1_3_2_1_38_1","volume-title":"Real-Time Fault Diagnosis Using Knowledge-Based Expert System. Process safety and environmental protection 86","author":"Nan Cen","year":"2008","unstructured":"Cen Nan, Faisal Khan, and M.\u00a0Tariq Iqbal. 2008. Real-Time Fault Diagnosis Using Knowledge-Based Expert System. Process safety and environmental protection 86 (2008), 55\u201371."},{"key":"e_1_3_2_1_39_1","volume-title":"Deep Learning for Anomaly Detection: A Review. ACM computing surveys (CSUR) 54","author":"Pang Guansong","year":"2021","unstructured":"Guansong Pang, Chunhua Shen, Longbing Cao, and Anton Van\u00a0Den Hengel. 2021. Deep Learning for Anomaly Detection: A Review. ACM computing surveys (CSUR) 54 (2021), 1\u201338."},{"key":"e_1_3_2_1_40_1","volume-title":"Systematic Introduction to Expert Systems","author":"Puppe Frank","unstructured":"Frank Puppe. 1993. Systematic Introduction to Expert Systems. Springer, Heidelberg."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1998.0221"},{"key":"e_1_3_2_1_42_1","volume-title":"Proc. ECAI. IOS, 683\u2013687","author":"Puppe Frank","year":"2008","unstructured":"Frank Puppe, Martin Atzmueller, Georg Buscher, Matthias Huettig, Hardi L\u00fchrs, and Hans-Peter Buscher. 2008. Application and Evaluation of a Medical Knowledge-System in Sonography (SonoConsult). In Proc. ECAI. IOS, 683\u2013687."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2017.74"},{"key":"e_1_3_2_1_44_1","volume-title":"An Intelligent Diagnosis System Handling Multiple Disorders","author":"Shi Wenqi","unstructured":"Wenqi Shi, John\u00a0A. Barnden, Martin Atzmueller, and Joachim Baumeister. 2005. An Intelligent Diagnosis System Handling Multiple Disorders. Springer, Heidelberg, 421\u2013430."},{"key":"e_1_3_2_1_45_1","unstructured":"Daniel Smilkov Nikhil Thorat Been Kim Fernanda Vi\u00e9gas and Martin Wattenberg. 2017. SmoothGrad: Removing Noise by Adding Noise. arXiv:1706.03825"},{"key":"e_1_3_2_1_46_1","volume-title":"Proc. SSN Workshop. CEUR, 17\u201331","author":"Steenwinckel Bram","year":"2018","unstructured":"Bram Steenwinckel, Pieter Heyvaert, Dieter De\u00a0Paepe, Olivier Janssens, Sander Vanden\u00a0Hautte, Anastasia Dimou, Filip De\u00a0Turck, Sofie Van\u00a0Hoecke, and Femke Ongenae. 2018. Towards Adaptive Anomaly Detection and Root Cause Analysis by Automated Extraction of Knowledge from Risk Analyses. In Proc. SSN Workshop. CEUR, 17\u201331."},{"key":"e_1_3_2_1_47_1","volume-title":"Introduction to Knowledge Systems","author":"Stefik Mark","unstructured":"Mark Stefik. 1995. Introduction to Knowledge Systems. Morgan Kaufmann Publishers Inc., San Francisco."},{"key":"e_1_3_2_1_48_1","volume-title":"5th Biannual German Conference on Knowledge-Based Systems. Springer, 1\u201323","author":"Studer Rudi","year":"1999","unstructured":"Rudi Studer, Dieter Fensel, Stefan Decker, and V.\u00a0Richard Benjamins. 1999. Knowledge Engineering: Survey and Future Directions. In Puppe, F. (ed.): XPS-99: Knowledge-Based Systems \u2013 Survey and Future Directions. 5th Biannual German Conference on Knowledge-Based Systems. Springer, 1\u201323."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5220\/0006892901670174"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPRW50498.2020.00020"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1049\/smt2.12084"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2017.7966039"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1002\/int.22357"}],"event":{"name":"K-CAP '23: Knowledge Capture Conference 2023","location":"Pensacola FL USA","acronym":"K-CAP '23","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"]},"container-title":["Proceedings of the 12th Knowledge Capture Conference 2023"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3587259.3627546","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3587259.3627546","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T23:44:50Z","timestamp":1755906290000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3587259.3627546"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,5]]},"references-count":53,"alternative-id":["10.1145\/3587259.3627546","10.1145\/3587259"],"URL":"https:\/\/doi.org\/10.1145\/3587259.3627546","relation":{},"subject":[],"published":{"date-parts":[[2023,12,5]]},"assertion":[{"value":"2023-12-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}