Abstract
In the last decades, the meta-modelling problem has received increasing attention in the conceptual modelling and semantic web communities. We have proposed a solution to this problem in the context of ontological modelling which consists in extending a fragment of the Web Ontology Language OWL with a meta-modelling constructor to equate instances to classes. Even though there are methodologies and patterns that help the ontology engineer to conceptualize a domain using ontologies, there is a lack of such guides for the meta-modelling approaches that extend OWL. In this work we introduce a design pattern that guides in the conceptualization of domains for which there are requirements at different knowledge levels, in particular for different user perspectives.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Descubrimiento de Interacciones que Impactan en el Aprendizaje - Creación de un ambiente de software para descubrir patrones semánticos de interacción.
- 2.
Note that even though our extension of \(\mathcal {SHIQ}\) does not consider nominals, we declare a Tbox axiom including them, for the sole purpose of illustrating the usefullness of the rules on rules.
- 3.
Sistema Integrado de Gestión de Garantía de Alquileres, Contaduría General de la Nación, www.cgn.gub.uy.
References
Eclipse Modeling Framework. https://www.eclipse.org/modeling/emf/. Accessed Jan 2019
Meta-object Facility. https://www.omg.org/mof/. Accessed Jan 2019
Pellet: a practical OWL-DL reasoner. Web Semant.: Sci. Serv. Agents World Wide Web 5(2), 51–53 (2007)
Unified Modeling Language Specification Version 241. https://www.omg.org/spec/UML/2.4.1/About-UML/. Accessed Jan 2019
Atkinson, C., Gerbig, R., Kühne, T.: A unifying approach to connections for multi-level modeling. In: 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2015)
Atkinson, C., Kühne, T.: In defence of deep modelling. Inf. Softw. Technol. 64, 36–51 (2015)
Carvalho, V.A., Almeida, J.P.A., Fonseca, C.M., Guizzardi, G.: Multi-level ontology-based conceptual modeling. Data Knowl. Eng. 109, 3–24 (2017)
Cima, G., De Giacomo, G., Lenzerini, M., Poggi, A.: On the SPARQL metamodeling semantics entailment regime for OWL 2 QL ontologies. In: Proceedings of the 7th International Conference on Web Intelligence, Mining and Semantics (2017)
Carvalho, V.A., Almeida, J.P.A.: Toward a well-founded theory for multi-level conceptual modeling. Softw. Syst. Model. 17, 205–231 (2018)
Falbo, R., Guizzardi, G., Gangemi, A., Presutti, V.: Ontology patterns: clarifying concepts and terminology. In CEUR Workshop Proceedings (2013)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)
Giacomo, G.D., Lenzerini, M., Rosati, R.: Higher-order description logics for domain metamodeling. In: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011. AAAI Press (2011)
Grau, B.C., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P.F., Sattler, U.: OWL 2: the next step for OWL. J. Web Semant. 6, 309–322 (2008)
Gu, Z., Zhang, S.: The more irresistible Hi(SRIQ) for meta-modeling and meta-query answering. Front. Comput. Sci. 12(5), 1029–1031 (2018)
Guizzardi, G.: Ontological foundations for conceptual modeling with applications. In: Ralyté, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.) CAiSE 2012. LNCS, vol. 7328, pp. 695–696. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31095-9_45
Guizzardi, G., Wagner, G.: A unified foundational ontology and some applications of it in business modeling. In: Workshops in connection with the 16th Conference on Advanced Information Systems Engineering, Knowledge and Model Driven Information Systems Engineering for Networked Organisations, CAiSE 2004 (2004)
Hitzler, P., Gangemi, A., Janowicz, K., Krisnadhi, A., Presutti, V.: Ontology Engineering with Ontology Design Patterns: Foundations and Applications. IOS Press, Amsterdam (2016)
Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC (2009)
Jekjantuk, N., Gröner, G., Pan, J.Z.: Modelling and reasoning in metamodelling enabled ontologies. Int. J. Soft Inform. 4(3), 277–290 (2010)
Kubincová, P., Kluka, J., Homola, M.: Expressive description logic with instantiation metamodelling. In: Proceedings of KR 2016 (2016)
Lara, J.D., Guerra, E., Cuadrado, J.S.: When and how to use multilevel modelling. ACM Trans. Softw. Eng. Methodol. 24(2), 12 (2014)
Meigs, W.B., Meigs, R.F.: Financial Accounting, 4th edn. McGraw-Hill, New York (1983)
Motik, B.: On the properties of metamodeling in OWL. J. Log. Comput. 17(4), 617–637 (2007)
Motik, B., Shearer, R., Horrocks, I.: Hypertableau reasoning for description logics. J. Artif. Intell. Res. 36(1), 165–228 (2009)
Motz, R., Rohrer, E., Severi, P.: The description logic SHIQ with a flexible meta-modelling hierarchy. J. Web Semant. 35(4), 214–234 (2015)
Rohrer, E., Severi, P., Motz, R.: Applying meta-modelling to an accounting application. In: ONTOBRAS (2018)
Schmidt, D.C.: Model-driven engineering. IEEE Comput. 39(2), 25 (2006)
Severi, P., Rohrer, E., Motz, R.: A description logic for unifying different points of view. In: Written for KGSWC 2019 (2019)
Suarez-Figueroa, M.C., Gomez-Perez, A., Motta, E., Gangemi, A.: Ontology Engineering in a Networked World. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-24794-1
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Rohrer, E., Severi, P., Motz, R. (2019). Meta-Modelling Ontology Design Pattern. In: Villazón-Terrazas, B., Hidalgo-Delgado, Y. (eds) Knowledge Graphs and Semantic Web. KGSWC 2019. Communications in Computer and Information Science, vol 1029. Springer, Cham. https://doi.org/10.1007/978-3-030-21395-4_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-21395-4_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-21394-7
Online ISBN: 978-3-030-21395-4
eBook Packages: Computer ScienceComputer Science (R0)