Techreport3006: Unterschied zwischen den Versionen
Sru (Diskussion | Beiträge) |
Sru (Diskussion | Beiträge) |
||
| Zeile 16: | Zeile 16: | ||
|Month=September | |Month=September | ||
|Institution=Institut AIFB, KIT | |Institution=Institut AIFB, KIT | ||
| − | |Address= | + | |Address=Karlsruhe |
|Reviewed=Daniel M. Herzig | |Reviewed=Daniel M. Herzig | ||
}} | }} | ||
| Zeile 22: | Zeile 22: | ||
|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 | |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. | strategy originally proposed for OntoClean by introducing an alternative technique where sources of conflicts are indicated by means of marker predicates. | ||
| − | |Download=TR-GRV-Metamodelling.pdf, | + | |Download=TR-GRV-Metamodelling.pdf, |
|Forschungsgruppe=Wissensmanagement | |Forschungsgruppe=Wissensmanagement | ||
}} | }} | ||
Aktuelle Version vom 2. April 2011, 10:10 Uhr
Published: 2010
September
Institution: Institut AIFB, KIT
Erscheinungsort / Ort: Karlsruhe
Archivierungsnummer:3006
Kurzfassung
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:TR-GRV-Metamodelling.pdf
Beschreibungslogik, Ontologiemodellierung, Semantic Web