تلفن: ۰۴۱۴۲۲۷۳۷۸۱
تلفن: ۰۹۲۱۶۴۲۶۳۸۴

ترجمه مقاله استدلال کننده 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 در مقایسه با استدلال کننده های موجود جدولی به خوبی اجراء می کند و اغلب در زمانی بسیار سریع می باشد که هستی شناسی های پیچیده را دسته بندی می کند .