KIT | KIT-Bibliothek | Impressum | Datenschutz

Semi-Automatic Verification of Ontology Compatibility Supported by Reasoning

Nikitina, Nadeschda


As the amount of available ontologies and their size grow, ontology reuse gains in importance. However, the online available formalized knowledge in many cases need a revision which can lead to a high manual effort. In this paper, we propose an approach to support the revision of ontologies. We show that our method reduces the manual effort measured in number of decisions that have to be made by an ontology engineer by up to 83%.

Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 2010
Sprache Englisch
Identifikator KITopen-ID: 1000091491
Verlag Karlsruher Institut für Technologie (KIT)
Umfang 6 S.
Serie Technical Report / AIFB ; 3004
Externe Relationen Abstract/Volltext
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page