هستیشناسیها روشهای نمایش دانش رسمی هستند که میتوانند ابزاری برای درک مشترک از یک حوزه معین فراهم کنند. برای ایجاد ارتباط معنادار و قابلیت همکاری بین دو یا چند سیستم اطلاعاتی که از هستیشناسیهای ایجاد شده بهطور مستقل استفاده میکنند، پلی بین آنها ضروری است که اغلب به آن همترازی هستیشناسی گفته میشود. «روشهای صوری برای مدیریت و پردازش همترازیهای هستیشناسی» چرخه کامل همترازی هستیشناسی، از جمله مدلسازی، روشها و فرآیندهای نگهداری را ارائه میدهد.
این کتاب که خلاصهای از تحقیقات نویسنده در ده سال گذشته است، یافتههایی را که قبلاً در مجلات معتبر بینالمللی منتشر شده و در کنفرانسهای برجسته ارائه شدهاند، گردآوری میکند. هر فصل به گونهای طراحی شده است که مستقل باشد و به خوانندگان این امکان را میدهد تا به صورت جداگانه به مطالب دسترسی داشته باشند. متن، مفاهیم اساسی ریاضی را معرفی میکند و فصلهای بعدی بر این مبانی استوار میشوند، اما هر کدام بر جنبههای خاصی از همترازی هستیشناسی تمرکز دارند و محتوا را در دسترس و آسان برای پیگیری میسازند.
ویژگیهای کلیدی
این کتاب که در حوزههای نمایش دانش و فناوریهای معنایی قرار دارد، منبعی ارزشمند برای محققان و متخصصان دانشگاهی و همچنین دانشجویانی است که به دنبال تعمیق درک خود هستند.
