Reasoning Web. Semantic Technologies for Software Engineering: 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures - Couverture souple

Couverture souple

ISBN 10 : 3642155421 ISBN 13 : 9783642155420

Editeur : Springer, 2010

Synopsis

Welcome to the proceedings of Reasoning Web 2010 which was held in Dresden. Reasoning Web is a summer school series on theoretical foundations,contemporary approaches, and practical solutions for reasoning in a Web of Semantics. It has est- lished itself as a meeting point for experts from research institutes and industry, as well as students undertakingtheir PhDs in related ?elds. This volume contains tutorial notes of the sixth school in the series, held from August 30 to September 3, 2010. This year, the school focused on applications of semantic technologies in software engineeringandthereasoningtechnologiesappropriateforsuchanendeavor. Asit turns out, semantic technologies in software engineering are not so easily applied, and s- eral issues mustbe resolvedbeforesoftware modelingcanbene?t fromreasoning. First, reasoning has to be fast and scalable, since models and programscan be quite large and voluminous. SincemanyreasoninglanguagesareexponentialorNP-complete,appro- mation, incrementalization,and other optimizationtechniques are extremelyimportant. Second, software engineering needs to model software systems, in contrast to mod- ing domains of the world. Thus, the modeling techniques are prescriptive rather than descriptive [1], which in?uences the way models are reasoned about. When a software system is modeled, its behavior is prescribed by the model, that is, the truth is in the model [2]; when a domainof the world is described,its behaviorcannotbe prescribed, only described by the model ( the truth is in the world ). Therefore, reasoning has to distinguish between prescriptiveness and descriptiveness, leading to different assu- tions about the closeness or openness of the world (closed-world assumption, CWA vs. open-world assumption, OWA).

A propos du livre

Présentation de l'éditeur

The Semantic Web aims at enriching the existing Web with meta-data and processing methods so as to provide web-based systems with advanced capabilities, in particular with context-awareness and decision support. The objective of this book is to provide a coherent introduction to semantic web methods and research issues with a particular emphasis on reasoning. The focus of this year s Summer School on "Reasoning Web" focused on applications of semantic technologies in software engineering and the reasoning technologies appropriate for such an endeavor with an emphasis on description logics (DL) as reasoning formalisms for the Semantic Web, ontologies and domain specific languages as means for modeling, process semantics for process refinement and grounding as well as semantic query languages. The volume contains a collection of six thoroughly revised tutorial papers based on lectures given by leading researchers at the 6h International Summer School on the Reasoning Web, held in Dresden, Germany, from August 30 to September 3, 2010.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2010
• Langue: anglais
• ISBN 10: 3642155421
• ISBN 13: 9783642155420
• Reliure: Broché
• Numéro d'édition: 1
• Nombre de pages: 183
• Éditeur: A¯mann Uwe, Bartho Andreas, Wende Christian
• Coordonnées du fabricant: non disponible
• Personne responsable: ProductSafety@springernature.com; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Allemagne