<!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>
      <issn pub-type="ppub">1613-0073</issn>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>Semantic Technology in Your Pocket</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Peter Crocker</string-name>
          <email>peter.crocker@oxfordsemantic.tech</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Ian Horrocks</string-name>
          <email>ian.horrocks@oxfordsemantic.tech</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Yavor Nenov</string-name>
          <email>yavor.nenov@oxfordsemantic.tech</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Workshop</string-name>
        </contrib>
        <contrib contrib-type="editor">
          <string-name>Knowledge Graphs, Semantic Technology, Rules-based AI</string-name>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Oxford Semantic Technologies</institution>
          ,
          <addr-line>Oxford</addr-line>
          ,
          <country country="UK">UK</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2025</year>
      </pub-date>
      <fpage>2</fpage>
      <lpage>6</lpage>
      <abstract>
        <p>smartphone. The PDE uses semantic technology in the form of the RDFox® Knowledge Graph system to provide on-device AI capabilities to client applications. This almost certainly represents the largest ever deployment of semantic technology, with millions of users now carrying a semantic reasoning engine in their pocket. Proceedings</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>
        In January 2025, Samsung announced the launch of the Personal Data Engine (PDE) on their flagship
Galaxy S25 smartphone [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]. The PDE uses a Knowledge Graph (KG) to integrate personal data derived
from multiple sources and to provide on-device AI capabilities to client applications. The KG system is
an Android build of the RDFox® system from Oxford Semantic Technologies. RDFox® stores data in the
form of an RDF graph and an ontology in the form of OWL RL axioms and Datalog rules; it provides a
high-performance incremental reasoning engine and a SPARQL query interface. This almost certainly
represents the largest ever deployment of semantic technology, with millions of users now carrying a
semantic reasoning engine in their pocket. In the remainder of this paper we will briefly explain what
the PDE is, how it uses semantic technology and how RDFox® can enable this on a mobile device.
      </p>
    </sec>
    <sec id="sec-2">
      <title>2. Personal Data Engine</title>
      <p>The PDE collects data from a wide range of sources including multiple apps and system software (see
Figure 1). This can include everything from structured data through to text and (possibly moving)
images. The PDE analyses this data using appropriate AI technologies including machine learning
and LLMs. The result of this analysis is stored in the user’s personal knowledge graph where it is
augmented with triples entailed by the ontology. Over time, the knowledge graph builds up a holistic
view of the user and their surrounding context. This is used to provide services to client applications
supporting features such as personalisation and recommendation. For example, the PDE supports the
Now Brief function on the S25 which provides a personalised briefing of selected content that updates
throughout the day. By running all of this capability encrypted on the device users can be assured by
the highest levels of privacy.</p>
      <p>The PDE uses an android build of the RDFox® system to store, reason over and query the graph.
Importantly, all this happens on the device. This helps to guarantee privacy by avoiding personal data
being moved of the device.</p>
    </sec>
    <sec id="sec-3">
      <title>3. RDFox®</title>
      <p>To support AI features in client applications the PDE must provide real-time answers to complex queries
over the KG and ontology. To achieve this, RDFox® uses patented in-memory data structures and a</p>
      <p>CEUR</p>
      <p>
        ceur-ws.org
highly optimised incremental reasoning engine [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. Figure 2 illustrates the basic architecture of the
system. The reasoning engine exploits modern multi-core architecture to parallelise reasoning and
incrementally maintains a fully materialised graph that extends the RDF data with triples entailed by
the ontology [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ]. A highly optimised SPARQL query engine provides access to the materialised graph.
      </p>
      <p>
        Materialisation efectively means repeatedly answering queries corresponding to the bodies of
axioms/rules and adding the answer triples back into the graph [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. An RDF graph is just a set of subject,
predicate, object triples, and query answering involves computing joins over the triples. To do this
eficiently, we need the triples to be accessible in various orders, for example in subject order or object
order, and we also need indices that allow us to rapidly find appropriate entry points into the various
orderings. Moreover, we need to update the relevant data structures as new triples are added, and we
need to do this with minimal locking so as to allow for eficient parallelisation. These considerations
motivated the development of novel “lock-free” data structures for RDFox® [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ].
      </p>
      <p>
        In settings such as the PDE, where data is regularly changing, incremental maintenance of the
materialisation is essential. RDFox® implements incremental addition and retraction using a novel
extension of the Delete rederive algorithm (DRED) [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]. This works by first eagerly over-deleting all facts
that depend (possibly indirectly) on a deleted fact, and then rederiving facts that still hold due to some
alternative derivation. This has the advantage that it doesn’t require any additional data structures, and
it can handle arbitrary rules, including recursive rules; however, eager over-deletion and the subsequent
rederivation of facts can be very ineficient, particularly when facts participate in long inference chains.
In RDFox®, deletion is interleaved with checks to determine if facts still hold via alternative derivations,
which avoids excessive over-deletion and hence improves the eficiency of incremental materialisation.
      </p>
      <p>
        Finally, SPARQL is a complex language, and even with all entailed facts materialised eficient query
answering can still be challenging. RDFox® includes a highly optimised SPARQL query engine with
(patented) sideways information passing [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ].
Development of the PDE was carried out in 2024 and the PDE was deployed on Samsung’s flagship
S25 smartphone platform in 2025. However, this is only the beginning—with Samsung’s other ’phones
and their position in the consumer electronic devices market, the opportunities for deployment of the
PDE are vast. With RDFox® powering the PDE, Samsung’s comprehensive ecosystem of devices puts
them in a unique position to provide a holistic and deeply personalised user experience not only across
multiple apps but also across a wide range of diferent devices.
      </p>
    </sec>
    <sec id="sec-4">
      <title>Declaration on Generative AI</title>
      <p>The authors have not employed any Generative AI tools.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>S.</given-names>
            <surname>Electronics</surname>
          </string-name>
          ,
          <source>Samsung Galaxy Unpacked January</source>
          <year>2025</year>
          , Jan.
          <year>2025</year>
          . URL: https://www.youtube.com/ live/HinL5jCy_oI.
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>B.</given-names>
            <surname>Motik</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Nenov</surname>
          </string-name>
          ,
          <string-name>
            <surname>I.</surname>
          </string-name>
          <article-title>Horrocks, Parallel materialisation of a set of logical rules on a logical database</article-title>
          , U.S. Patent 10817467,
          <string-name>
            <surname>Oct</surname>
          </string-name>
          .
          <year>2020</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>B.</given-names>
            <surname>Motik</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Nenov</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Piro</surname>
          </string-name>
          ,
          <string-name>
            <given-names>I.</given-names>
            <surname>Horrocks</surname>
          </string-name>
          ,
          <string-name>
            <surname>D.</surname>
          </string-name>
          <article-title>Olteanu, Parallel materialisation of Datalog programs in centralised, main-memory RDF systems</article-title>
          ,
          <source>in: Proc. of the 28th Nat. Conf. on Artificial Intelligence (AAAI 14)</source>
          , AAAI Press,
          <year>2014</year>
          , pp.
          <fpage>129</fpage>
          -
          <lpage>137</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>S.</given-names>
            <surname>Abiteboul</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Hull</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Vianu</surname>
          </string-name>
          , Foundations of Databases, Addison Wesley Publ. Co., Reading, Massachussetts,
          <year>1995</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>Y.</given-names>
            <surname>Nenov</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Piro</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Motik</surname>
          </string-name>
          ,
          <string-name>
            <given-names>I.</given-names>
            <surname>Horrocks</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Z.</given-names>
            <surname>Wu</surname>
          </string-name>
          ,
          <string-name>
            <surname>J. Banerjee,</surname>
          </string-name>
          <article-title>RDFox: A highly-scalable RDF store</article-title>
          ,
          <source>in: Proc. of the 14th International Semantic Web Conference (ISWC 2015), Lecture Notes in Computer Science</source>
          , Springer,
          <year>2015</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>B.</given-names>
            <surname>Motik</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Nenov</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Piro</surname>
          </string-name>
          ,
          <string-name>
            <surname>I. Horrocks</surname>
          </string-name>
          ,
          <article-title>Maintenance of datalog materialisations revisited</article-title>
          ,
          <source>Artificial Intelligence</source>
          <volume>269</volume>
          (
          <year>2019</year>
          )
          <fpage>76</fpage>
          -
          <lpage>136</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>B.</given-names>
            <surname>Motik</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Nenov</surname>
          </string-name>
          ,
          <string-name>
            <surname>I. Horrocks</surname>
          </string-name>
          ,
          <article-title>Complex query evaluation using sideways information passing</article-title>
          , U.S. Patent 11216456,
          <string-name>
            <surname>Jan</surname>
          </string-name>
          .
          <year>2022</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>