<!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>Reasoning on Company Takeovers during the COVID-19 Crisis with Knowledge Graphs</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Luigi Bellomarini</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Marco Benedetti</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Stefano Ceri</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Andrea Gentili</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Rosario Laurendi</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Davide Magnanimi</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Markus Nissl</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Emanuel Sallinger</string-name>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Banca d'</institution>
          <country country="IT">Italia</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Politecnico di Milano</institution>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>University of Oxford</institution>
        </aff>
      </contrib-group>
      <abstract>
        <p>When some country takes a disproportionate hit by a largescale turmoil-just like Italy did during the COVID-19 pandemics-the share prices of its companies plunge. Suddenly, it becomes feasible to attempt foreign takeovers of national assets, including those of strategic interest. To avert this risk, the Government can veto transactions by summoning the so-called “Golden Powers”. Or, it can work to proactively identify structural weaknesses in the control or shareholding chains of key companies, in order to reinforce them without resorting to special powers. Sometimes, vulnerabilities and attacks hide in plain sight due to how complex and intertwined the network of mutual company shareholding is. In this work, we show how to leverage Knowledge Graphs (KGs) as a representation and reasoning framework to analyze both reactive and proactive measures against takeover attempts, however intricate the setting where they take place. We formally characterize a set of reasoning tasks that define when and if to employ Golden Powers, plus others that aim at pinpointing companies prone to attacks. These criteria are exercised on the real network of all Italian companies, built for the occasion. A rich set of experiments is provided, including on several large synthetic instances, to prove the robustness of our method.</p>
      </abstract>
      <kwd-group>
        <kwd>Knowledge Graphs Reasoning Company Takeovers</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>The COVID-19 outbreak has had an immense impact on our society. Besides the
critical health crisis, it has become clear that preventing, or at least managing,
its large-scale economic effects will become critical as well. The work we present
here deals with reasoning about company takeovers. To this end, we employ
Knowledge Graphs (KGs) as a representation and reasoning framework: Our
approach analyzes automatically a large graph of knowledge (representing the</p>
      <p>The views and opinions expressed in this paper are those of the authors
and do not necessarily reflect the official policy or position of Banca d’Italia.
Copyright c 2020 for this paper by its authors. Use permitted under Creative
Commons License Attribution 4.0 International (CC BY 4.0).
entire set of Italian companies and their mutual financial relationships) in search
for ongoing or potential hostile takeovers over companies of strategic national
interest. Specific reactive or proactive defence measures by the Government,
possibly involving the use of the so-called “ Golden Powers ” (GPs), are automatically
produced as a result of our analysis. This initiative forms one pillar of a
flagship project launched by the Central Bank of Italy in reaction to the COVID-19
crisis,5 and is in line with a call to action by the President of the European
Commission6 on counteracting hostile takeovers of strategic companies.</p>
      <p>It is essential that the ownership of — or, more importantly, the control upon
— companies deemed of strategic relevance (e.g., in the energy, military,
transport, telecommunications sectors) remains in the hands of trusted shareholders.
Yet, with the COVID-19 outbreak, companies stretched by massive shutdowns
and production plunge are subject to an abnormal number of hostile takeover
attempts because, in conditions of market turbulence, attackers try to take
advantage of lowered share prices. A hostile takeover consists in gaining the control
of a target company against the will of its management. Company control can
be gained directly by acquiring the majority of the target company shares, or
indirectly, by gaining control over a set of companies that jointly own the
majority of the shares of the target. In real-world company networks, such indirect
undertakings with very long and intertwined control chains are regularly present.</p>
      <p>
        Multiple countries have historically resorted to legal frameworks to protect
strategic companies against foreign takeovers [
        <xref ref-type="bibr" rid="ref16">16</xref>
        ]. Italy is a relevant example:
Being one of the countries most struck by the COVID emergency, it carried out a
careful application of the so-called Golden Powers [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ], that is, the possibility for
the central Government to veto individual acquisition transactions (e.g., in terms
of shares of stocks) that would cause strategic assets to fall victim to takeovers.
Likewise, the Government can intervene to secure companies by acquiring or
increasing its participation in the strategic firms (technically, investment
beefup) via publicly controlled intermediaries.
      </p>
      <p>
        Golden Power Settings. Unfortunately, an effective application of the
mentioned legal frameworks (and of GPs in particular) is by no means trivial. How
can we tell whether a transaction is a takeover attempt? Will a transaction
lead to a takeover? What is the minimum amount of share that must shift to
public control in order to protect a company? And, how to protect against
coordinated, collusive, transactions aiming at a takeover? These problems lend
themselves to be addressed by a declarative and fully explainable approach, and
encoded as reasoning tasks on the KG of the Italian companies, built and
maintained by the Bank of Italy [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ]. The technical challenges are significant: Dealing
with indirect control chains requires a Knowledge Representation and Reasoning
(KRR) language that supports recursion and creation of new values. Indeed, the
problems underlying the application of GPs are hardly addressed by traditional
data management technology, where support for recursion is absent or laborious.
Moreover, the massive amount of domain knowledge available makes resorting
to a pure graph database impractical, as it leads to either proliferation of
over5https://kg19.bankit.art
6https://trade.ec.europa.eu/doclib/press/index.cfm?id=2124
complicated non-scalable queries or to a substantial impossibility of representing
the necessary queries within poorly expressive host languages. Finally, machine
learning or network analysis approaches would lack explainability.
KG19. This work leverages our experience in state-of-the-art reasoning in
Vadalog KGs [
        <xref ref-type="bibr" rid="ref6 ref7">6,7</xref>
        ] to study the impact of the outbreak on the Italian company
network under various perspectives and provide policymakers, analysts, and
economists, with actionable AI tools and data to support businesses and lessen
the economic impact of COVID-19. Although we focus on the Italian case, our
initiative aims at providing methodologies and tools that are valid in general,
independently of the specific country and crisis situation. A wider picture of the
lockdown impact on the company network can be found in a recent report [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ].
Contribution and Overview. We present the first results of the application
of rule-based reasoning on KGs to aid decision making about the application of
Golden Powers to contrast hostile takeovers. In particular, this paper contributes:
– The main references to Vadalog (Section 2) and a compact formalization of
the company control problem (Section 3) as background material.
– A formal characterization and discussion of a set of reasoning tasks about
Golden Powers (Section 4), modeling the possibility of different Governments
to intervene on transactions that may underlie takeover attempts.
– A discussion of the application of our techniques to the real data from the KG
of the Italian companies, with an evaluation of the soundness of the approach
for real takeover patterns. We also study the scalability of the approach on real
data as well as on synthetic instances of the relevant GP reasoning tasks and
of the company control problem in the Vadalog System (Section 5).
Related work is discussed in Section 6, while Section 7 concludes the paper.
2
      </p>
    </sec>
    <sec id="sec-2">
      <title>Vadalog Knowledge Graphs</title>
      <p>
        The formalization of the company control problem and the GP settings in this
paper are encoded in Vadalog, a language from the Datalog family [
        <xref ref-type="bibr" rid="ref13 ref9">9,13</xref>
        ];
experimental evaluations are run in the Vadalog System. Datalog generalizes
Datalog with existential quantification in the rule conclusion. A rule is a
firstorder sentence of the form 8G8H ¹i¹G Hº ! 9I k ¹G Iºº, where i (the body) and k
(the head) are conjunctions of atoms. For brevity, we omit universal quantifiers
and denote conjunction by comma. As usual in this context, the semantics of a
set of rules is defined by the well-known chase procedure. The core of Vadalog
is based on Warded Datalog [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ], a syntactic restriction to Datalog that
guarantees decidability and tractability in the presence of recursion and existential
quantification. In terms of expressive power, Warded Datalog captures full
Datalog and OWL 2 direct semantics entailment regime for OWL 2 QL. The language
underpinnings are exploited by the reasoner to allow for efficient execution of
reasoning tasks [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. Vadalog augments Warded Datalog with supplementary
features such as aggregation, algebraic operations, and stratified negation.
      </p>
      <p>
        Vadalog supports monotonic aggregations, whose full details can be found
in [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. However, a simpler form of aggregation, which suffices to our ends, is
A 0.7 C0.1 D
      </p>
      <p>0.2
B</p>
      <p>A
0.8</p>
      <p>0.2
based on stratified semantics, where the basic idea for our case is very simple:
An aggregation function (e.g., sum, in Section 4) is computed only when its input
operands are completely known. All our use cases admit such simplification.
3</p>
    </sec>
    <sec id="sec-3">
      <title>Company Control Problem: A Deductive Approach</title>
      <p>Underlying the study of hostile takeovers is the notion of company control. It
concerns decision power, i.e., when a company can direct the decisions of
another company by controlling the vote majority via the majority of the shares.
Let us consider an ownership graph, i.e., the directed graph where nodes are
shareholders and edges represent share ownership.</p>
      <p>
        Along the lines of existing formulations from the logic and database
literature [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ], we see the company control problem as follows.
      </p>
      <p>A company G controls a company H, if: (i) G directly owns more than 50% of H;
or, (ii) G controls a set of companies that jointly (i.e., summing their shares),
and possibly together with G, own more than 50% of H.</p>
      <p>Figure 1 shows basic cases of company control. In Figure 1(a), the first clause
applies: Company directly controls company . In Figure 1(b), the second
clause applies: Company does not directly control ; nevertheless, it has an
80% share on company and hence it controls . Thus, the total share of
company that controls rises to 61%, which is the sum of the direct 30%
ownership of on and the 31% ownership of the controlled company on .
In the end, controls . Figure 1(c) demonstrates a more convoluted form of
control: An entity can control a company anywhere in the graph, given that
can indirectly control the majority of the shares of even if no direct control
exists between and or even between any intermediate company and .
Company control can be formulated as a Vadalog reasoning task:</p>
      <p>Control¹G Hº Own¹H I Fº E = sum¹Fº E ¡ 05 ! Control¹G Iº
Assuming that every company has control on itself (Rule 1),7 we inductively
define control of G on I by summing the shares of I owned by any company
H over all companies H controlled by G (Rule 2). The presence of cycles in the
ownership graphs, a common case indeed, is irrelevant for control purposes.</p>
      <p>7This formalization of the base case is slightly different from the natural definition
but commonly assumed in the literature as it is more compact and formally equivalent.</p>
      <sec id="sec-3-1">
        <title>Company¹Gº ! Control¹G Gº</title>
        <p>(1)
(2)</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>Reasoning on Golden Power</title>
      <p>In this section we elaborate on a set of KG-based applications revolving around
the use of GPs. The framework we develop covers five fundamental concerns
raised by business stakeholders, related to: Decision and policy making, advice
to be given to companies, and proactive actions to be taken. We present a number
of core reasoning tasks providing insights on: 1. detecting cases of transactions
hiding possible takeover attempts; 2. suggesting limits within which GPs may be
exercised; 3. giving options for proactively protecting companies from takeover
attempts. Figure 2 summarizes the scenarios under consideration. Each column
describes one scenario, specifying its goal, general setting, business question, and
resulting insight. At the bottom of each column, we report one example.</p>
      <p>At the core of our cases, there is the Company Control setting from
Section 3. Companies are assigned different roles: trusted (e.g., public companies or
Governmental bodies, pink in the figure), attacker (e.g., a company out of the
national border in the figure, i.e., incorporated or organized under the law of
another country), or target (e.g., the strategic company to be protected, green);
all the others are assumed to be neutral (gray).</p>
      <p>We perform both reactive analysis, checking whether specific variations to the
graph generated by candidate transactions (acquisition of shares) culminate in
unwanted takeovers, and proactive analysis, detecting structural vulnerabilities
and possible countermeasures, independently of any possibly ongoing attack.</p>
      <p>In the following paragraphs, we introduce the Vadalog formulations of the
five cases. Each one is an extension of Company Control, so Rules 1 and 2 from
Section 3 are assumed to be inherited by all the formulations. Attackers, target,
and trusted companies are respectively denoted by atoms V, T, and P.</p>
      <p>Encoding these criteria as rules in an expressive and scalable declarative
framework such as Vadalog is of the essence here because while we have
analyzed the key reasoning patterns in this work, more emerge on a daily basis
during the interactions with business experts: Changes that would radically
impact a procedural approach (requiring a substantial rewrite) are just a minor
amendment away when the domain knowledge is captured declaratively. Not
only does Vadalog allow us to quickly test and deploy new criteria, but the
amount of time we spend to get sure we are on the same page as our business
colleagues — i.e., to convince them that the implementation is actually computing
what we have agreed on paper — dramatically shortens.</p>
      <p>Golden Power Check. We show how to detect individual transactions that
cause some target company to be taken over. This is a case where Golden Power
may be an option to exercise. We call this problem: Golden Power Check.
Example. Let us consider the example shown at the bottom of Figure 2(1). We
first consider the setting. Company 1 is in the set of attackers, e.g., potentially
attacking companies under investigation (forming the set + in the definition
shown in Figure 2), while the colored node is in the set of target companies
(forming the set ) in our definition shown in Figure 2).</p>
      <p>Candidate transactions are shown using dashed edges. Our first candidate
transaction is C1, where an ownership of 51% of is acquired by 1. The second
candidate transaction is C2 where an ownership of 90% of is acquired by . Let
rseaoPw tteakvn eoaqvb trseap li)yybu ilissobp iItsghn reeoovn iaynnp 2)H) f(romG tseon iisenn iseanp iitsson tseuQ from+ t(schu fttseo caopnm eab+ ftreago ittegnS treeoavk itseon tryb irseanh laoG: anA P ()3 oG
treonn rseeov itseonu seanhw rsseaoh itt(teoym i:sondC i?n) itcoagn+ llsoaaynw ,ittohwH ftrscaaon trgaaun% iybn) frsseaoh ion:ichW.)adn) itsah% trsceodu .itseeL ftseoa tcoapnm :tebL) .s treevpn tsedu trceenm itopuCm ilssy:roP ittrceoo leodnPG leondPw
ee (G to tre f) e t e c o h d m % tta ie e n a n ow e
.)edd leodn -rep teoh iav% -rroap treh ltroon -com2,G+ isonC tteah -oapm f-com i-caqu iijtson iseapn eab icgkn sadn tsea iltseoh -coapm eeendd tegh itcev re ttreS
i
n
G s Y I a + Q w s G fe a t n a o S n s p t s a G
leoondP iliittoyb ,sconSE itsghn:fI coypnm itgaon itseonu 2ithG+ frseoah toyub irsseud ttrscaan lrcoapm ,iseand fttseao fttrcega ittegn: iitscean fttteao lisscoyb trceoga ,ttsceok iscaqun lao:hC laynA oPw loC)(4
rsew lob ired teh iayn ijton :oD2,H caom aanm ayb i(eon i.sean sa# itcakn oapm teL) icgn icakn troon apnm .)cca iit(on icekn iss:P Cre lisou
. ck teh san ?n) tcon seC [)</p>
      <p>g L te g in b llou cg lle y su fo gw roa ceh nG
vC op rew lro cau .# aypn tounB caopm ..,an teC fon com ,se+ ea ison opm ybd to sea rsah teh itc k leod
ia -s is fo se ,)H fo yn f-o eb -eu -ap eb tse . -a a eb yn ,se reh ev n
.90 rs lo r e E em is u</p>
      <p>n A )
G s Y I c d o s t Q w s G fe a t n a o S in oh ap yb com tra tso an G
o ib E sn o o w h h ah to ir t ra ie s f o (
tn se edn rea ta tseu ithG rse bu ssu rsan lcom ,san fteo trega itten copm ilgnd fyn an ep teg ,sck caqu la:C anA P C)5
oP to scon th:fI lfoo laC yb fo an ion 2+ fo y ed tca p d ta tc g: le ro a sso com tce iis h ly ow au
ew b ied th ?H low so H y : 2,H coam aanm ayb i(eon i.sean sea# itcakn oapm teL) .te ifroanm ichhw ittcakn licoyb aypn .)scau ift(oon icegkn iss:R hCre itsou
. ck th an g L t g in b w ea ce G
m # aypn toun com .., e o com ,se+ ea
to E in ssa ssu [</p>
      <p>a t f
p n C n
B a
us first consider transaction C1 as our transaction of interest. This would give
1 control of , and hence a 20% ownership of . So far, the total ownership of
target company by company 1 is thus 20% with no need to block C1.</p>
      <p>Now assume that transaction C1 was processed (i.e., it becomes a solid line),
and consider transaction C2, where an ownership of 90% of is obtained by 1.
This would give 1 control of and hence 31% ownership of . Together with
the ownership of 20% of target company that 1 already holds, it now has 51%
ownership of company and thus controls it. Transaction C2 must be blocked
using Golden Power if the target company should not come under the control
of 1. Finally, we remark that had transaction C2 come before C1, it would have
been fine to process C2 and block C1. This concludes our example.</p>
      <p>This line of reasoning can be formalized as a Vadalog reasoning task by
extending Company Control with the following rules:
Rule 1 defines that, for the purpose of our analysis, we consider transaction ) G
to be virtually applied, i.e., leading to actual ownership even if it has not taken
place. Then, Rule 2 captures our goal by computing all companies in + that
control at least one company in ) . If GPCheck is empty, there is no reason to
use Golden Powers. In case it is non-empty, it gives a list of the companies which
are possible subject of takeovers caused by the single acquisition of share ) G.
Golden Power Limit. The second relevant problem is to advise companies
about what transactions are allowed to take place (without requiring the use
of GPs to prevent a takeover). We call this problem Golden Power Limit. The
definition and an example are given in Figure 2(2). A full explanation of this
(and following) examples can be found in the appendix,8 while the definition can
be formulated with the following Vadalog rules:</p>
      <p>Control¹G Hº Own¹H I Fº E = sum¹Fº ! PControl¹G I Eº</p>
      <p>V¹Gº T¹Hº PControl¹G H Eº E  05 ! GPLimit¹G H 05
Eº</p>
      <p>Tx¹G H Fº GPLimit¹G H º w&lt;h ! Allowed¹G H Fº
Rule 1 captures the case of partial control, i.e., the sum of shares does not
necessarily lead to control. Rule 2 evaluates the threshold F = 05 E, representing
the limit of shares of H that company G can buy without obtaining control. In
Rule 3 the transaction Tx is validated against the limit computed in Rule 2.
Golden Power Protection. The use of Golden Power comes with political
and economic consequences, so in many cases it may be desirable to proactively
prevent takeovers. The third problem is about preventing the use of Golden
Powers from becoming a necessity. The definition and an example are given in
Figure 2(3). A Vadalog formulation is the following:</p>
      <p>Control¹G Hº Own¹H I Fº E = sum¹Fº ! PControl¹G I Eº</p>
      <p>P¹Gº T¹Hº PControl¹G H Eº E  05 ! Prot¹G H 05 Eº
(1)
(2)
(3)
(1)
(2)
We use the same approach as in Golden Power Limit. Value E, computed by
Rule 2, quantifies the additional direct share (“beef-up”) that a trusted company
G needs to secure in order to gain control over a target company H.
Collusion Golden Power Check. We now formulate the Golden Power Check
problem under the possibility of collusive attackers, which we call Collusion
Golden Power Check. In general, there is a range of possibilities in defining what
types of “collusion” we address, with choices that need to be validated at the
business level. The definition and an example are given in Figure 2(4).</p>
      <p>The definition of Figure 2 can be formulated as the following Vadalog
reasoning task, which extends the definition we have seen before:</p>
      <sec id="sec-4-1">
        <title>V¹Gº V¹Hº ! Control¹G Hº</title>
        <p>We have already discussed Rules 2 and 3 when considering Golden Power Check.
Rule 1 captures the intuition that companies in + may be acting collusively, i.e.,
surreptitiously exerting control over one another.</p>
        <p>Cautious Golden Power Check. We now consider the case of missing or
unknown information. So far, in our examples we have assumed that if only a
partial percentage of the ownership of a company is represented, the remaining
shares are not relevant. However, in a cautious scenario, we may want to presume
that the most unfavorable conditions hold, namely that the non-represented
shares are already in the hands of the attackers. This pessimistic assumption
can be combined with any of our base scenarios; here we introduce Cautious
Golden Power Check, in Figure 2(5). The following Vadalog rules formalize
our concept of caution:</p>
        <p>:+ ¹Gº :+ ¹Hº Own¹G H Eº F = sum¹Eº ! Assigned¹H Fº
Assigned¹H Fº F  1 ! 9I Company¹Iº + ¹Iº Own¹I H 1
Fº
V¹Gº :V¹Hº Tx¹G H Fº E = sum¹Fº ! Own¹G H Eº</p>
        <p>V¹Gº T¹Hº Control¹G Hº ! GPCCheck¹G Hº
(1)
(2)
(3)
(1)
(2)
(3)
(4)
We compute the total amount of currently (un)assigned shares, for each
company, with Rule 1. Then, by Rule 2 we depict the worst case scenario where if
a non-attacker company (neutral or target) has unassigned shares, there exists
an attacker retaining all of them. We assume this is true when reasoning on
transactions (Rule 3) and while performing the control check (Rule 4).
5</p>
      </sec>
    </sec>
    <sec id="sec-5">
      <title>Experimental Evaluation</title>
      <p>
        We applied our technique to the ownership graph of the Italian companies [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]
to detect potential hostile takeovers. First, we evaluate the soundness of the
approach on the real KG of Italian companies, then we show its scalability in both
real and synthetic scenarios. We employed a cloud-hosted memory-optimized
virtual machine with 16 cores and 128 GB RAM on an Intel Xeon architecture.
Evaluating Approach Soundness. We validated our Vadalog rules for
Company Control by comparing our results for the Italian KG with a sample of 382k
control instances from Orbis, a commercial source. This check resulted in a very
good 997% overlap; the remaining 03% was manually traced to mismatches in
the data. We also applied our takeover Vadalog rules (Section 4) to the Italian
KG. We grouped companies by sector of economic activity (as identified by the
“ATECO” code, derived from the “NACEv2” European classification) selecting the
5 largest clusters. For each cluster, we ran our proactive criteria and identified the
potential takeovers that are avoidable with Golden Powers as well as the needed
countermeasures. We observed a maximum of 365 avoidable takeovers for a very
relevant economic sector. Results and execution times are in Figures 4(a-b).
Evaluating Scalability. Given the large scale of the KG and the sophisticated
reasoning tasks at hand, we need to verify that our technique scales nicely on
larger and more “complex” cases. A first reassuring (purely theoretical)
consideration is that all our rules can be syntactically formulated in terms of the
Vadalog core, Warded Datalog , a logic fragment where reasoning is PTIME in
data complexity [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]. This bodes well for the asymptotic behavior, but says
nothing on the absolute running times of the real cases. To assess the situation, we
ran the reasoning tasks for the five GP cases of Section 4 in a total of 4 test
scenarios, working on the real-world Italian KG and on 10 synthetic KGs, in
Figure 4(e-h). We also ran specific tasks for Company Control in 2 scenarios over
the real-world (not in the figure) and 9 synthetic KGs, in Figure 4(c-d). Each
run (311 in total) has been repeated 5 times averaging the execution times.
Datasets (KGs). For the real-world scenarios, we considered the Italian KG. For
the synthetic scenarios, we generated 12 synthetic scale-free graphs [
        <xref ref-type="bibr" rid="ref15 ref3">3,15</xref>
        ] (whose
details are in Figure 3) with an adaptation of the Barabási–Albert model [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] for
directed scale-free networks. The linking probability has been tuned to adjust
graph density and the shares have been generated by sampling from a Beta
distribution with parameters fitted from the real-world graph. Each company
has been assigned a role among trusted, attacker, target, neutral, sampling from
a multinomial distribution fitting the real-world case. Synthetic KGs are named
in the N{n}D{d} format, where = denotes the number of nodes (in millions) and
3 is the average non-zero out-degree. To cover specific scenarios, we generated an
additional series of N7D1U{u} graphs, where D denotes the number of companies
(in 100: multiples) having unallocated shares (for D = 1, the suffix U1 is omitted).
Discussion. Absolute times of Company Control are very satisfactory, e.g., with
292 secs for Real/N7D1 and 1195 secs in N21D1. A polynomial behaviour is
confirmed by the trend in Figure 4(c). The trend diverges for N28D1 as the reasoner
hits memory limits. Increasing density (Figure 4(d)) highlights the transition
from the average to the worst case for a baseline setting with fixed number
of nodes and shows its dependence on the out-degree. For higher densities the
system accumulates more and longer control chains, with higher elapsed times.
      </p>
      <p>In comparable graphs (e.g., N7D1 vs Real), all the GP scenarios are faster
than pure Company Control (Figure 4(e)). Proactive cases curb input
cardinal</p>
      <sec id="sec-5-1">
        <title>ATECO1</title>
      </sec>
      <sec id="sec-5-2">
        <title>ATECO2</title>
      </sec>
      <sec id="sec-5-3">
        <title>ATECO3</title>
      </sec>
      <sec id="sec-5-4">
        <title>ATECO4</title>
      </sec>
      <sec id="sec-5-5">
        <title>ATECO5</title>
      </sec>
      <sec id="sec-5-6">
        <title>Check</title>
      </sec>
      <sec id="sec-5-7">
        <title>Limit</title>
      </sec>
      <sec id="sec-5-8">
        <title>Protection</title>
      </sec>
      <sec id="sec-5-9">
        <title>Collusion</title>
      </sec>
      <sec id="sec-5-10">
        <title>Cautious</title>
      </sec>
      <sec id="sec-5-11">
        <title>Control</title>
      </sec>
      <sec id="sec-5-12">
        <title>Check</title>
      </sec>
      <sec id="sec-5-13">
        <title>Limit</title>
        <p>(a)</p>
      </sec>
      <sec id="sec-5-14">
        <title>ATECO1</title>
      </sec>
      <sec id="sec-5-15">
        <title>ATECO2</title>
      </sec>
      <sec id="sec-5-16">
        <title>ATECO3</title>
      </sec>
      <sec id="sec-5-17">
        <title>ATECO4</title>
      </sec>
      <sec id="sec-5-18">
        <title>ATECO5</title>
        <p>0 100 200 300 400</p>
      </sec>
      <sec id="sec-5-19">
        <title>Avoidable takeovers</title>
        <p>(e)
0 100 200 300</p>
        <p>Execution time (sec)
)c250
e
(s200
e
itm150
ion100
t
ceu 50
xE 0
(b)
(f )</p>
        <p>Protection
)c6000
e
s
(
iem4000
t
n
ito2000
u
c
e
x
E 0
1 1 1 1
7ND9ND11D 14D</p>
        <p>N N
)c1000
e
(s 800
e
itm600
ion 400
t
ceu 200
x
E 0
ity by filtering on the considered companies (+ and ) predicates); reactive cases
produce smaller output than Company Control: Although Limit and
Protection consider all partial controls, they concentrate on control of attackers resp.
trusted companies over targets. While Collusion artificially adds new Control
facts, it does not add edges and therefore simplifies into an attackers-to-target
constrained version of Company Control. Cautious is the more demanding case:
Reasoning generates at most j) [ # j companies and edges, depending on the
number of nodes having unassigned shares. In the worst case, this doubles the
graph size, so it does not affect problem complexity. In fact, Figure 4(f ) shows a
polynomial growth of the elapsed time of Cautious caused by the number of
companies having unassigned shares, which affects the other cases only marginally.</p>
        <p>Our cases exhibit good scalability with number of nodes (Figure 4(g)), with a
polynomial trend consistently less steep than pure Company Control. The trend
of Cautious is slightly steeper than the other cases, as a result of the addition
of new attackers (due to existential Rule 2 for the Cautious case in Section 4),
which amplify the growth in node count. Interestingly, our cases show good
(c)
1
D
1
2
N
(g)</p>
        <p>Collusion
)c1000
e
(s 800
e
itm600
ion 400
t
ceu 200
x</p>
        <p>E 0
1
D
8
2
N
)
sce400
(
e
itm300
n
ito200
u
c
xEe100</p>
      </sec>
      <sec id="sec-5-20">
        <title>Cautious</title>
        <p>(d)
1
D
7
N
2
D
7
N
3
D
7
N
(h)
4
D
7
N
scalability w.r.t. graph density (Figure 4(h)), and the time difference between
the cases keeps stable when nearing to the worst case. This is coherent as growth
in density does not over-activate the mentioned existential rule.
6</p>
      </sec>
    </sec>
    <sec id="sec-6">
      <title>Related Work</title>
      <p>
        The reasoning tasks we have presented exemplify how graph database
technology has insufficient expressive power for our goals (e.g., for the joint need for
recursion and value creation). Indeed, Regular Path Query languages [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ], at the
basis of common property graphs query approaches [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], lack support for full
recursion and ontological reasoning, leading to a proliferation of diverse cases
to handle, an unbearable effort in production applications. On the other hand,
Datalog with a mild form of negation and tractable existential quantification is
a good yardstick for the expressive power needed in takeover analysis.
      </p>
      <p>
        In graph processing, partial evaluation techniques [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ] are a related
procedural approach that has shown good results for reachability queries; also, specific
algorithmic solutions to compute company ownership have been proposed [
        <xref ref-type="bibr" rid="ref20">20</xref>
        ].
Yet, in our experience none of these approaches conveys at the same time
explainability, scalability, and adaptability as a Vadalog declarative solution does.
      </p>
      <p>
        Under the economic angle, many approaches study hostile takeovers at macro
level [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ], or concentrate on reactive techniques [
        <xref ref-type="bibr" rid="ref21">21</xref>
        ]. Relevant works try to
predict takeovers by matching company characteristics [
        <xref ref-type="bibr" rid="ref17">17</xref>
        ]. The corporate
economics community has been studying the related subproblem of company control
at various levels [
        <xref ref-type="bibr" rid="ref12 ref14 ref4">4,12,14</xref>
        ], privileging matrix-based formulation with
computational limitations and non-explainable answers.
      </p>
      <p>
        The AI and database communities have shown theoretical interest in
problems related to company graphs [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ], but no approaches have applied reasoning
or KGs to the hostile takeover phenomenon. We have recently adopted the
company control problem as a reference use case for novel KRR formalisms and
addressed it in the context of enterprise company KGs [
        <xref ref-type="bibr" rid="ref2 ref6">2,6</xref>
        ].
7
      </p>
    </sec>
    <sec id="sec-7">
      <title>Conclusion and Future Work</title>
      <p>Driven by the ongoing effort to prevent strategic companies from becoming the
target of hostile takeovers, in this work we recognize the power of reasoning on
KGs and contribute a set of foundational use cases and formalisations to detect
takeover attempts; we also suggest countermeasures and avoidance strategies in
a fully explainable fashion. To the best of our knowledge, this is the first use of
reasoning techniques in the takeover setting.</p>
      <p>We tested all proposed reasoning tasks in the Vadalog System with both
real-world and synthetic data. We focused on clarity, by showing only the key
rules governing each use case, while leaving out for brevity the large number of
auxiliary rules necessary for data extraction, cleaning, integration, etc.</p>
      <p>The formalisation we have presented in this work is at the basis of our future
work, which concerns the construction of a set of more sophisticated
reasoningbased indicators, meant to build automatically a fully explainable ranking of the
most vulnerable national companies.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Angles</surname>
            ,
            <given-names>R.:</given-names>
          </string-name>
          <article-title>The property graph database model</article-title>
          .
          <source>In: AMW</source>
          (
          <year>2018</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Atzeni</surname>
            ,
            <given-names>P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Bellomarini</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Iezzi</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sallinger</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Vlad</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Weaving enterprise knowledge graphs: The case of company ownership graphs</article-title>
          .
          <source>In: EDBT</source>
          . pp.
          <fpage>555</fpage>
          -
          <lpage>566</lpage>
          . OpenProceedings.org (
          <year>2020</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Barabasi</surname>
            ,
            <given-names>A.L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Albert</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          :
          <article-title>Emergence of scaling in random networks</article-title>
          .
          <source>Science</source>
          (New York, N.Y.)
          <volume>286</volume>
          ,
          <fpage>509</fpage>
          -
          <lpage>12</lpage>
          (11
          <year>1999</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Barca</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Becht</surname>
            ,
            <given-names>M.:</given-names>
          </string-name>
          <article-title>The control of corporate europe</article-title>
          . Oxford University Press, European Corporate Governance Network (
          <year>2001</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Bellomarini</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Benedetti</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gentili</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Laurendi</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Magnanimi</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Muci</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sallinger</surname>
          </string-name>
          , E.:
          <article-title>COVID-19 and company knowledge graphs: Assessing golden powers and economic impact of selective lockdown via AI reasoning</article-title>
          . CoRR abs/
          <year>2004</year>
          .10119 (
          <year>2020</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Bellomarini</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gottlob</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pieris</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sallinger</surname>
          </string-name>
          , E.:
          <article-title>Swift logic for big data and knowledge graphs</article-title>
          .
          <source>In: IJCAI</source>
          (
          <year>2017</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Bellomarini</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Sallinger</surname>
            ,
            <given-names>E.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gottlob</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          :
          <article-title>The vadalog system: Datalog-based reasoning for knowledge graphs</article-title>
          .
          <source>PVLDB</source>
          <volume>11</volume>
          (
          <issue>9</issue>
          ),
          <fpage>975</fpage>
          -
          <lpage>987</lpage>
          (
          <year>2018</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Bonifati</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Fletcher</surname>
            ,
            <given-names>G.H.L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Voigt</surname>
            ,
            <given-names>H.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Yakovets</surname>
            ,
            <given-names>N.: Querying</given-names>
          </string-name>
          <string-name>
            <surname>Graphs</surname>
          </string-name>
          .
          <source>Synthesis Lectures on Data Management</source>
          , Morgan &amp; Claypool (
          <year>2018</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Calì</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gottlob</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Lukasiewicz</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pieris</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          : Datalog+/
          <article-title>-: A family of languages for ontology querying</article-title>
          .
          <source>In: Datalog Reloaded</source>
          (
          <year>2011</year>
          ), http://dx.doi.org/10.1007/ 978-3-
          <fpage>642</fpage>
          -24206-9_
          <fpage>20</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Ceri</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Gottlob</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tanca</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          :
          <article-title>Logic programming</article-title>
          and databases. Springer (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Fan</surname>
            ,
            <given-names>W.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wang</surname>
            ,
            <given-names>X.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Wu</surname>
            ,
            <given-names>Y.</given-names>
          </string-name>
          :
          <article-title>Performance guarantees for distributed reachability queries</article-title>
          .
          <source>Proceedings of the VLDB Endowment</source>
          <volume>5</volume>
          (
          <issue>11</issue>
          ),
          <fpage>1304</fpage>
          -
          <lpage>1316</lpage>
          (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Glattfelder</surname>
            ,
            <given-names>J.B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Battiston</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          :
          <article-title>Backbone of complex networks of corporations: The flow of control</article-title>
          .
          <source>Physical Review E</source>
          <volume>80</volume>
          (
          <issue>3</issue>
          ),
          <volume>036104</volume>
          (
          <year>2009</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          13.
          <string-name>
            <surname>Gottlob</surname>
            ,
            <given-names>G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Lukasiewicz</surname>
            ,
            <given-names>T.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Pieris</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          : Datalog+/-:
          <article-title>Questions and answers</article-title>
          .
          <source>In: KR</source>
          (
          <year>2014</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          14.
          <string-name>
            <surname>Granovetter</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Coase revisited: Business groups in the modern economy</article-title>
          .
          <source>Industrial and corporate change 4</source>
          (
          <issue>1</issue>
          ),
          <fpage>93</fpage>
          -
          <lpage>130</lpage>
          (
          <year>1995</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          15.
          <string-name>
            <surname>Hidalgo</surname>
            ,
            <given-names>C.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Barabási</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          :
          <article-title>Scale-free networks</article-title>
          .
          <source>Scholarpedia</source>
          <volume>3</volume>
          (
          <issue>1</issue>
          ),
          <volume>1716</volume>
          (
          <year>2008</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          16.
          <string-name>
            <surname>Kinnear</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Shan</surname>
            ,
            <given-names>W.:</given-names>
          </string-name>
          <article-title>The Legal Protection of Foreign Investment: A Comparative Study (with a Foreword by Meg Kinnear, Secretary-General of the ICSID)</article-title>
          .
          <source>Bloomsbury Publishing</source>
          (
          <year>2012</year>
          ), https://books.google.it/books?id= RyvcBAAAQBAJ
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          17.
          <string-name>
            <surname>Powell</surname>
          </string-name>
          , R.:
          <article-title>Takeover prediction models and portfolio strategies: A multinomial approach</article-title>
          .
          <source>Multinational Finance Journal</source>
          <volume>8</volume>
          (
          <issue>1</issue>
          /2),
          <fpage>35</fpage>
          -
          <lpage>72</lpage>
          (
          <year>2004</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          18.
          <string-name>
            <surname>Puziak</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Martyniuk</surname>
            ,
            <given-names>M.</given-names>
          </string-name>
          :
          <article-title>Defensive strategies against hostile takeovers</article-title>
          .
          <source>In: Journal of International Studies</source>
          (
          <year>2012</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          19. Reuters:
          <article-title>Italy to defend strategic companies from foreign takeovers</article-title>
          . https://reut. rs/3g84ReL (
          <year>2020</year>
          ), [Online; accessed 20-May-2020]
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          20.
          <string-name>
            <surname>Romei</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Ruggieri</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Turini</surname>
            ,
            <given-names>F.</given-names>
          </string-name>
          :
          <article-title>The layered structure of company share networks</article-title>
          .
          <source>In: 2015 IEEE International Conference on Data Science and Advanced Analytics (DSAA)</source>
          . pp.
          <fpage>1</fpage>
          -
          <lpage>10</lpage>
          . IEEE (
          <year>2015</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          21.
          <string-name>
            <surname>Schoenberg</surname>
            ,
            <given-names>R.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Thornton</surname>
            ,
            <given-names>D.</given-names>
          </string-name>
          :
          <article-title>The Impact of Bid Defences in Hostile Acquisitions</article-title>
          .
          <source>European Management Journal</source>
          <volume>24</volume>
          (
          <issue>2-3</issue>
          ),
          <fpage>142</fpage>
          -
          <lpage>150</lpage>
          (
          <year>2006</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>