Integrated Metamodeling and Diagnosis in OWL 2

PublikationenPublications

• Nach AutorBy Author
  • Sebastian RudolphSebastian Rudolph
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic

Toggle side column

Integrated Metamodeling and Diagnosis in OWL 2

Birte GlimmBirte Glimm,  Sebastian RudolphSebastian Rudolph,  Johanna VölkerJohanna Völker

Integrated Metamodeling and Diagnosis in OWL 2

• Download

Birte Glimm, Sebastian Rudolph, Johanna Völker
Integrated Metamodeling and Diagnosis in OWL 2
Technical Report, Institut AIFB, KIT, September 2010

• Details
• Bibtex

• 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.
• Forschungsgruppe:Research Group: Computational LogicComputational Logic

@techreport{GRV2010,
  author      = {Birte Glimm and Sebastian Rudolph and Johanna V{\"{o}}lker},
  title       = {Integrated Metamodeling and Diagnosis in {OWL} 2},
  institution = {Institut {AIFB,} {KIT}},
  year        = {2010},
  month       = {September}
}