روشی برای استدلال توزیع‌شده غیر قطعی میان آنتولوژی‌ها
محورهای موضوعی : مهندسی برق و کامپیوترفروغ انوشا 1 , بهروز ترک لادانی 2 , محمدعلی نعمت‌بخش 3
1 - دانشگاه اصفهان
2 - دانشگاه اصفهان
3 - دانشگاه اصفهان
کلید واژه:
چکیده مقاله :
وب معنایی یکی از گسترده‌ترين موضوعات تحقيقي در چند سال اخير است که در آن مفهوم بسيار مهم و ارزشمندی به نام آنتولوژی وجود دارد. آنتولوژی اطلاعات و دانش موجود در دامنه مورد نظر را به صورت صوری توصيف می‌کند و با وجود این توصیف صوری امکان استدلال در آنها فراهم می‌شود. به دلیل توزیع‌شدگی وب معنایی و پراکندگی آنتولوژي‌ها و داده‌ها در سطح وب، در بسیاری از موارد استدلال متمرکز به سختي انجام مي‌شود و لازم است استدلال به صورت توزیع‌شده میان آنتولوژی‌های مختلف یک حوزه دانش صورت پذیرد. از طرف دیگر در اطلاعات موجود در وب معنایی همانند بسیاری از موضوعات دیگر عدم قطعیت و اطمینان وجود دارد. مدل‌سازی عدم قطعیت در وب معنایی و استدلال در اطلاعات غیر قطعی نیز از موضوعات تحقیقاتی جدیدی است که در دهه اخیر به آن پرداخته شده است. در این مقاله تلاش شده روشی برای استدلال توزیع‌شده میان گروهی از آنتولوژی‌ها که دارای اطلاعات غیر قطعی هستند، ارائه شود که از کارایی مناسبی نیز برخوردار باشد. برای این منظور از منطق توصیفی توزیع‌شده به عنوان چارچوبی برای استدلال توزیع‌شده و از نظریه عدم قطعیت برای مدل‌سازی عدم قطعیت بهره گرفته شده است. به کمک روش ارائه‌شده امکان استدلال میان گروهی از آنتولوژی‌های توزیع‌شده با اطلاعات غیر قطعی فراهم خواهد شد. نتایج کاربرد این روش در پالایش نگاشت میان آنتولوژی‌ها نشان می‌دهد این روش از دقت و درستی بیشتری نسبت به روش استدلال توزیع‌شده قطعی برخوردار است.
Semantic web has been one of the most important research areas of computer science in recent years. The concept of ontology as one of the most elements of semantic web is used to formally describe the domain knowledge and to enable the reasoning capability. Semantic web is a distributed system and ontologies may be developed on many different nodes, so centralized reasoning is very hard or even impossible in many cases. On the other hand, since the majority of information in semantic web is uncertain, considering the notion of uncertainty in ontological reasoning is crucial. In this paper a method for distributed reasoning in uncertain ontologies is proposed. For this purpose the distributed description logic (DDL) framework and the certainty theory are considered for distributed reasoning and modeling the uncertainty respectively. To evaluate the functionality and performance of the algorithm, we developed a case study on application of the proposed method in purifying the mappings between ontologies. The results show that our algorithm makes the mappings more precise than other similar methods.
