جستجوي پيشرفته | کتابخانه مجازی الفبا

ایده اصلی وب معنایی، ایجاد فراداده‌هایی است که داده را شرح می‌دهند تا کامپیوترها را قادر به پردازش معنی اشیا کنند. هدف از وب معنایی این است که ماشین‌ها نیز همانند انسان‌ها سندها را درک کرده و تفسیر کنند. یکی از مولفه‌های اصلی وب معنایی، آنتولوژی است، که نسبت به سایر مولفه‌ها از قدرت بیان بیشتری برخوردار است. آنتولوژی، مجموعه‌ای از واژگان مشترک را برای محققانی تعریف می‌کند که نیاز به اشتراک‌گذاری اطلاعات در یک دامنه دارند. امروزه استفاده از آنتولوژی در وب افزایش یافته است. بسیاری از آنتولوژی‌های معروف، اندازه بزرگی دارند. اندازه بزرگ این آنتولوژی‌ها باعث کاهش سرعت و کارایی در استفاده‌مجدد، استنتاج، نگهداری و هماهنگی سیستم‌های توزیع‌شده می‌شود. راه‌حل این مساله، پیمانه‌‌ای کردن آنتولوژی می‌باشد. پیمانه‌ای کردن آنتولوژی، بخش مهمی از مهندسی آنتولوژی است که برای کاهش پیچیدگی و اندازه آنتولوژی، یا آن را به کل قطعات تشکیل‌دهنده می‌شکند (تقسیم‌بندی آنتولوژی) و یا اینکه فقط بخش کوچکی از آن را استخراج می‌کند (استخراج پیمانه). هدف از این پژوهش ارائه رهیافتی برای پیمانه‌ای کردن آنتولوژی به پیمانه‌هایی درست، کامل و متصل به هم است، به صورتی که کاربر بتواند بر اساس نیازهای برنامه کاربردی تنظیماتی را در پیمانه‌ای کردن اعمال کند.رهیافت ارائه‌شده در این پژوهش روی تقسیم‌بندی آنتولوژی تمرکز دارد. برای داشتن قطعه‌های کامل، ابتدا یک استنتاج مقدماتی روی آنتولوژی انجام شده و سپس حاصل آن به Pato، که ابزاری برای تقسیم‌بندی است، داده می‌شود. به دلیل انجام استنتاج مقدماتی، نتیجه تقسیم‌بندی، پیمانه‌هایی مرتبط و نیمه‌کامل است. بنابراین، قضایای کامل‌کننده به آن‌ها اضافه می‌شود. سپس پیمانه‌ها توسط زبان آنتولوژی پیمانه‌ای P-DL به هم متصل می‌شوند. به این ترتیب، پیمانه‌های حاصل، پیمانه‌هایی متصل و کامل با اندازه مناسب هستند. هرچند استنتاج روی آنتولوژی‌های بزرگ عملی وقت‌گیر است، اما فقط یکبار صورت می‌گیرد و در عوض مزایای زیادی به همراه دارد که توسط دیگر روش‌ها تامین نمی‌شوند. برای ضمانتِ این ادعا، روش ارائه‌شده و روش‌های قبلی به صورت تئوری و عملی ارزیابی شده و نشان داده می‌شود که این روش باعث می‌شود که آنتولوژی به‌طور متعادلی بخش‌بندی شود و پیمانه‌های حاصل مانند یک آنتولوژی خودشمول، توسط ابزارهای زیادی استفاده شوند.

‫اين پاياننامه در خصوص نگارش قرآن در زمان پيامبر و نوشت افزارهاى آن است و اين موضوعات را دربردارد: نحوه رسيدن پيام الهى به پيامبران، خط رايج در عصر پيامر، كيفيت انتقال خط به مكه و كاتبان كلام الهى در زمان پيامبر، كيفيت جمعآورى قرآن در زمان پيامبر، كيفيت جمعآورى قرآن در زمان پيامر، جمع و نگارش قرآن از ديدگاه خاورشناسان، نتيجه نگارش قرآن در زمان رسول خدا، و اولين گردآورنده قرآن بعد از وفات پيامبر.

‫در رساله حاضر مواردى كه در ترجمه قرآن به روايت حفص از عاصم به لحاظ تفسيرى و كلامى اختلافبرانگيز است، بررسى شده و مطالب آن در پنج فصل آمده است. در فصل اول، كلياتى از بحث و در فصل دوم، مباحثى درباره ترجمه مثل معنا و ضرورت ترجمه و برخى از ويژگىهاى يك ترجمه برتر آمده است. در فصل سوم، با عنوان اختلاف ترجمهها بر اساس ايجاز حذف از تعريف حذف و انگيزه و فوايد آن، راههاى تعيين محذوف، و انواع حذف سخن رفته است. در فصل چهارم، تحت عنوان اختلاف ترجمهها بر اساس دستور زبان عربى و ساختار آن از مرجع ضمير و نقش آن در اختلاف ترجمهها، معادليابى در واژگان جايگزين و نقش آن در اختلاف ترجمهها و واژگان مشابه در معانى مختلف بحث شده است. در فصل پنجم، ذيل عنوان اختلاف ترجمهها بر اساس مبانى كلامى موارد رؤيت خدا، آمدن خداوند، عصمت پيامبران، حبط عمل و جبر و اختيار بررسى شده است.