Integrated Metamodeling and Diagnosis in OWL 2

  • Birte Glimm
  • Sebastian Rudolph
  • Johanna Völker
Conference paper

DOI: 10.1007/978-3-642-17746-0_17

Volume 6496 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Glimm B., Rudolph S., Völker J. (2010) Integrated Metamodeling and Diagnosis in OWL 2. In: Patel-Schneider P.F. et al. (eds) The Semantic Web – ISWC 2010. ISWC 2010. Lecture Notes in Computer Science, vol 6496. Springer, Berlin, Heidelberg

Abstract

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.

Download to read the full conference paper text

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