Aus Aifbportal
Version vom 16. Dezember 2010, 23:27 Uhr von Sru (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorNachname=Glimm |ErsterAutorVorname=Birte }} {{Publikation Author |Rank=2 |Author=Sebastian Rudolph }} {{Publikation Author …“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche

Integrated Metamodeling and Diagnosis in OWL 2

Integrated Metamodeling and Diagnosis in OWL 2

Published: 2010 November
Herausgeber: Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm
Buchtitel: Proceedings of the 9th International Semantic Web Conference
Ausgabe: 6496
Reihe: LNCS
Seiten: 257-272
Verlag: Springer

Referierte Veröffentlichung


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: Media:GRV2010-ISWC.pdf
Weitere Informationen unter: Link
DOI Link: 10.1007/978-3-642-17746-0_17






Wissensrepräsentation, Beschreibungslogik, Ontologiemodellierung, Logik