<!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>Towards a Scalable Architecture for Legal Ontologies Integrated into Digital Twins of Administrative Law</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Florian Schnitzhofer</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Christoph G. Schuetz</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Institute of Business Informatics - Data &amp; Knowledge Engineering, Johannes Kepler University Linz</institution>
          ,
          <addr-line>Altenberger Str. 69, 4040 Linz</addr-line>
          ,
          <country country="AT">Austria</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Administrative-law provisions are still published almost exclusively in natural language, forcing every stakeholder to translate identical rules into bespoke code bases-a practice that invites inconsistency, hampers transparency, and inflates maintenance costs. Recent work on Digital Twins for Administrative Law (DTAL)[ 1] suggests that legislation be issued together with machine-readable ontologies and executable logic, yet guidance on how to architect such systems remains scarce. In this work we propose a layered reference architecture that separates (i) the natural-language statute, (ii) a core ontology expressed in OWL, (iii) a configuration layer for mutable policy parameters, and (iv) an executable-rule layer exposed through a RESTful and MCP façade. Grounded in design science research, we implemented a proof-of-concept twin of the Upper-Austrian tourism-levy statute and qualitatively evaluate the twin with legal, software, and public-administration experts. Early results[2] suggest that ontology-driven twins can reduce duplicate implementations, streamline updates, and enhance legal certainty, thereby strengthening the Rule of Law in automated decision-making.</p>
      </abstract>
      <kwd-group>
        <kwd>eol&gt;Legal Ontologies</kwd>
        <kwd>Semantic Interoperability</kwd>
        <kwd>Automated Decision-Making</kwd>
        <kwd>Digital Twins</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>
        Administrative law forms the legal basis for government activities and public services such as taxation,
welfare, and licensing. Yet, administrative law is disseminated almost entirely in natural language.
Each public or private actor must, therefore, interpret and encode identical provisions into separate
systems, leading to redundancy, opacity, and divergent outcomes [
        <xref ref-type="bibr" rid="ref3 ref4">3, 4</xref>
        ]. Frequent amendments amplify
the problem: every minor change in tax rates or thresholds forces cascades of software patches across
heterogeneous platforms.
      </p>
      <p>
        From a rule-of-law perspective the stakes are high. Inconsistent software implementations can
jeopardize equality before the law, frustrate judicial review, and erode public trust [
        <xref ref-type="bibr" rid="ref5 ref6">5, 6</xref>
        ]. Traditional
development pipelines, where jurists paraphrase legislation, engineers translate prose into code, and
jurists then audit outputs, must be repeated for every deployment [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. Digital-twin engineering, by
contrast, promises a canonical, executable representation of the statute that synchronizes with real-world
data in (near) real time [
        <xref ref-type="bibr" rid="ref7 ref8">7, 8</xref>
        ].
      </p>
      <p>This paper refines the following research question:</p>
      <p>Which software-architecture choices best support hierarchical decision-support systems
grounded in ontology-based digital representations of administrative law?</p>
      <p>Focusing on the Upper-Austrian tourism levy, we argue that a layered Digital Twin for Administrative
Law (DTAL) can reduce contradictory interpretations by diferent stakeholders, enable rapid updates,
and serve as a building block for a future system of systems covering entire legislative corpora.</p>
    </sec>
    <sec id="sec-2">
      <title>2. State of the Art</title>
      <p>
        The concept of digital twin (DT) has progressed from manufacturing origins, where they couple virtual
models with physical artefacts for real-time analytics, to indispensable enablers of smart factories,
aerospace maintenance, and city infrastructures [
        <xref ref-type="bibr" rid="ref7 ref8 ref9">7, 8, 9, 10</xref>
        ]. A mature DT stack ofers bi-directional data
lfow, life cycle traceability, and hierarchical scaling from unit to system-of-systems levels [
        <xref ref-type="bibr" rid="ref10">11</xref>
        ]. In parallel,
ontology engineering (OE) provides formal, machine-readable conceptualizations; upper-level ontologies
such as DOLCE and UFO standardize generic categories, while domain-specific legal ontologies—
including FOLaw, LRI-Core, and LKIF-Core—capture statutes, roles, and normative relations [
        <xref ref-type="bibr" rid="ref11 ref12 ref13 ref14 ref15">12, 13,
14, 15, 16</xref>
        ]. Systematic reviews report a sharp rise in legal-ontology output over the last three decades,
propelled by needs for semantic retrieval, compliance checking, and system interoperability [
        <xref ref-type="bibr" rid="ref16">17</xref>
        ].
      </p>
      <p>
        Research on the intersection of artificial intelligence and law first framed legal reasoning as expert
rules or logic programs [
        <xref ref-type="bibr" rid="ref17">18</xref>
        ], then as argumentation over precedent cases [
        <xref ref-type="bibr" rid="ref18">19</xref>
        ]. Contemporary strands
aim to publish legislation in executable form: Rule-markup standards (LegalRuleML), domain-specific
languages, and smart-contract templates embed deterministic logic alongside traditional prose [
        <xref ref-type="bibr" rid="ref19 ref20 ref21">20, 21,
22</xref>
        ]. Yet, smart-contract tooling, optimized for private bargains, struggles with public-law nuances,
while data-driven language models pose rule-of-law concerns by producing probabilistic rather than
authoritative outcomes [
        <xref ref-type="bibr" rid="ref3 ref5">5, 3</xref>
        ].
      </p>
      <p>
        Schartum’s model, where jurists verbalize rules, technologists translate them, and both iterate
for validation, still forces every stakeholder to re-implement identical statutes, amplifying cost and
inconsistency [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. A real world example of such duplication can be exemplified on Austria’s tourism-levy
statute, with tens of thousands of enterprises encoding the same calculation logic independently.
      </p>
    </sec>
    <sec id="sec-3">
      <title>3. Towards a Layered DTAL Architecture</title>
      <p>
        Drawing on methods used in industry for digital twins [
        <xref ref-type="bibr" rid="ref22">23</xref>
        ] and on blockchain-based smart contracts [
        <xref ref-type="bibr" rid="ref23 ref24">24,
25</xref>
        ], our research posits a layered structure for a digital legal twin with the following four layers.
1. Statutory Text: the natural-language law as traditionally published.
2. Ontology: a formal structure encapsulating the law’s semantics.
3. Configuration Model: adjustable parameters which would include the typical axioms of the
ontology (e.g., tax rates, exemption thresholds).
4. Executable Logic: the computational rules for enforcement (e.g., formulae, conditionals) using
parameters of the Configuration Model.
      </p>
      <p>
        Such architecture is inspired by the separation-of-concerns principle central to smart-contract
methodologies, which encourage modular design to allow incremental updates and transparent governance [
        <xref ref-type="bibr" rid="ref21">22</xref>
        ].
While certain amendments to legislation only change numeric thresholds or percentage rates, others
require foundational revisions to interpretive definitions. By distinguishing between ontological
structures and configuration parameters, this framework aims to reflect legislative updates systematically,
facilitating improved legal compliance and reduced duplication of coding eforts.
      </p>
      <sec id="sec-3-1">
        <title>3.1. Selecting a Structure of the Ontology</title>
        <p>
          Existing legal ontologies such as FOLaw [
          <xref ref-type="bibr" rid="ref13">14</xref>
          ], LRI-Core [
          <xref ref-type="bibr" rid="ref14">15</xref>
          ], and LKIF-Core [
          <xref ref-type="bibr" rid="ref15">16</xref>
          ] are primarily designed
to support the way jurists and their expert systems analyze, categorize, and interpret laws. Another
standard that directly targets the expression of normative rules is LegalRuleML, an OASIS specification
that represents the legal logical structure of statutes, regulations, and case law [
          <xref ref-type="bibr" rid="ref19">20</xref>
          ]. While these
ontologies are well-suited for legal reasoning and knowledge representation, they are not optimized for
ensuring rule of law in administrative law through automated decision-making.
        </p>
        <p>A fundamental distinction of the DTAL approach for administrative law is that the ontology does
not merely serve as a taxonomic classification of legal concepts but rather as a dynamic, multi -layered
Application</p>
        <p>Client
iOS
Android
Windows
Desktop
eGOVERNMENT
BUSINESS
SOFTWARE
(Agentic) AI / LLM
Custom eGOV
Application</p>
        <p>Business
Software (e.g. ERP)</p>
        <p>Digital Execution System (DES)</p>
        <p>MCP
wrapping</p>
        <p>REST
sending
attributes
receiving
results</p>
        <p>REST</p>
        <p>DTAl 1
DTAl n</p>
        <p>TEXT (Natural Language TextinMarkdown)
ONTOLOGY (KnowledgeGraphinOWL/RDF)
MODEL (OWLinRDFwithAxioms&amp; Intf.Def.)
LOGIC (PythonusingSPARQL)</p>
        <p>
          …
TEXT (Natural Language TextinMarkdown)
ONTOLOGY (KnowledgeGraphinOWL/RDF)
MODEL (OWLinRDFwithAxioms&amp; Intf.Def.)
LOGIC (PythonusingSPARQL)
semantic bridge connecting (1) legislative text, (2) real-world administrative data, and (3) the
computational logic required for implementation. To guide further development, a literature review based on
the methodology of Legal Ontologies over Time: A Systematic Mapping Study [
          <xref ref-type="bibr" rid="ref16">17</xref>
          ] for the years 2017 to
2025 is currently being conducted. This review aims to evaluate the structure, scope, and reusability of
existing legal ontologies and to assess their potential integration into the DTAL framework.
        </p>
      </sec>
      <sec id="sec-3-2">
        <title>3.2. Use Case: Upper-Austrian Tourism Levy</title>
        <p>To illustrate the viability of this multi-layered framework, a tourism levy imposed in an Austrian
province serves as a concrete case study. The Oö. Tourismusgesetz 2018 levies an annual contribution
on enterprises whose turnover derives from tourism. While assessment is centralised, roughly 29 000
businesses must embed the calculation in their enterprise systems or resort to manual spreadsheets.</p>
        <p>The following mathematical formulation captures the legal and economic logic of the contribution
scheme. Let  be taxable turnover (two-year lag), , the rate for sector–municipality class pair, ,
the minimum contribution, and  = 4 280 000 the maximum base. The payable amount  is then
given by the following equation.</p>
        <p>︁(
 = max min(︀ , · ,  )︀ , , .</p>
        <p>︁)
and configuration details are published in the configuration model.
(1)</p>
        <p>The source code of the use case is published open source on Github: https://github.com/
FlorianSchnitzhofer/digital-twins-administrative-law-tourism-levy</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>4. Evaluation Plan</title>
      <p>Three alternative prototypes in Python and Prolog as well as an XML-based prototpye will be
implemented. A focus-group workshop ( = 5–10) with Austrian e-government oficials, legal-tech vendors,
and senior jurists will combine live walkthroughs, scenario testing, and a Delphi questionnaire. Data
sources include video transcripts and observation checklists. Findings will iteratively refine architectural
guidelines and produce a practitioner checklist for future DTAL projects.</p>
    </sec>
    <sec id="sec-5">
      <title>5. Conclusion</title>
      <p>By coupling natural-language statutes with authoritative ontologies and executable logic, DTAL ofers
a pragmatic path toward consistent, transparent, and cost-eficient administrative workflows. The
Upper-Austrian tourism-levy prototype demonstrates technical feasibility and sets the stage for broader
system-of-systems integration. Future work will conduct empirical evaluations, extend the ontology, and
explore formal certification pathways to embed DTAL artifacts into legislative promulgation processes.</p>
    </sec>
    <sec id="sec-6">
      <title>Declaration on Generative AI</title>
      <p>Generative AI tools were used solely to enhance wording and translate text.
[9] E. Glaessgen, D. Stargel, The digital twin paradigm for future nasa and u.s. air force vehicles, 2012.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>F.</given-names>
            <surname>Schnitzhofer</surname>
          </string-name>
          ,
          <article-title>The self-driving state: Automated decision-making in modern governance</article-title>
          ,
          <source>in: Proceedings of the International Symposium for Law and IT</source>
          <year>2025</year>
          , Vienna, Austria,
          <year>2025</year>
          .
          <fpage>19</fpage>
          -
          <issue>22</issue>
          <year>February 2025</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>F.</given-names>
            <surname>Schnitzhofer</surname>
          </string-name>
          ,
          <article-title>Integrating legal ontologies and digital twin technology: Enhancing rule-oflaw-compliant automated decision-making in administrative law</article-title>
          ,
          <source>in: Proceedings of the 22nd Extended Semantic Web Conference (ESWC</source>
          <year>2025</year>
          ),
          <source>PhD Symposium</source>
          , Portorož, Slovenia,
          <year>2025</year>
          . https://2025.eswc-conferences.
          <source>org/phd-symposium-program/ (Accessed: 2 June</source>
          <year>2025</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>D.</given-names>
            <surname>Citron</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Pasquale</surname>
          </string-name>
          ,
          <article-title>The scored society: Due process for automated predictions</article-title>
          ,
          <source>Washington Law Review</source>
          <volume>89</volume>
          (
          <year>2014</year>
          )
          <fpage>1</fpage>
          -
          <lpage>33</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>D. W.</given-names>
            <surname>Schartum</surname>
          </string-name>
          , From Legal Sources to Programming Code:
          <article-title>Automatic Individual Decisions in Public Administration and Computers under the Rule of Law</article-title>
          , Cambridge Law Handbooks, Cambridge University Press,
          <year>2020</year>
          , p.
          <fpage>301</fpage>
          -
          <lpage>336</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>J.</given-names>
            <surname>Raz</surname>
          </string-name>
          ,
          <article-title>The rule of law and its virtue, in: The authority of law: Essays on law and morality</article-title>
          , Oxford University Press,
          <year>1979</year>
          . URL: https://doi.org/10.1093/acprof: oso/9780198253457.003.0011. doi:
          <volume>10</volume>
          .1093/acprof:oso/9780198253457.003.0011. arXiv:https://academic.oup.com/book/0/chapter/158984424/chapter-pdf/40055041/acprof-
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>H.</given-names>
            <surname>Kelsen</surname>
          </string-name>
          ,
          <source>General Theory of Law and State</source>
          , Harvard University Press, Cambridge, MA,
          <year>1945</year>
          . URL: https://api.pageplace.de/preview/DT0400.9781351517997_A30394699/preview-9781351517997_
          <fpage>A30394699</fpage>
          .pdf.
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>M.</given-names>
            <surname>Grieves</surname>
          </string-name>
          ,
          <article-title>Digital twin: Manufacturing excellence through virtual factory replication (</article-title>
          <year>2015</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>F.</given-names>
            <surname>Tao</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Q.</given-names>
            <surname>Qi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Wang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Nee</surname>
          </string-name>
          ,
          <article-title>Digital twins and cyber-physical systems toward smart manufacturing and industry 4.0: Correlation and comparison</article-title>
          ,
          <source>Engineering</source>
          <volume>5</volume>
          (
          <year>2019</year>
          )
          <fpage>653</fpage>
          -
          <lpage>661</lpage>
          . URL: https://www.sciencedirect.com/science/article/pii/S209580991830612X. doi:https://doi.org/ 10.1016/j.eng.
          <year>2019</year>
          .
          <volume>01</volume>
          .014. doi:
          <volume>10</volume>
          .2514/6.2012-
          <fpage>1818</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>Y.</given-names>
            <surname>Lu</surname>
          </string-name>
          ,
          <string-name>
            <given-names>X.</given-names>
            <surname>Xu</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Wang</surname>
          </string-name>
          ,
          <article-title>Smart manufacturing process and system automation - a critical review of the standards and envisioned scenarios</article-title>
          ,
          <source>Journal of Manufacturing Systems</source>
          <volume>56</volume>
          (
          <year>2020</year>
          )
          <fpage>312</fpage>
          -
          <lpage>325</lpage>
          . doi:
          <volume>10</volume>
          .1016/j.jmsy.
          <year>2020</year>
          .
          <volume>06</volume>
          .010.
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>W.</given-names>
            <surname>Kritzinger</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Karner</surname>
          </string-name>
          , G. Traar,
          <string-name>
            <given-names>J.</given-names>
            <surname>Henjes</surname>
          </string-name>
          , W. Sihn,
          <article-title>Digital twin in manufacturing: A categorical literature review and classification</article-title>
          ,
          <source>IFAC-PapersOnLine</source>
          <volume>51</volume>
          (
          <year>2018</year>
          )
          <fpage>1016</fpage>
          -
          <lpage>1022</lpage>
          . URL: https://www.sciencedirect.com/science/article/pii/S2405896318316021. doi:https://doi.org/ 10.1016/j.ifacol.
          <year>2018</year>
          .
          <volume>08</volume>
          .474,
          <source>16th IFAC Symposium on Information Control Problems in Manufacturing INCOM</source>
          <year>2018</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>C.</given-names>
            <surname>Masolo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Borgo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Gangemi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Guarino</surname>
          </string-name>
          ,
          <string-name>
            <surname>A</surname>
          </string-name>
          . Oltramari,
          <source>WonderWeb Deliverable D18 Ontology Library (final)</source>
          ,
          <source>Technical Report, IST Project</source>
          <year>2001</year>
          -33052 WonderWeb:
          <article-title>Ontology Infrastructure for the Semantic Web</article-title>
          ,
          <year>2003</year>
          . URL: http://www.loa.istc.cnr.it/old/DOLCE.html.
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>G.</given-names>
            <surname>Guizzardi</surname>
          </string-name>
          ,
          <article-title>Ontological Foundations for Structural Conceptual Models</article-title>
          ,
          <source>Ph.D. thesis</source>
          ,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>A.</given-names>
            <surname>Valente</surname>
          </string-name>
          ,
          <article-title>Legal knowledge engineering: A Modelling Approach, Frontiers in artificial intelligence and applications</article-title>
          , Sage Publications,
          <year>1995</year>
          . URL: https://cir.nii.ac.jp/crid/1130000797194456576.
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>J.</given-names>
            <surname>Breuker</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Valente</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Winkels</surname>
          </string-name>
          ,
          <article-title>Legal ontologies: A functional view (</article-title>
          <year>1998</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [16]
          <string-name>
            <given-names>R.</given-names>
            <surname>Hoekstra</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Breuker</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M. Di</given-names>
            <surname>Bello</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Boer</surname>
          </string-name>
          ,
          <source>The lkif core ontology of basic legal concepts</source>
          ,
          <source>2007</source>
          , pp.
          <fpage>43</fpage>
          -
          <lpage>63</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [17]
          <string-name>
            <surname>C. M. de Oliveira Rodrigues</surname>
            ,
            <given-names>F. L.</given-names>
          </string-name>
          <string-name>
            <surname>G. de Freitas</surname>
            ,
            <given-names>E. F. S.</given-names>
          </string-name>
          <string-name>
            <surname>Barreiros</surname>
          </string-name>
          , R. R. de Azevedo, A. de Almeida Filho,
          <article-title>Legal ontologies over time: A systematic mapping study</article-title>
          ,
          <source>Expert Systems with Applications</source>
          <volume>130</volume>
          (
          <year>2019</year>
          )
          <fpage>12</fpage>
          -
          <lpage>30</lpage>
          . URL: https://www.sciencedirect.com/science/article/pii/ S0957417419302398. doi:https://doi.org/10.1016/j.eswa.
          <year>2019</year>
          .
          <volume>04</volume>
          .009.
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          [18]
          <string-name>
            <given-names>R.</given-names>
            <surname>Kowalski</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Sergot</surname>
          </string-name>
          ,
          <article-title>A logic-based calculus of events, New Generation Computing 4 (</article-title>
          <year>1985</year>
          )
          <fpage>67</fpage>
          -
          <lpage>95</lpage>
          . doi:
          <volume>10</volume>
          .1007/BF03037383.
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          [19]
          <string-name>
            <given-names>T.</given-names>
            <surname>Bench-Capon</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            <surname>Sartor</surname>
          </string-name>
          ,
          <article-title>A model of legal reasoning with cases incorporating theories and values</article-title>
          ,
          <source>Artificial Intelligence</source>
          <volume>150</volume>
          (
          <year>2003</year>
          )
          <fpage>97</fpage>
          -
          <lpage>143</lpage>
          . URL: https://www.sciencedirect.com/science/article/pii/ S0004370203001085. doi:https://doi.org/10.1016/S0004-
          <volume>3702</volume>
          (
          <issue>03</issue>
          )
          <fpage>00108</fpage>
          -
          <lpage>5</lpage>
          , aI and Law.
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          [20]
          <string-name>
            <given-names>M.</given-names>
            <surname>Palmirani</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            <surname>Governatori</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Rotolo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Tabet</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Boley</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Paschke</surname>
          </string-name>
          , Legalruleml:
          <article-title>Xml-based rules and norms</article-title>
          , in: F. Olken,
          <string-name>
            <given-names>M.</given-names>
            <surname>Palmirani</surname>
          </string-name>
          , D. Sottara (Eds.),
          <source>Rule-Based Modeling and Computing on the Semantic Web</source>
          , Springer Berlin Heidelberg, Berlin, Heidelberg,
          <year>2011</year>
          , pp.
          <fpage>298</fpage>
          -
          <lpage>312</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          [21]
          <string-name>
            <given-names>D.</given-names>
            <surname>Merigoux</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Chataing</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Protzenko</surname>
          </string-name>
          ,
          <article-title>Catala: a programming language for the law</article-title>
          ,
          <source>Proc. ACM Program. Lang</source>
          .
          <volume>5</volume>
          (
          <year>2021</year>
          ). URL: https://doi.org/10.1145/3473582. doi:
          <volume>10</volume>
          .1145/3473582.
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          [22]
          <string-name>
            <given-names>J.</given-names>
            <surname>Hazard</surname>
          </string-name>
          ,
          <string-name>
            <given-names>H.</given-names>
            <surname>Haapio</surname>
          </string-name>
          ,
          <article-title>Wise contracts: smart contracts that work for people and machines, in: Trends and communities of legal informatics</article-title>
          .
          <source>Proceedings of the 20th international legal informatics symposium IRIS</source>
          ,
          <year>2017</year>
          , pp.
          <fpage>425</fpage>
          -
          <lpage>432</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          [23]
          <string-name>
            <given-names>S.</given-names>
            <surname>Boschert</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Rosen</surname>
          </string-name>
          ,
          <source>Digital Twin-The Simulation Aspect</source>
          ,
          <year>2016</year>
          , pp.
          <fpage>59</fpage>
          -
          <lpage>74</lpage>
          . doi:
          <volume>10</volume>
          .1007/ 978-3-
          <fpage>319</fpage>
          -32156-
          <issue>1</issue>
          _
          <fpage>5</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref23">
        <mixed-citation>
          [24]
          <string-name>
            <given-names>T. A.</given-names>
            <surname>Project</surname>
          </string-name>
          ,
          <source>Accord project concepts</source>
          , https://docs.accordproject.org/docs/accordproject-concepts.
          <source>html</source>
          ,
          <source>2024. Accessed on: 30. Oktober</source>
          <year>2024</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref24">
        <mixed-citation>
          [25]
          <string-name>
            <surname>J. G.</surname>
          </string-name>
          <article-title>Allen, 23Wrapped and Stacked: 'Smart Contracts' and the Interaction of Natural and Formal Language</article-title>
          , in: Smart Legal Contracts:
          <source>Computable Law in Theory and Practice</source>
          , Oxford University Press,
          <year>2022</year>
          . URL: https://doi.org/10. 1093/oso/9780192858467.003.0002. doi:
          <volume>10</volume>
          .1093/oso/9780192858467.003.0002. arXiv:https://academic.oup.com/book/0/chapter/362294132/chapter-pdf/44144454/oso-978
        </mixed-citation>
      </ref>
      <ref id="ref25">
        <mixed-citation>
          [26]
          <article-title>W3C, OWL 2 Web Ontology Language: Structural Specification</article-title>
          and
          <string-name>
            <surname>Functional-Style</surname>
            <given-names>Syntax</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Recommendation</surname>
            <given-names>TR</given-names>
          </string-name>
          /owl2-syntax,
          <source>World Wide Web Consortium (W3C)</source>
          ,
          <year>2009</year>
          . URL: https://www. w3.org/TR/owl2-syntax/,
          <source>accessed on: 30. Oktober</source>
          <year>2024</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref26">
        <mixed-citation>
          [27]
          <string-name>
            <given-names>T.</given-names>
            <surname>Francart</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Dann</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Pappalardo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Malagon</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Pellegrino</surname>
          </string-name>
          ,
          <article-title>The european legislation identifier, in: Knowledge of the Law in the Big Data Age</article-title>
          , IOS Press,
          <year>2019</year>
          , pp.
          <fpage>137</fpage>
          -
          <lpage>148</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref27">
        <mixed-citation>
          [28]
          <string-name>
            <given-names>S. O. D.</given-names>
            <surname>Survey</surname>
          </string-name>
          , Most popular technologies, https://survey.stackoverflow.co/2024/technology,
          <year>2024</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>