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