استدلال کننده Hermit OWL The HermiT OWL Reasoner
- نوع فایل : کتاب
- زبان : فارسی
توضیحات
رشته های مرتبط: مهندسی کامپیوتر، مهندسی الگوریتم ها و محاسبات و مهندسی نرم افزار
۱- مقدمه HermiT یک سیستم استدلال OWL مبتنی بر حساب جدید hypertableau می باشد ]۱۲[ . HermiT همانند سیستم های موجود مبتنی بر جدول می تواند کل وظایف استدلال را برای تست رضایت بخش هستی سناسی کاهش می دهد و عدم رضایت بخشی هستی شناسی را از طریق تلاش برای ساخت مدل مناسب ثابت می کند . تکنیک جدل هایپر وقتی با محاسبات جدول مقایسه شده بود در واقع نشان داده است می تواند تا حد زیادی اندازه مدل های ساخت یافته و حدس غیر قطعی بکار رفته برای کشف کل ساختار های ممکن را کاهش دهد . علاوه بر این ، HermiT از الگوریتم دسته بندی جدید بهره می برد که تا حد زیادی تعداد رده بندی و تست های مورد نیز برای دسته بندی هستی شناسی معین را کاهش می دهد . تست های ما نشان می دهند که HermiT در زمان دسته بندی هستی شناسی های با فرآیند نسبتا ساده سریع تر از دیگر استدلال کننده های OWL می باشد و معمولا در زمانی که هستی شناسی های دشوار تر دسته بندی می شوند بسیار سریع تر است . علاوه براین ، اخیرا HermiT تنها استدلال کننده شناخته شده برای ما می باشد که از استاندارد OWL2 به طور کامل پشتیبانی می کند : این استدلال کننده از کل انواع داده مشخص شده در استاندارد پشتیبانی می کند و به طور صحیح در مورد ویژگی ها و همچنین در مورد دسته ها استدلال می کند . اکثر دیگر استدلال کننده ها تنها از مجموعه فرعی نوع داده های OWL2 پشتیبانی می کنند ]۱۱[ و کل دیگر استدلال کننده های OWL شناخته شده برای ما تنها استدلال مبتنی بر نحو را در زمانی که ویژگی ها را دسته بندی می کنیم ، اجراء می کنند و از اینرو ممکن است در کشف روابط غیر بدیهی اما از نظر نحوی با ویژگی فرعی فراهم شده موفق نباشند ]۴[ . همچنین HermiT شامل کارکرد پذیری غیر استاندارد می باشد که اخیرا در هر نوع سیستم دیگر در دسترس نمی باشد . بویژه ، HermiT از استدلال با هستی شناسی های حاوی گراف های توصیف حمایت می کند . همانطور که در رفرنس ]۱۰[ نشان داده شده است ، گراف های توصیف در واقع نمایش اشیای ساخت یافته یعنی اشیای متشکل از چندین بخش متصل به هم در روش های اختیاری را توجیه می کنند . ای اشیاء در هستی شناسی های بیو پزشکی نظیر FMA و GALEN فراوان هستند اما نمی توانند به طور صادقانه در OWL نشان داده شوند . HermiT به صورت یک کتابخانه جاوا منبع باز در دسترس می باشد و شامل API جاوا و واسط خط فرمان ساده می باشد . ما از OWL API ]6[ هم به عنوان بخشی از واسط جاوا عمومی و هم به عنوان تجزیه کننده برای فایل های OWL استفاده می کنیم ؛ از اینرو HermiT می تواند هستی شناسی ها را در هر فرمتی که از طریق OWL API از جمله EDF/XML ، ترکیب کارکردی OWL ، KSS و OBO هندل شده اند ، پردازش نماید .
۱- مقدمه HermiT یک سیستم استدلال OWL مبتنی بر حساب جدید hypertableau می باشد ]۱۲[ . HermiT همانند سیستم های موجود مبتنی بر جدول می تواند کل وظایف استدلال را برای تست رضایت بخش هستی سناسی کاهش می دهد و عدم رضایت بخشی هستی شناسی را از طریق تلاش برای ساخت مدل مناسب ثابت می کند . تکنیک جدل هایپر وقتی با محاسبات جدول مقایسه شده بود در واقع نشان داده است می تواند تا حد زیادی اندازه مدل های ساخت یافته و حدس غیر قطعی بکار رفته برای کشف کل ساختار های ممکن را کاهش دهد . علاوه بر این ، HermiT از الگوریتم دسته بندی جدید بهره می برد که تا حد زیادی تعداد رده بندی و تست های مورد نیز برای دسته بندی هستی شناسی معین را کاهش می دهد . تست های ما نشان می دهند که HermiT در زمان دسته بندی هستی شناسی های با فرآیند نسبتا ساده سریع تر از دیگر استدلال کننده های OWL می باشد و معمولا در زمانی که هستی شناسی های دشوار تر دسته بندی می شوند بسیار سریع تر است . علاوه براین ، اخیرا HermiT تنها استدلال کننده شناخته شده برای ما می باشد که از استاندارد OWL2 به طور کامل پشتیبانی می کند : این استدلال کننده از کل انواع داده مشخص شده در استاندارد پشتیبانی می کند و به طور صحیح در مورد ویژگی ها و همچنین در مورد دسته ها استدلال می کند . اکثر دیگر استدلال کننده ها تنها از مجموعه فرعی نوع داده های OWL2 پشتیبانی می کنند ]۱۱[ و کل دیگر استدلال کننده های OWL شناخته شده برای ما تنها استدلال مبتنی بر نحو را در زمانی که ویژگی ها را دسته بندی می کنیم ، اجراء می کنند و از اینرو ممکن است در کشف روابط غیر بدیهی اما از نظر نحوی با ویژگی فرعی فراهم شده موفق نباشند ]۴[ . همچنین HermiT شامل کارکرد پذیری غیر استاندارد می باشد که اخیرا در هر نوع سیستم دیگر در دسترس نمی باشد . بویژه ، HermiT از استدلال با هستی شناسی های حاوی گراف های توصیف حمایت می کند . همانطور که در رفرنس ]۱۰[ نشان داده شده است ، گراف های توصیف در واقع نمایش اشیای ساخت یافته یعنی اشیای متشکل از چندین بخش متصل به هم در روش های اختیاری را توجیه می کنند . ای اشیاء در هستی شناسی های بیو پزشکی نظیر FMA و GALEN فراوان هستند اما نمی توانند به طور صادقانه در OWL نشان داده شوند . HermiT به صورت یک کتابخانه جاوا منبع باز در دسترس می باشد و شامل API جاوا و واسط خط فرمان ساده می باشد . ما از OWL API ]6[ هم به عنوان بخشی از واسط جاوا عمومی و هم به عنوان تجزیه کننده برای فایل های OWL استفاده می کنیم ؛ از اینرو HermiT می تواند هستی شناسی ها را در هر فرمتی که از طریق OWL API از جمله EDF/XML ، ترکیب کارکردی OWL ، KSS و OBO هندل شده اند ، پردازش نماید .
Description
HermiT is an OWL reasoning system based on a novel hypertableau calculus [12]. Like existing tableau based systems, HermiT reduces all reasoning tasks to ontology satisfiability testing, and proves the (un-)satisfiability of an ontology by trying to construct (an abstraction of) a suitable model. When compared to tableau calculi, however, the hypertableau technique can greatly reduce both the size of constructed models and the non-deterministic guessing used to explore all possible constructions. Moreover, HermiT employs a novel classification algorithm that greatly reduces the number of subsumption (and hence satisfiability) tests needed to classify a given ontology. Our tests show that HermiT is as fast as other OWL reasoners when classifying relatively easy-to-process ontologies, and usually much faster when classifying more difficult ontologies. Moreover, HermiT is currently the only reasoner known to us that fully supports the OWL 2 standard: it supports all of the datatypes specified in the standard, and it correctly reasons about properties as well as about classes. Most other reasoners support only a subset of the OWL 2 datatypes [11], and all other OWL reasoners known to us implement only syntax based reasoning when classifying properties, and may thus fail to detect non-trivial but semantically entailed sub-property relationships [4]. HermiT also includes some nonstandard functionality that is currently not available in any other system. In particular, HermiT supports reasoning with ontologies containing description graphs. As shown in [10], description graphs allow for the representation of structured objects—objects composed of many parts interconnected in arbitrary ways. These objects abound in bio-medical ontologies such as FMA and GALEN, but they cannot be faithfully represented in OWL. HermiT is available as an open-source Java library, and includes both a Java API and a simple command-line interface. We use the OWL API [6] both as part of the public Java interface and as a parser for OWL files; HermiT can thus process ontologies in any format handled by the OWL API, including RDF/XML, OWL Functional Syntax, KRSS, and OBO.
