<!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>Leveraging LLMs in text-based ontology-driven conceptual modeling</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Matheus L. Coutinho</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Ontology &amp; Conceptual Modeling Research Group (NEMO), Federal University of Espírito Santo (UFES)</institution>
          ,
          <country country="BR">Brazil</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>This research introduces the use of a Large Language Models (LLM) assistant into the modeling tool proposed for Tonto, a text-based language for ontologies based on the Unified Foundational Ontology (UFO). By integrating Tonto with LLMs, we aim to improve conceptual modeling by employing LLMs in assisting tasks such as summarizing models, inferring meta properties of classes and the ontological nature of their instances, and creating elements based on context. This project investigates how this integration can improve modeling eficiency, accuracy, and the overall user experience with an LLM-powered assistant.</p>
      </abstract>
      <kwd-group>
        <kwd>eol&gt;Textual Language</kwd>
        <kwd>Ontology Development</kwd>
        <kwd>UFO</kwd>
        <kwd>OntoUML</kwd>
        <kwd>AI</kwd>
        <kwd>Large Language Models (LLM)</kwd>
        <kwd>Machine learning (ML)</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>
        Conceptual modeling is fundamental within Computer Science, impacting areas like AI and software
design. It ofers a way to formally represent real-world ideas, essential for building efective information
systems. Strong theoretical groundwork and tools are key to ensuring model quality and supporting
analysis. Recently, foundational ontologies have become the basis for conceptual modeling languages,
providing a structured framework for representing knowledge. The Unified Foundational Ontology
(UFO) [
        <xref ref-type="bibr" rid="ref1 ref2">1, 2</xref>
        ] is a prime example, drawing from linguistics and philosophy to ofer a robust foundation
for ontology-driven conceptual modeling.
      </p>
      <p>
        UFO was employed in the design of the OntoUML profile for UML class diagrams [
        <xref ref-type="bibr" rid="ref1 ref3">1, 3</xref>
        ] which
introduces various stereotypes that correspond to the concepts defined in UFO as well as grammatical
formal constraints that reflect UFO’s axiomatization. A key goal for the language was to support
the definition of high-quality well-founded reference ontologies. Over time, OntoUML has been
accompanied by advanced tools focused on: (i) editing and syntactic verification of models to conform
with UFO’s axioms [
        <xref ref-type="bibr" rid="ref2 ref4">2, 4</xref>
        ]; (ii) model simulation, respecting the modal aspects of UFO [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]; (iii) automatic
generation of database schemes guided by UFO meta properties [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]; (iv) detection of anti-patterns [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ],
among others.
      </p>
      <p>
        Despite the various benefits of the language, it relies on a diagrammatic notation, which imposes
certain burdens for managing large models and coping with version management (among other tasks).
The utility of representing ontologies through a textual syntax has led to the creation of tools such as
Turtle [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ] and XML [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ] serializations of OWL [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ] ontologies. Other text-based conceptual modeling
languages with similar purposes were created, e.g., OML [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ], Alloy [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ], among others. Textual formats
enable easier manipulation in editors and tools and facilitate the integration of ontologies within
software systems.
      </p>
      <p>
        LLMs have been proving to have good results when dealing with natural language tasks, and even
formal language tasks. A number of works are using Large Language Models to enhance modeling, for
example GPT4 with its code generating capabilities [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ], detection of mistakes in domain models [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ],
automating domain modeling with LLMs [15], among others [16, 17, 18, 19].
      </p>
    </sec>
    <sec id="sec-2">
      <title>2. Proposed work</title>
      <p>This work is based on the language for well-founded ontologies named Tonto (Textual Ontologies)1 and
its set of tools in order to enable conceptual modeling based on Ontological foundations with UFO and
OntoUML. The set of tools include a Command Line Interface (CLI)2, a Visual Studio Code Extension3,
and a Package Manager to allow the modularization of models. Tonto syntax is created to be more
concise and easier to read than OWL serializations, allowing fast understanding of concepts in a model
and to better verify changes in version control tools. It also provides semantically-motivated syntactic
verification of models to ensure ontological consistency.</p>
      <p>Unlike OntoUML and Tonto, other existing textual modeling languages and the mentioned modeling
approaches using LLMs lack the systematic grounding in a foundational ontology, limiting the benefits
achievable from the rigorous distinctions and principles such a framework provides.
Objectives. Tonto, as a textual language, has the potential for integration with LLM-based tools.
Recent research highlights the remarkable zero-shot and few-shot capabilities of Large Language Models
(LLMs), such as GPT-4 [20], in diverse Natural Language Processing (NLP) tasks. This demonstrates
their potential as versatile tools for addressing NLP challenges [21].</p>
      <p>Three key objectives are proposed: (i) Develop an integration Framework, creating a robust interface
between Tonto and advanced LLMs (e.g., GPT [20]), which will enable bidirectional communication and
processing of modeling language and natural language data, making it possible to insert and retrieve
information from a model specified in Tonto with natural language and vice-versa; (ii) Explore the
potential of LLMs to provide assistance in the following areas: Summarizing models, inference of
stereotypes (using UFO theory) [22], and the creation of new elements for the model [15] for
contextaware guidance; (iii) Assess the impact of LLM-powered features on modeling eficiency, accuracy, and
user experience. Iterate on the integration framework for optimization.</p>
      <p>Overall, the combination of UFO as a foundational ontology and LLMs have the potential to make
conceptual modeling more eficient, accurate and with better UX.</p>
    </sec>
    <sec id="sec-3">
      <title>3. Approach</title>
      <p>The project will adopt a mixed-methods approach, combining both qualitative and quantitative research
techniques. The first step is prototyping and experimenting, where the development of LLM-enhanced
Tonto prototypes would be developed.</p>
      <p>Prompt Engineering. According to [23], diferent techniques could be used with LLM in the prompt
design to increase the quality of the results. One basic way is to describe the task and hope the LLM
already knows how to do it, named zero-shot learning, however this is not always reliable. A better
method is to provide a few examples of what you’re looking for, named few-shot learning, helping the
LLM learn the pattern. For complex tasks, you can even show the LLM step-by-step how to reach the
answer, making it easier for the model to follow your thinking. This method is called chain-of-thought.
Evaluation. We propose doing controlled experiments comparing the use of traditional Tonto with
the LLM-powered version, measuring task completion time, model quality metrics, and user satisfaction.
Each analysis will compare the prompt engineering techniques to discover the best performing one.
The second step is executing qualitative studies with domain experts to gather feedback on the utility
and usability of LLM-augmented features, and in-depth interviews for identifying potential challenges
and areas for improvement.
1The Tonto EBNF specification can be found at https://w3id.org/tonto/ebnf.
2https://w3id.org/tonto/cli
3The extension is available in the marketplace at https://w3id.org/tonto/extension.</p>
      <p>The goal of this research is to answer three research questions: (i) Could an LLM-based assistant
facilitate the development of higher-quality models with reduced efort? (ii) To what extent can LLMs
improve the eficiency and accuracy of conceptual models created in Tonto? (iii) What are the key
user perceptions and challenges regarding the integration of LLMs within a conceptual modeling
environment?</p>
      <p>This research holds the potential to improve the field of conceptual modeling by introducing
AIpowered capabilities. Success could lead to more accessible and intuitive modeling environments and
enhanced understanding of complex systems through clearer and better-structured models.</p>
    </sec>
    <sec id="sec-4">
      <title>4. Related Work</title>
      <p>Many ideas for improving conceptual modeling using LLMs are emerging recently. For example,
[17] proposes an approach to improve completion in domain modeling activities. [15] shows how given
a textual description in its entirety, a complete domain model is derived without any human interaction.
[16] enables domain experts to construct purposive models by operating at natural language level.
[18] shows an automated approach for the extraction of UML class diagrams from natural language
software specifications. Prior to LLMs, there were already some attempts for automated generation
of Domain Models using NLP techniques [24, 25, 26] . None of these works take into account using a
foundational ontology, like UFO, when using LLMs to build or complete ontologies, meaning that using
LLMs with Tonto could make a contribution to the state of the art of the field.
the 25th Intl Conf on Model Driven Engineering Languages and Systems: Companion Proceedings,
2022, pp. 257–266.
[15] K. Chen, Y. Yang, B. Chen, J. A. Hernández López, G. Mussbacher, D. Varró, Automated Domain
Modeling with Large Language Models: A Comparative Study, in: 2023 ACM/IEEE 26th Intl Conf
on Model Driven Engineering Languages and Systems (MODELS), IEEE, Västerås, Sweden, 2023,
pp. 162–172. doi:10.1109/MODELS58315.2023.00037.
[16] V. Kulkarni, S. Reddy, S. Barat, J. Dutta, Toward a Symbiotic Approach Leveraging Generative AI
for Model Driven Engineering, in: 2023 ACM/IEEE 26th Intl Conf on Model Driven Engineering
Languages and Systems (MODELS), IEEE, Västerås, Sweden, 2023, pp. 184–193. URL: https://
ieeexplore.ieee.org/document/10343767/. doi:10.1109/MODELS58315.2023.00039.
[17] M. B. Chaaben, L. Burgueño, H. Sahraoui, Towards using Few-Shot Prompt Learning for
Automating Model Completion, in: 2023 IEEE/ACM 45th Intl Conf on Software Engineering:
New Ideas and Emerging Results (ICSE-NIER), IEEE, Melbourne, Australia, 2023, pp. 7–12. URL:
https://ieeexplore.ieee.org/document/10173909/. doi:10.1109/ICSE-NIER58687.2023.00008.
[18] S. Yang, H. Sahraoui, Towards automatically extracting UML class diagrams from natural language
specifications, in: Proceedings of the 25th Intl Conf on Model Driven Engineering Languages
and Systems: Companion Proceedings, MODELS ’22, Association for Computing Machinery, New
York, NY, USA, 2022, pp. 396–403. URL: https://doi.org/10.1145/3550356.3561592. doi:10.1145/
3550356.3561592.
[19] R. Saini, G. Mussbacher, J. L. C. Guo, J. Kienzle, Machine learning-based incremental learning in
interactive domain modelling, in: Proceedings of the 25th Intl Conf on Model Driven Engineering
Languages and Systems, MODELS ’22, Association for Computing Machinery, New York, NY,
USA, 2022, pp. 176–186. URL: https://doi.org/10.1145/3550355.3552421. doi:10.1145/3550355.
3552421.
[20] OpenAI, GPT-4 Technical Report, 2024. URL: http://arxiv.org/abs/2303.08774.
[21] C. Qin, A. Zhang, Z. Zhang, J. Chen, M. Yasunaga, D. Yang, Is ChatGPT a General-Purpose Natural</p>
      <p>Language Processing Task Solver?, 2023. URL: http://arxiv.org/abs/2302.06476.
[22] P. P. F. Barcelos, T. P. Sales, E. Romanenko, J. P. A. Almeida, G. Engelberg, D. Klein, G. Guizzardi,
Inferring Ontological Categories of OWL Classes Using Foundational Rules, in: Frontiers in
Artificial Intelligence and Applications, IOS Press, 2023. URL: https://ebooks.iospress.nl/doi/10.
3233/FAIA231122. doi:10.3233/FAIA231122.
[23] P. Liu, W. Yuan, J. Fu, Z. Jiang, H. Hayashi, G. Neubig, Pre-train, Prompt, and Predict: A Systematic
Survey of Prompting Methods in Natural Language Processing, 2021. URL: http://arxiv.org/abs/
2107.13586.
[24] M. Ibrahim, R. Ahmad, Class Diagram Extraction from Textual Requirements Using Natural
Language Processing (NLP) Techniques, in: 2010 Second Intl Conf on Computer Research and
Development, IEEE, Kuala Lumpur, Malaysia, 2010, pp. 200–204. URL: http://ieeexplore.ieee.org/
document/5489508/. doi:10.1109/ICCRD.2010.71.
[25] M. S. Jyothilakshmi, P. Samuel, Domain ontology based class diagram generation from functional
requirements, in: 2012 12th Intl Conf on Intelligent Systems Design and Applications (ISDA),
IEEE, Kochi, India, 2012, pp. 380–385. URL: http://ieeexplore.ieee.org/document/6416568/. doi:10.
1109/ISDA.2012.6416568.
[26] C. Arora, M. Sabetzadeh, L. Briand, F. Zimmer, Extracting domain models from natural-language
requirements: approach and industrial evaluation, in: Proceedings of the ACM/IEEE 19th Intl Conf
on Model Driven Engineering Languages and Systems, MODELS ’16, Association for Computing
Machinery, New York, NY, USA, 2016, pp. 250–260. URL: https://doi.org/10.1145/2976767.2976769.
doi:10.1145/2976767.2976769.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>G.</given-names>
            <surname>Guizzardi</surname>
          </string-name>
          ,
          <article-title>Ontological foundations for structural conceptual models, Centre for Telematics and Information Technology</article-title>
          , Enschede, The Netherlands,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>G.</given-names>
            <surname>Guizzardi</surname>
          </string-name>
          , et al.,
          <source>Ufo: Unified foundational ontology, Applied Ontology</source>
          <volume>17</volume>
          (
          <year>2022</year>
          )
          <fpage>167</fpage>
          -
          <lpage>210</lpage>
          . doi:
          <volume>10</volume>
          .3233/AO-210256.
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>G.</given-names>
            <surname>Guizzardi</surname>
          </string-name>
          , et al.,
          <article-title>Types and taxonomic structures in conceptual modeling: a novel ontological theory and engineering support</article-title>
          ,
          <source>Data &amp; Knowledge Engineering</source>
          <volume>134</volume>
          (
          <year>2021</year>
          )
          <fpage>101891</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>C. M.</given-names>
            <surname>Fonseca</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T. P.</given-names>
            <surname>Sales</surname>
          </string-name>
          ,
          <string-name>
            <given-names>V.</given-names>
            <surname>Viola</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L. B. R.</given-names>
            <surname>Fonseca</surname>
          </string-name>
          , G. Guizzardi,
          <string-name>
            <given-names>J. P. A.</given-names>
            <surname>Almeida</surname>
          </string-name>
          ,
          <article-title>Ontology-driven conceptual modeling as a service, in: The Joint Ontology WS</article-title>
          ,
          <string-name>
            <surname>CEUR-WS</surname>
          </string-name>
          ,
          <year>2021</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>A. B.</given-names>
            <surname>Benevides</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            <surname>Guizzardi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B. F. B.</given-names>
            <surname>Braga</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J. P. A.</given-names>
            <surname>Almeida</surname>
          </string-name>
          ,
          <article-title>Validating modal aspects of ontouml conceptual models using automatically generated visual world structures</article-title>
          ,
          <source>J. UCS</source>
          <volume>16</volume>
          (
          <year>2010</year>
          )
          <fpage>2904</fpage>
          -
          <lpage>2933</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>G.</given-names>
            <surname>Guidoni</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Almeida</surname>
          </string-name>
          , G. Guizzardi,
          <article-title>Transformation of ontology-based conceptual models into relational schemas</article-title>
          , in: Conceptual Modeling.
          <source>ER 2020</source>
          , Springer,
          <year>2020</year>
          , pp.
          <fpage>315</fpage>
          -
          <lpage>330</lpage>
          . doi:
          <volume>10</volume>
          .1007/ 978-3-
          <fpage>030</fpage>
          -62522-1_
          <fpage>23</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>T. P.</given-names>
            <surname>Sales</surname>
          </string-name>
          , G. Guizzardi,
          <article-title>Ontological anti-patterns: Empirically uncovered error-prone structures in ontology-driven conceptual models</article-title>
          ,
          <source>Data &amp; Knowledge Engineering</source>
          <volume>99</volume>
          (
          <year>2015</year>
          ). doi:
          <volume>10</volume>
          .1016/j. datak.
          <year>2015</year>
          .
          <volume>06</volume>
          .004.
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <issue>W3C</issue>
          ,
          <string-name>
            <surname>Owl</surname>
            <given-names>turtle</given-names>
          </string-name>
          ,
          <year>2014</year>
          . URL: https://www.w3.org/TR/turtle.
          <source>Accessed: March</source>
          <volume>4</volume>
          ,
          <year>2024</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <issue>W3C</issue>
          ,
          <string-name>
            <surname>Owl</surname>
            <given-names>xml</given-names>
          </string-name>
          ,
          <year>2009</year>
          . URL: https://www.w3.org/2007/OWL/wiki/XML_Serialization.html.
          <source>Accessed: March</source>
          <volume>4</volume>
          ,
          <year>2024</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <fpage>W3C</fpage>
          ,
          <string-name>
            <surname>Owl</surname>
          </string-name>
          ,
          <year>2012</year>
          . URL: https://www.w3.org/OWL/,
          <source>accessed: March</source>
          <volume>4</volume>
          ,
          <year>2024</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>D. A.</given-names>
            <surname>Wagner</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Chodas</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Elaasar</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J. S.</given-names>
            <surname>Jenkins</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Rouquette</surname>
          </string-name>
          ,
          <source>Ontological Metamodeling and Analysis Using openCAESAR</source>
          ,
          <year>2023</year>
          , pp.
          <fpage>925</fpage>
          -
          <lpage>954</lpage>
          . doi:
          <volume>10</volume>
          .1007/978-3-
          <fpage>030</fpage>
          -93582-5_
          <fpage>78</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>D.</given-names>
            <surname>Jackson</surname>
          </string-name>
          ,
          <article-title>Software abstractions: Logic, Language, and Analysis</article-title>
          , MIT Press,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>D.</given-names>
            <surname>Bork</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S. J.</given-names>
            <surname>Ali</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Roelens</surname>
          </string-name>
          ,
          <article-title>Conceptual modeling and artificial intelligence: A systematic mapping study</article-title>
          ,
          <year>2023</year>
          . arXiv:
          <volume>2303</volume>
          .
          <fpage>06758</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>P.</given-names>
            <surname>Singh</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Boubekeur</surname>
          </string-name>
          , G. Mussbacher,
          <article-title>Detecting mistakes in a domain model</article-title>
          , in: Proceedings of
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>