Reasoning Web: First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

این جلد شامل مقالات آموزشی مدرسه تابستانی "Reasoning Web"، 25-29 ژوئیه، 2005 (http://reasoningweb. org) است. TheSchool توسط دانشگاه مالت راه اندازی شد و توسط شبکه تعالی REWERSE "استدلال در وب با قوانین و معناشناسی" (http://rewerse. net) سازماندهی شد که توسط کمیسیون اتحادیه اروپا و توسط O?ce فدرال سوئیس برای آموزش تامین مالی شد. و علم در برنامه چارچوب ششم تحت شماره مرجع پروژه 506779. هدف این مدرسه ارائه مقدمه ای در مورد روش ها و مسائل وب معنایی بود، تلاشی عمده در تحقیقات فعلی وب، که در آن کنسرسیوم وب جهانی W3C نقش مهمی دارد. ایده اصلی وب معنایی غنی‌سازی داده‌های وب با متا داده‌هایی است که حاوی «معنای» داده‌ها هستند و به سیستم‌های مبتنی بر وب اجازه می‌دهند درباره داده‌ها (و متا داده‌ها) استدلال کنند. متا داده های مورد استفاده در برنامه های کاربردی وب معنایی معمولاً به مفهوم سازی دامنه برنامه مشترک توسط برنامه های کاربردی مختلف مرتبط است. چنین مفهوم‌سازی را هستی‌شناسی و کلاس‌هایی از اشیاء و روابط بین آنها می‌نامند. هستی شناسی ها توسط زبان های هستی شناسی بر اساس منطق و پشتیبانی از استدلال رسمی تعریف می شوند. همانطور که وب کنونی ذاتاً در قالب‌های داده و معناشناسی داده ناهمگن است، وب معنایی نیز ذاتاً در اشکال استدلالی ناهمگن خواهد بود. - در عمل، هر شکلی از استدلال در وب معنایی ناکافی است.

This volume contains the tutorial papers of the Summer School “Reasoning Web,”July25–29,2005(http://reasoningweb. org). TheSchoolwashostedbythe University of Malta and was organized by the Network of Excellence REWERSE “Reasoning on the Web with Rules and Semantics” (http://rewerse. net), funded by the EU Commission and by the Swiss Federal O?ce for Edu- tion and Science within the 6th Framework Programme under the project ref- ence number 506779. The objective of the school was to provide an introduction into methods and issues of the Semantic Web, a major endeavor in current Web research, where the World Wide Web Consortium W3C plays an important role. The main idea of the Semantic Web is to enrich Web data with meta-data carrying a “meaning” of the data and allowing Web-based systems to reason about data (and meta-data). The meta-data used in Semantic Web applications is usually linked to a conceptualization of the application domain shared by di?erent applications. Such a conceptualization is called an ontology and sp- i?es classes of objects and relations between them. Ontologies are de?ned by ontology languages, based on logic and supporting formal reasoning. Just as the current Web is inherently heterogeneous in data formats and data semantics, the Semantic Web will be inherently heterogeneous in its reasoning forms. - deed, any single form of reasoning turns out to be insu?cient in the Semantic Web.