Abstract
Multilevel modelling is the conceptual modelling problem of having concepts that could be instances of another concepts. It is a relevant problem for many areas and in particular for ontology design. We motivate our work by a realworld case study on the accounting domain in which the points of view of expert and operator users are conceptualized as two knowledge levels. In this paper we address theoretical aspects of extending the tableau algorithm for a description logic that enables unifiying different user perspectives in a multilevel knowledge modelling, following a Henkin semantics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Sistema Integrado de Gestión de Garantía de Alquileres, Contaduría General de la Nación, www.cgn.gub.uy.
References
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)
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)
Glimm, B., Rudolph, S., Völker, J.: Integrated metamodeling and diagnosis in OWL 2. In: International Semantic Web Conference (2010)
Gu, Z., Zhang, S.: The more irresistible Hi(SRIQ) for meta-modeling and meta-query answering. Front. Comput. Sci. 12(5), 1029–1031 (2018)
Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC, Boca Raton (2009)
Horrocks, I., Sattler, U., Tobies, S.: Reasoning with individuals for the description logic SHIQ. In: CADE (2000)
Jekjantuk, N., Gröner, G., Pan, J.: Modelling and reasoning in metamodelling enabled ontologies. Int. J. Softw. Inform. 4(3), 277–290 (2010)
Kubincová, P.: Higher-order description logics for metamodelling. Master’s Thesis (2016)
Kubincová, P., Kluka, J., Homola, M.: Expressive description logic with instantiation metamodelling. In: Proceedings of KR 2016 (2016)
Lenzerini, M., Lepore, L., Poggi, A.: Answering metaqueries over hi (OWL 2 QL) ontologies. In: IJCAI (2016)
Martinez, M., Rohrer, E., Severi, P.: Complexity of the description logic ALCM. In: Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, KR (2016)
Motik, B.: On the properties of metamodeling in OWL. J Log. Comput. 17(4), 617–637 (2007)
Motz, R., Rohrer, E., Severi, P.: Reasoning for \({\cal{ALCQ}}\) extended with a flexible meta-modelling hierarchy. In: Supnithi, T., Yamaguchi, T., Pan, J.Z., Wuwongse, V., Buranarach, M. (eds.) JIST 2014. LNCS, vol. 8943, pp. 47–62. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-15615-6_4
Motz, R., Rohrer, E., Severi, P.: The description logic SHIQ with a flexible meta-modelling hierarchy. J. Web Sem. 35(4), 214–234 (2015)
Pan, J.Z., Horrocks, I., Schreiber, G.: OWL FA: a metamodeling extension of OWL DL. In: OWLED (2005)
Rohrer, E., Severi, P., Motz, R.: Applying meta-modelling to an accounting application. In: ONTOBRAS (2018)
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
Severi, P., Rohrer, E., Motz, R. (2019). A Description Logic for Unifying Different Points of View. 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_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-21395-4_2
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)