دانلود مقاله ISI انگلیسی شماره 50809
ترجمه فارسی عنوان مقاله

استدلال و مدیریت تغییر در هستی شناسی مدولار

عنوان انگلیسی
Reasoning and change management in modular ontologies
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی
50809 2007 24 صفحه PDF
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Data & Knowledge Engineering, Volume 63, Issue 2, November 2007, Pages 200–223

ترجمه کلمات کلیدی
هستی شناسی - استدلال - نمایندگی دانش توزیعی - مدیریت تغییر
کلمات کلیدی انگلیسی
Ontologies; Reasoning; Distributed Knowledge Representation; Change management
پیش نمایش مقاله
پیش نمایش مقاله  استدلال و مدیریت تغییر در هستی شناسی مدولار

چکیده انگلیسی

The benefits of modular representations are well known from many areas of computer science. While in software engineering modularization is mainly a vehicle for supporting distributed development and re-use, in knowledge representation, the main goal of modularization is efficiency of reasoning. In this paper, we concentrate on the benefits of modularization in the context of ontologies, explicit representations of the terminology used in a domain. We define a formal representation for modular ontologies based on the notion of Distributed Description Logics and introduce an architecture that supports local reasoning by compiling implied axioms. We further address the problem of guaranteeing the correctness and completeness of compiled knowledge in the presence of changes in different modules. We propose a heuristic for analyzing changes and their impact on compiled knowledge and guiding the process of updating compiled information that can often reduce the effort of maintaining a modular ontology by avoiding unnecessary re-compilation.