|
Integrated metamodeling and diagnosis in OWL 2
Glimm, Birte
;
Rudolph, Sebastian
;
Völker, Johanna
|
DOI:
|
https://doi.org/10.1007/978-3-642-17746-0_17
|
|
URL:
|
https://link.springer.com/chapter/10.1007%2F978-3-...
|
|
Dokumenttyp:
|
Konferenzveröffentlichung
|
|
Erscheinungsjahr:
|
2010
|
|
Buchtitel:
|
The Semantic Web - ISWC 2010 : 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I
|
|
Titel einer Zeitschrift oder einer Reihe:
|
Lecture Notes in Computer Science
|
|
Band/Volume:
|
6496
|
|
Seitenbereich:
|
257-272
|
|
Veranstaltungstitel:
|
ISWC 2010
|
|
Veranstaltungsort:
|
Shanghai, China
|
|
Veranstaltungsdatum:
|
07.-11.11.2010
|
|
Herausgeber:
|
Patel-Schneider, Peter F.
|
|
Ort der Veröffentlichung:
|
Berlin [u.a.]
|
|
Verlag:
|
Springer
|
|
ISBN:
|
978-3-642-17745-3 , 978-3-642-17746-0
|
|
ISSN:
|
0302-9743 , 1611-3349
|
|
Sprache der Veröffentlichung:
|
Englisch
|
|
Einrichtung:
|
Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Practical Computer Science II: Artificial Intelligence (Stuckenschmidt 2009-)
|
|
Fachgebiet:
|
004 Informatik
|
|
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.
|
 | Dieser Eintrag ist Teil der Universitätsbibliographie. |
 Suche Autoren in
Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail
Actions (login required)
 |
Eintrag anzeigen |
|
|
