اشکال زدایی و یافتن کلاس های مصداق ناپذیر آنتولوژی با استفاده از دانش زمینه ای

با گسترش روزافزون استفاده از آنتولوژی ها در کاربردهای مختلف، لزوم داشتن آنتولوژی هایی باکیفیت بالا احساس می شود. از طرفی با رشد فزاینده آنتولوژی ها از نظر اندازه و قدرت بیان، احتمال وقوع خطا در فرآیند توسعه یا یادگیری خودکار آنتولوژی نیز بیشتر می شود. در این میان اشکال زدایی آنتولوژی به عنوان راه حلی برای ارتقای درستی آنتولوژی مطرح است. در حال حاضر تمرکز روش های اشکال زدایی موجود به صورت عمده روی اشکال هایی است که موجب پدید آمدن ناسازگاری و یا تناقض در منطق درونی آنتولوژی می شود. اگرچه وجود ناسازگاری نشانه ای از نادرستی برخی گزاره های آنتولوژی است، اما فقدان ناسازگاری درونی آنتولوژی لزوماً نمی تواند دلیل درستی آن باشد. در این مقاله رویکردی نو در یافتن ناسازگاری های آنتولوژی با استفاده از دانش زمینه ایارائه شده است. در مقایسه با سایر روش های اشکال زدایی، روش ارائه شده تعداد مفاهیم مصداق ناپذیر بیشتری را در آنتولوژی شناسایی می کند. روش ارائه شده ناسازگاری های پنهان آنتولوژی که با بررسی سازگاری درونی قابل شناسایی نیستند را آشکار می کند.

کلیدواژه ها:

اشکال زدایی آنتولوژی ، ناسازگاری ، تناقض ، دانش زمینه ای ، اشکال های پنهان معنایی