Stage-oe-small.jpg

Techreport3004

Aus Aifbportal
Version vom 13. Februar 2010, 10:35 Uhr von Nni (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorNachname=Nikitina |ErsterAutorVorname=Nadejda }} {{Techreport |Title=Semi-Automatic Verification of Ontology Compatibility …“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Wechseln zu:Navigation, Suche
Semi-Automatic Verification of Ontology Compatibility Supported by Reasoning




Published: 2010 Februar
Type: Research Notes
Institution: Institut AIFB, KIT
Erscheinungsort / Ort: Karlsruhe
Archivierungsnummer:3004

BibTeX



Kurzfassung
Constructing ontologies for real-world knowledge-intensive

 applications is a time-consuming and difficult task. As the amount
 of available OWL ontologies and their size grow, ontology reuse
 gains in importance. However, differences in requirements lead to
 conceptual and logical heterogeneity of semantic resources that model
 related domains. In this paper, we propose methods to support the
 verification of conceptual and logical suitability of OWL
 ontologies. We show that our methods significantly reduce the manual
 effort measured in number of decisions that have to be made by an
 ontology engineer.


Projekt

NanOn



Forschungsgruppe

Wissensmanagement


Forschungsgebiet