Expressive Multi-level Modeling for the Semantic Web

  • Freddy BrasileiroEmail author
  • João Paulo A. Almeida
  • Victorio A. Carvalho
  • Giancarlo Guizzardi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9981)


In several subject domains, classes themselves may be subject to categorization, resulting in classes of classes (or “metaclasses”). When representing these domains, one needs to capture not only entities of different classification levels, but also their (intricate) relations. We observe that this is challenging in current Semantic Web languages, as there is little support to guide the modeler in producing correct multi-level ontologies, especially because of the nuances in the constraints that apply to entities of different classification levels and their relations. In order to address these representation challenges, we propose a vocabulary that can be used as a basis for multi-level ontologies in OWL along with a number of integrity constraints to prevent the construction of inconsistent models. In this process we employ an axiomatic theory called MLT (a Multi-Level Modeling Theory).


Multi-level modeling Metamodeling Semantic web OWL 



This research is funded by W3C Brasil and CNPq (grants 311313/2014-0, 485368/2013-7, 312158/2015-7 and 461777/2014-2). Freddy Brasileiro is funded by FAPES and Victorio A. Carvalho is funded by CAPES.


  1. 1.
    W3C: W3C Semantic Web Activity.
  2. 2.
    Bizer, C., Heath, T., Berners-Lee, T.: Linked data - the story so far. Int. J. Semant. Web Inf. Syst. 5, 1–22 (2009)Google Scholar
  3. 3.
    W3C: RDF Schema 1.1. (2014)Google Scholar
  4. 4.
    W3C: OWL 2 Web Ontology Language - Document Overview, 2nd edn. (2012)Google Scholar
  5. 5.
    Mayr, E.: The Growth of Biological Thought: Diversity, Evolution, and Inheritance. Harvard University Press, Cambridge (1982)Google Scholar
  6. 6.
    Gonzalez-Perez, C., Henderson-Sellers, B.: A powertype-based metamodelling framework. Softw. Syst. Model. 5, 72–90 (2006)CrossRefGoogle Scholar
  7. 7.
    Neumayr, B., Grun, K., Schrefl, M.: Multi-level domain modeling with m-objects and m-relationships. In: 6th Asia-Pacific Conference on Conceptual Modelling (2009)Google Scholar
  8. 8.
    Atkinson, C., Kühne, T.: The essence of multilevel metamodeling. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 19–33. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  9. 9.
    Pan, J.Z., Horrocks, I.: Metamodeling architecture of web ontology languages. In: Proceedings of the 2001 International Semantic Web Working Symposium, pp. 131–149 (2001)Google Scholar
  10. 10.
    Motik, B.: On the properties of metamodeling in OWL. J. Log. Comput. 17, 617–637 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Pan, J.Z., Horrocks, I., Schreiber, G.: OWL FA: a metamodeling extension of OWL DL. In: Proceedings of the 15th International Conference on World Wide Web, pp. 1065–1066. ACM (2006)Google Scholar
  12. 12.
    Svatek, V., Homola, M., Kluka, J., Vacura, M.: Metamodeling-based coherence checking of OWL vocabulary background models. In: Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) (2013)Google Scholar
  13. 13.
    W3C: OWL 2 Web Ontology Language - Structural Specification and Functional-Style Syntax, 2nd edn. (2012)Google Scholar
  14. 14.
    Brasileiro, F., Almeida, J.P.A., Carvalho, V.A., Guizzardi, G.: Applying a multi-level modeling theory to assess taxonomic hierarchies in Wikidata. In: Wiki Workshop 2016 at 25th International Conference Companion on World Wide Web, pp. 975–980 (2016)Google Scholar
  15. 15.
    Carvalho, V.A., Almeida, J.P.A.: Toward a well-founded theory for multi-level conceptual modeling. Softw. Syst. Model. (2016)Google Scholar
  16. 16.
    Atkinson, C., Kühne, T.: Model-driven development: a metamodeling foundation. IEEE Softw. 20, 36–41 (2003)CrossRefGoogle Scholar
  17. 17.
    Atkinson, C., Kühne, T.: Meta-level independent modelling. In: International Workshop on Model Engineering at 14th European Conference on Object-Oriented Programming, pp. 1–4 (2000)Google Scholar
  18. 18.
    Odell, J.: Power types. J. Object-Oriented Programing 7, 8–12 (1994)Google Scholar
  19. 19.
    Cardelli, L.: Structural subtyping and the notion of power type. In: Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 1988, pp. 70–79. ACM Press, New York (1988)Google Scholar
  20. 20.
    W3C: Resource Description Framework (RDF) Schema Specification 1.0 (2000)Google Scholar
  21. 21.
    OMG: Unified Modeling Language Specification v1.3 (1999)Google Scholar
  22. 22.
    Jekjantuk, N., Gröner, G., Pan, J.Z.: Modelling and reasoning in metamodelling enabled ontologies. Int. J. Softw. Inform. 4, 277–290 (2010)Google Scholar
  23. 23.
    Gröner, G., Jekjantuk, N., Walter, T., Parreiras, F.S., Pan, J.Z.: Metamodelling and ontologies. In: Pan, J.Z., Staab, S., Aßmann, U., Ebert, J., Zhao, Y. (eds.) Ontology-Driven Software Development, pp. 151–174. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  24. 24.
    Carvalho, V.A., Almeida, J.P.A., Guizzardi, G.: Using a well-founded multi-level theory to support the analysis and representation of the powertype pattern in conceptual modeling. In: Nurcan, S., Soffer, P., Bajec, M., Eder, J. (eds.) CAiSE 2016. LNCS, vol. 9694, pp. 309–324. Springer, Heidelberg (2016). doi: 10.1007/978-3-319-39696-5_19 CrossRefGoogle Scholar
  25. 25.
    Carvalho, V.A., Almeida, J.P.A.: A semantic foundation for organizational structures: a multi-level approach. In: 19th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2015), pp. 50–59 (2015)Google Scholar
  26. 26.
    Carvalho, V.A., Almeida, J.P.A., Fonseca, C.M., Guizzardi, G.: Extending the foundations of ontology-based conceptual modeling with a multi-level theory. In: Johannesson, P., et al. (eds.) ER 2015. LNCS, vol. 9381, pp. 119–133. Springer, Heidelberg (2015). doi: 10.1007/978-3-319-25264-3_9 CrossRefGoogle Scholar
  27. 27.
  28. 28.
    Fernandéz-López, M., Gómez-Pérez, A.: The integration of OntoClean in WebODE. In: EKAW 2002 Workshop on Evaluation of Ontology-Based Tools (EON2002), pp. 38–52 (2002)Google Scholar
  29. 29.
    Paulheim, H., Gangemi, A.: Serving DBpedia with DOLCE – more than just adding a cherry on top. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9366, pp. 180–196. Springer, Heidelberg (2015). doi: 10.1007/978-3-319-25007-6_11 CrossRefGoogle Scholar
  30. 30.
    Guizzardi, G., Almeida, J.P.A., Guarino, N., Carvalho, V.A.: Towards an ontological analysis of powertypes. In: International Workshop on Formal Ontologies for Artificial Intelligence (FOFAI 2015), Buenos Aires (2015)Google Scholar
  31. 31.
    Guizzardi, G.: Ontological Foundations for Structural Conceptual Models. Telematica Instituut Fundamental Research Series, Enschede (2005)zbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Freddy Brasileiro
    • 1
    Email author
  • João Paulo A. Almeida
    • 1
  • Victorio A. Carvalho
    • 1
    • 2
  • Giancarlo Guizzardi
    • 1
  1. 1.Ontology and Conceptual Modeling Research Group (NEMO)Federal University of Espírito Santo (UFES)VitóriaBrazil
  2. 2.Research Group in Applied Informatics, Informatics DepartmentFederal Institute of Espírito Santo (IFES)ColatinaBrazil

Personalised recommendations