Abstract
Conceptual modeling plays a fundamental role to capture information about complex business domains (e.g., finance, healthcare) and enables semantic interoperability. To fulfill their role, conceptual models must contain the exact set of constraints that represent the worldview of the relevant domain stakeholders. However, as empirical results show, modelers are subject to cognitive limitations and biases and, hence, in practice, they produce models that fall short in that respect. Moreover, the process of formally designing conceptual models is notoriously hard and requires expertise that modelers do not always have. This paper falls in the general area concerned with the development of artificial intelligence techniques for the enterprise. In particular, we propose an approach that leverages model finding and inductive logic programming (ILP) techniques. We aim to move towards supporting modelers in identifying domain constraints that are missing from their models, and thus improving their precision w.r.t. their intended worldviews. Firstly, we describe how to use the results produced by the application of model finding as input to an inductive learning process. Secondly, we test the approach with the goal of demonstrating its feasibility and illustrating some key design issues to be considered while using these techniques.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
- 2.
In OntoUML, all kinds are mutually disjoint [15].
- 3.
Currently, the logical layer can be encoded by First Order Logic FOL syntax or by Description Logic (DL) syntax, covering ALC, SHOIQ, and SROIQ expressivity.
- 4.
All data used for the case study described in this section are available for research purposes at https://github.com/unibz-core/Mind-the-Gap.
- 5.
A litmus test is “a critical indicator of future success or failure”. A is a litmus test for B if A can be effectively used to measure some property of B [5].
- 6.
Notice that the output provided by the applied algorithm can be taken as a rule composed by axioms encoded in Description Logic (DL) or manchester owl syntax (www.w3.org/owl2-manchester-syntax/), and in order to map the output into FOL language, a further map** must be applied. For instance, the output resulting from the conjunction of the first three axioms provided as solution by the algorithm applied for the rule (1) above was:
.
References
Benevides, A.B., et al.: Validating modal aspects of OntoUML conceptual models using automatically generated visual world structures. J. Univ. Comput. Sci. 16(20), 2904–2933 (2010)
Bühmann, L., et al.: DL-Learner-a framework for inductive learning on the semantic web. J. Web Semant. 39, 15–24 (2016)
Cairns-Smith, G.: The Life Puzzle: On Crystals and Organisms and on the Possibility of a Crystal as an Ancestor. University of Toronto Press, Toronto (1971)
Clarke, E.M., Jr., et al.: Model Checking. MIT press, Cambridge (2018)
Collins: Litmus test. In: Collins Dictionary. https://www.collinsdictionary.com/dictionary/english/litmus-test, Accessed 02 Apr 2021
Dang, D.-H., Cabot, J.: On automating inference of OCL constraints from counterexamples and examples. In: Nguyen, V.-H., Le, A.-C., Huynh, V.-N. (eds.) Knowledge and Systems Engineering. AISC, vol. 326, pp. 219–231. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-11680-8_18
De Nicola, A., Missikoff, M., Navigli, R.: A software engineering approach to ontology building. Inf. Syst. 34(2), 258–275 (2009)
De Raedt, L., Dries, A., Guns, T., Bessiere, C.: Learning constraint satisfaction problems: an ILP perspective. In: Bessiere, C., De Raedt, L., Kotthoff, L., Nijssen, S., O’Sullivan, B., Pedreschi, D. (eds.) Data Mining and Constraint Programming. LNCS (LNAI), vol. 10101, pp. 96–112. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-50137-6_5
Faunes, M., et al.: Automatically searching for metamodel well-formedness rules in examples and counter-examples. In: Proceedings MODELS 2013, pp. 187–202 (2013)
Fonseca, C.M., Sales, T.P., Viola, V., Fonseca, L.B.R., Guizzardi, G., Almeida, J.P.A.: Ontology-driven conceptual modeling as a service. In: 11th International Workshop on Formal Ontologies Meet Industry (FOMI’21). CEUR-WS (2021)
Fumagalli, M., Sales, T.P., Guizzardi, G.: Towards automated support for conceptual model diagnosis and repair. In: 1st Workshop on Conceptual Modeling Meets Artificial Intelligence and Data-Driven Decision Making (2020)
Gogolla, M., Büttner, F., Richters, M.: A UML-based specification environment for validating UML and OCL. Science of Computer Programming (2005)
Gogolla, M., et al.: USE: A UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69(1–3), 27–34 (2007)
Grüninger, M.: Ontology validation as dialogue (2019)
Guizzardi, G.: Ontological foundations for structural conceptual models. Telematica Instituut/CTIT (2005)
Guizzardi, G.: Theoretical foundations and engineering tools for building ontologies as reference conceptual models. Semant. Web 1(1,2), 3–10 (2010)
Guizzardi, G., Fonseca, C.M., Almeida, J.P.A., Sales, T.P., Benevides, A.B., Porello, D.: Types and taxonomic structures in conceptual modeling: a novel ontological theory and engineering support. Data Knowl. Eng. 134 (2021). https://doi.org/10.1016/j.datak.2021.101891
Guizzardi, G., Sales, T.P.: Detection, simulation and elimination of semantic anti-patterns in ontology-driven conceptual models. In: Yu, E., Dobbie, G., Jarke, M., Purao, S. (eds.) ER 2014. LNCS, vol. 8824, pp. 363–376. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-12206-9_30
van Harmelen, F., ten Teije, A.: Validation and verification of conceptual models of diagnosis. In: Proceedings EUROVAV 1997, pp. 117–128 (1997)
Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning About Systems. Cambridge University Press, Cambridge (2004)
Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT press, Cambridge (2012)
Jaffar, J., Maher, M.J.: Constraint logic programming: a survey. J. Logic Program. 19, 503–581 (1994)
Janzen, D., Saiedian, H.: Test-driven development concepts, taxonomy, and future direction. Computer 38(9), 43–50 (2005)
Kayama, M., et al.: A practical conceptual modeling teaching method based on quantitative error analyses for novices learning to create error-free simple class diagrams. In: Proceedings IIAI, pp. 616–622. IEEE (2014)
Lehmann, J., et al.: Class expression learning for ontology engineering. J. Web Semant. 9(1), 71–81 (2011)
Leung, F., Bolloju, N.: Analyzing the quality of domain models developed by novice systems analysts. In: Proceedings HICSS, p. 188b. IEEE (2005)
Mirjalili, S.: Genetic algorithm. In: Evolutionary Algorithms and Neural Networks. SCI, vol. 780, pp. 43–55. Springer, Cham (2019). https://doi.org/10.1007/978-3-319-93025-1_4
Muggleton, S., De Raedt, L.: Inductive logic programming: theory and methods. J. Logic Program. 19, 629–679 (1994)
Pérez, B., Porres, I.: Reasoning about UML/OCL class diagrams using constraint logic programming and formula. Inf. Syst. 81, 152–177 (2019)
Roussey, C., et al.: A catalogue of OWL ontology antipatterns. In: Proceedings of the Fifth International Conference on Knowledge Capture, pp. 205–206 (2009)
Sales, T.P., Guizzardi, G.: Ontological anti-patterns: empirically uncovered error-prone structures in ontology-driven conceptual models. Data Knowl. Eng. 99, 72–104 (2015)
Tort, A., Olivé, A., Sancho, M.R.: An approach to test-driven development of conceptual schemas. Data Knowl. Eng. 70(12), 1088–1111 (2011)
Troquard N., et al.: Repairing ontologies via axiom weakening. In: McIlraith, S.A., Weinberger, K.Q. (eds.) 32nd AAAI Conference on Artificial Intelligence. AAAI Press (2018)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 IFIP International Federation for Information Processing
About this paper
Cite this paper
Fumagalli, M., Sales, T.P., Guizzardi, G. (2021). Mind the Gap!: Learning Missing Constraints from Annotated Conceptual Model Simulations. In: Serral, E., Stirna, J., Ralyté, J., Grabis, J. (eds) The Practice of Enterprise Modeling. PoEM 2021. Lecture Notes in Business Information Processing, vol 432. Springer, Cham. https://doi.org/10.1007/978-3-030-91279-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-91279-6_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-91278-9
Online ISBN: 978-3-030-91279-6
eBook Packages: Computer ScienceComputer Science (R0)