ترجمه مقاله استدلال کننده Hermit OWL

قیمت خرید این محصول

۲۹,۰۰۰ تومان

دانلود مقاله انگلیسی

عنوان فارسی

استدلال کننده Hermit OWL

عنوان انگلیسی

The HermiT OWL Reasoner

صفحات مقاله فارسی

صفحات مقاله انگلیسی

سال انتشار

فرمت مقاله انگلیسی

PDF

فرمت ترجمه مقاله

ورد تایپ شده

رفرنس

دارد

کد محصول

f262

رشته های مرتبط با این مقاله

مهندسی کامپیوتر

گرایش های مرتبط با این مقاله

مهندسی الگوریتم ها و محاسبات و مهندسی نرم افزار

دانشگاه

دانشگاه آکسفورد گروه علوم کامپیوتر، انگلستان

ترجمه این مقاله با کیفیت پایین می باشد.

فهرست مطالب

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