Integrated Metamodeling and Diagnosis in OWL 2

  • Birte Glimm
  • Sebastian Rudolph
  • Johanna Völker
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6496)


Ontological metamodeling has a variety of applications yet only very restricted forms are supported by OWL 2 directly. We propose a novel encoding scheme enabling class-based metamodeling inside the domain ontology with full reasoning support through standard OWL 2 reasoning systems. We demonstrate the usefulness of our method by applying it to the OntoClean methodology. En passant, we address performance problems arising from the inconsistency diagnosis strategy originally proposed for OntoClean by introducing an alternative technique where sources of conflicts are indicated by means of marker predicates.


Constraint Violation Domain Ontology Role Hierarchy Class Inst Instance Layer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2007)zbMATHGoogle Scholar
  2. 2.
    Gasse, F., Sattler, U., Haarslev, V.: Rewriting rules into \(\mathcal{SROIQ}\) axioms. In: Poster at 21st International Workshop on Description Logics, DL (2008)Google Scholar
  3. 3.
    Glimm, B., Rudolph, S., Völker, J.: Integrated metamodeling and diagnosis in owl 2. Tech. Rep. 3006, Institut AIFB, KIT, Karlsruhe (September 2010),
  4. 4.
    Guarino, N., Welty, C.A.: An Overview of OntoClean. In: International Handbook on Information Systems, 2nd edn., pp. 201–220. Springer, Heidelberg (2009)Google Scholar
  5. 5.
    Horridge, M., Parsia, B., Sattler, U.: Explaining inconsistencies in OWL ontologies. In: Godo, L., Pugliese, A. (eds.) SUM 2009. LNCS, vol. 5785, pp. 124–137. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  6. 6.
    Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \(\mathcal{SROIQ}\). In: Proc. 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 57–67. AAAI Press, Menlo Park (2006)Google Scholar
  7. 7.
    Ji, Q., Haase, P., Qi, G., Hitzler, P., Stadtmüller, S.: RaDON – Repair and diagnosis in ontology networks. In: Proceedings of the European Semantic Web Conference (ESWC), pp. 863–867. Springer, Heidelberg (2009)Google Scholar
  8. 8.
    Krötzsch, M., Rudolph, S., Hitzler, P.: Description logic rules. In: Ghallab, M., Spyropoulos, C.D., Fakotakis, N., Avouris, N.M. (eds.) ECAI. Frontiers in Artificial Intelligence and Applications, vol. 178, pp. 80–84. IOS Press, Amsterdam (2008)Google Scholar
  9. 9.
    Motik, B.: On the properties of metamodeling in OWL. Journal of Logic and Computation 17(4), 617–637 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Tran, T., Haase, P., Motik, B., Grau, B.C., Horrocks, I.: Metalevel information in ontology-based applications. In: Fox, D., Gomes, C.P. (eds.) AAAI, pp. 1237–1242. AAAI Press, Menlo Park (2008)Google Scholar
  11. 11.
    Völker, J., Vrandečić, D., Sure, Y., Hotho, A.: AEON – An approach to the automatic evaluation of ontologies. Journal of Applied Ontology 3(1-2), 41–62 (2008)Google Scholar
  12. 12.
    Vrandečić, D.: Ontology Evaluation. In: International Handbook on Information Systems, 2nd edn., pp. 293–313. Springer, Heidelberg (2009)Google Scholar
  13. 13.
    Welty, C., Mahindru, R., Chu-Carroll, J.: Evaluating ontology cleaning. In: McGuinness, D.L., Ferguson, G. (eds.) Proc. 19th National Conf. on AI (AAAI) and 16th Conf. Innovative Applications of AI (IAAI). MIT Press, Cambridge (July 2004)Google Scholar
  14. 14.
    Welty, C.: OntOWLClean: Cleaning OWL ontologies with OWL. In: Bennet, B., Fellbaum, C. (eds.) Proceedings of Formal Ontologies in Information Systems (FOIS), pp. 347–359. IOS Press, Amsterdam (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Birte Glimm
    • 1
  • Sebastian Rudolph
    • 2
  • Johanna Völker
    • 3
  1. 1.Computation LaboratoryOxford UniversityUK
  2. 2.Institute AIFBKarlsruhe Institute of TechnologyGermany
  3. 3.KR & KM Research GroupUniversity of MannheimGermany

Personalised recommendations