Integrated Metamodeling and Diagnosis in OWL 2

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Integrated Metamodeling and Diagnosis in OWL 2

Birte GlimmBirte Glimm,  Sebastian RudolphSebastian Rudolph,  Johanna VölkerJohanna Völker
Birte Glimm, Sebastian Rudolph, Johanna Völker
Integrated Metamodeling and Diagnosis in OWL 2
In Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm, eds., Proceedings of the 9th International Semantic Web Conference, volume 6496 of LNCS, 257-272, November 2010. Springer
  • KurzfassungAbstract
    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.
  • Weitere Informationen unter:Other info: Link
  • Forschungsgruppe:Research Group: Computational Logic
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-17746-0_17.
@inproceedings{GRV2010,
  author    = {Birte Glimm and Sebastian Rudolph and Johanna V{\"{o}}lker},
  title     = {Integrated Metamodeling and Diagnosis in {OWL} 2},
  editor    = {Peter F. Patel-Schneider and Yue Pan and Pascal Hitzler and Peter
               Mika and Lei Zhang and Jeff Z. Pan and Ian Horrocks and Birte
               Glimm},
  booktitle = {Proceedings of the 9th International Semantic Web Conference},
  series    = {LNCS},
  volume    = {6496},
  publisher = {Springer},
  year      = {2010},
  month     = {November},
  pages     = {257-272},
  doi       = {10.1007/978-3-642-17746-0_17}
}