ترجمه مقاله استدلال کننده Hermit OWL
| عنوان فارسی: | استدلال کننده Hermit OWL |
| عنوان انگلیسی: | The HermiT OWL Reasoner |
| تعداد صفحات مقاله انگلیسی : 6 | تعداد صفحات ترجمه فارسی : 8 |
| فرمت مقاله انگلیسی : PDF | فرمت ترجمه مقاله : ورد تایپ شده |
| کد محصول : f262 | رفرنس : دارد |
| محتوای فایل : zip | حجم فایل : 918.50Kb |
| رشته های مرتبط با این مقاله: مهندسی کامپیوتر |
| گرایش های مرتبط با این مقاله: مهندسی الگوریتم ها و محاسبات و مهندسی نرم افزار |
| دانشگاه: دانشگاه آکسفورد گروه علوم کامپیوتر، انگلستان |
| وضعیت ترجمه عناوین جداول: ترجمه شده است |
| وضعیت ترجمه متون داخل جداول: ترجمه نشده است |
چکیده
1-مقدمه
2 – معماری و بهینه سازی ها
3-نتایج تجربی
4- نتیجه گیری ها و مسیر های آینده
Abstract
HermiT is the only reasoner we know of that fully supports the OWL 2 standard, and that correctly reasons about properties as well as classes. It is based on a novel “hypertableau” calculus that addresses performance problems due to nondeterminism and model size—the primary sources of complexity in state-of-the-art OWL reasoners. HermiT also incorporates a number of novel optimizations, including an optimized ontology classification procedure. Our tests show that HermiT performs well compared to existing tableau reasoners and is often much faster when classifying complex ontologies.
چکیده
HermiT را می توان تنها استدلال کننده ای نام برد که ما می دانیم به طور کامل از استاندارد OWL2 پشتیبانی می کند و به طور صحیح در مورد ویژگی ها و دسته ها استدلال می کند . این استدلال کننده بر اساس حساب جدید hypertableau می باشد که به عملکرد مسایل به دلیل عدم جبرگرایی و اندازه مدل ( منابع اولیه پیچیدگی در استدلال کننده های OWL با جدی ترین فناوری ) می پردازد . همچنین HermiT تعدادی از بهینه سازی های بدیع از جمله رویه دسته بندی هستی شناسی بهینه را یکپارچه می سازد . تست های ما نشان می دهند که HermiT در مقایسه با استدلال کننده های موجود جدولی به خوبی اجراء می کند و اغلب در زمانی بسیار سریع می باشد که هستی شناسی های پیچیده را دسته بندی می کند .
