<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Neuro-Symbolic AI at Bosch: Data Foundation, Insights, and Deployment</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Baifan Zhou</string-name>
          <email>baifanz@ifi.uio.no</email>
          <xref ref-type="aff" rid="aff2">2</xref>
          <xref ref-type="aff" rid="aff4">4</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Zhipeng Tan</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Zhuoxun Zheng</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Dongzhuoran Zhou</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
          <xref ref-type="aff" rid="aff4">4</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Yunjie He</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
          <xref ref-type="aff" rid="aff6">6</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Yuqicheng Zhu</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
          <xref ref-type="aff" rid="aff6">6</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Muhammad Yahya</string-name>
          <xref ref-type="aff" rid="aff2">2</xref>
          <xref ref-type="aff" rid="aff5">5</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Trung-Kien Tran</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Daria Stepanova</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Mohamed H. Gad-Elrab</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Evgeny Kharlamov</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
          <xref ref-type="aff" rid="aff4">4</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Bosch Center for Artificial Intelligence</institution>
          ,
          <country country="DE">Germany</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Department of Computer Science, Oslo Metropolitan University</institution>
          ,
          <country country="NO">Norway</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Electr. &amp; Mech. Engineering</institution>
        </aff>
        <aff id="aff3">
          <label>3</label>
          <institution>RWTH Aachen University</institution>
          ,
          <country country="DE">Germany</country>
        </aff>
        <aff id="aff4">
          <label>4</label>
          <institution>SIRIUS Centre, University of Oslo</institution>
          ,
          <country country="NO">Norway</country>
        </aff>
        <aff id="aff5">
          <label>5</label>
          <institution>University of Galway</institution>
          ,
          <country country="IE">Ireland</country>
        </aff>
        <aff id="aff6">
          <label>6</label>
          <institution>University of Stuttgart</institution>
          ,
          <country country="DE">Germany</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2022</year>
      </pub-date>
      <abstract>
        <p>Motivation. Neuro-symbolic AI [1] refers to the integration of connectionist AI (neural networks) and symbolic AI approaches (e.g. ontology and logics). Neuro-symbolic AI in the industry becomes possible thanks to the technological advances of Industry 4.0 [2], which bring a fast growth in volume and complexity of heterogeneous manufacturing (big) data [3]. Despite the popularity of this topic, how neuro-symbolic AI can be realised in the industry remains to be studied. In this paper, we exemplify neuro-symbolic AI with the activities of at Bosch (Fig. 1), where semantic technologies play an essential role, including 1) the data foundation, which relies on semantic data integration to unify heterogeneous data to uniform formats, 2) the insights, which exploit data-driven methods especially machine learning (ML) to extract knowledge from the data, and 3) the deployment, which gives industrial examples of value generation from the data. Data Foundation: Semantic Data Integration. Bosch models industrial assets with their semantic digital counterparts as ontologies, such as resistance spot welding (welding that connects car bodies parts via welding nuggets). Bosch is also developing domain core ontology, based on manufacturing standards of ISO and harmonised with the top level ontology such as BFO to improve the Bosch applications interoperability. Industrial KGs. Bosch experts annotate heterogeneous manufacturing data with unified vocabularies from the ontologies, which are enhanced by the ontology reshaping method [4] that removes classes unmapped to data. Following the reshaped ontologies as KG schemata, knowledge graphs (KG) are semi-automatically generated as homogeneous data formats/databases, which allow uniform access and interoperability [4]. Insights: AI-Powered Analytics. We give examples of such analytics built on the unified KG data to extract insights, including numeric data such as sensor measurements as well as text data like machine status text. Executable KG Analytics. Executable KGs [5] represent executable data pipelines in a standardised and transparent way (namely executable KGs) for visual, statistical and ML analytics (such as quality prediction), and these KGs can be transformed into executable ∗Corresponding author.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>ustrial Automation Systems
yered ArchLiateyecrt4u–reManagement Layer
yer 4 – Management Layer
Operations
Management</p>
    </sec>
    <sec id="sec-2">
      <title>Plant Engineering</title>
      <p>Information Silos
MOapneargaetimonesnt ManufacPtulrainntgEOnpgeinraeteiorninsg PErxoedcuucttiioonn
Knowledge ta
a
D
Manufacturing OperatIiTo-nSsystem Knowledgees
t
Knowledge sA</p>
      <p>Control &amp; Automation
IT-System Knowledge</p>
      <p>Engineering Knowledge
Control &amp; AutomEatleiocntr. &amp; Mech. Engineerisng
Engineering Knowledge Knowledge tsse
A
litr
a
s
CuorporateTechnology
d
n
I</p>
    </sec>
    <sec id="sec-3">
      <title>Production Manufacturing</title>
      <p>ExecutionData FoundaItnitoelnligence
Manufacturing
Intelligence</p>
      <p>Management Layer
/s ise</p>
      <p>TD lgo
Management LayeremSutopervisory Layer</p>
      <p>S nO</p>
      <p>Executable KG</p>
      <p>Analytics</p>
      <p>ASP solver
Neural-Symbolic</p>
      <p>Learning
Transfer</p>
      <sec id="sec-3-1">
        <title>Engineering</title>
      </sec>
      <sec id="sec-3-2">
        <title>Procurement</title>
      </sec>
      <sec id="sec-3-3">
        <title>Simulation</title>
      </sec>
      <sec id="sec-3-4">
        <title>Scheduling</title>
      </sec>
      <sec id="sec-3-5">
        <title>Diagnostics</title>
      </sec>
      <sec id="sec-3-6">
        <title>Analytics</title>
      </sec>
      <sec id="sec-3-7">
        <title>Digital Req</title>
      </sec>
      <sec id="sec-3-8">
        <title>Standardize</title>
        <p>e7</p>
        <p>October2015</p>
        <p>ChallengeUnrestricted© SiemensAG 2015. All rightsreserved
scripts in a highly reusable and modularised fashion, improving transparency and adoption in
the industry. ASP Solver. Bosch relies on Answer Set Programming (ASP) for solving dificult
(primarily NP-hard) search problems, which is a form of declarative programming and based on
the stable model (answer set) semantics of logic programming. ASP is beneficial for solving
knowledge-intense combinatorial (optimisation) problems. Neuro-Symbolic Learning. Currently
we focus on the state of the art KG embedding methods (e.g, TransE, RotatE) and GNN relevant
methods. Examples: 1) We rely on neuro-symbolic methods with dynamic link prediction for
complex query answering, which is more explainable compared to black-box neural models
for classification/regression, since the neuro-symbolic approach accompanies answers with
symbolic knowledge and confidence level. 2) Bosch studies diferent KG uncertainties caused by
e.g., inconsistency and incompleteness to reduce the learning/inference uncertainty.
Deployment: Industrial Applications. We give three examples 1) Process Diagnostics: in
manufacturing, some anomalous welding operations (that produce quality failures), machines
(that produce more quality failures), etc. need to be identified and their root-causes need to be
analysed via visual and statistical analytics; 2) Quality Monitoring: the numerical or categorical
quality indicators (such as welding diameter)need to be estimated/predicted by ML analytics
with classification/regression; 3) Personnel Scheduling: the automatic arrangement of personnel
with diferent available or preferred time and tasks need to be solved by ASP solver.</p>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>A. S. d.</given-names>
            <surname>Garcez</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.</given-names>
            <surname>Broda</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D. M.</given-names>
            <surname>Gabbay</surname>
          </string-name>
          , et al.,
          <source>Neural-symbolic learning systems: foundations and applications</source>
          , Springer Science &amp; Business
          <string-name>
            <surname>Media</surname>
          </string-name>
          ,
          <year>2002</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>H.</given-names>
            <surname>Kagermann</surname>
          </string-name>
          ,
          <article-title>Change through digitization - value creation in the age of Industry 4.0</article-title>
          , in: Management of Permanent Change,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>S.</given-names>
            <surname>Chand</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Davis</surname>
          </string-name>
          , What is smart manufacturing,
          <source>Time Magazine Wrapper</source>
          (
          <year>2010</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>D.</given-names>
            <surname>Zhou</surname>
          </string-name>
          , et al.,
          <article-title>Ontology reshaping for knowledge graph construction: Applied on bosch welding case</article-title>
          ,
          <source>in: ISWC</source>
          , Springer,
          <year>2022</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>Z.</given-names>
            <surname>Zheng</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Zhou</surname>
          </string-name>
          , et al.,
          <article-title>Executable knowledge graphs for machine learning: A Bosch case of welding monitoring</article-title>
          ,
          <source>in: ISWC</source>
          , Springer,
          <year>2022</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>