Logo - springer
Slogan - springer

New & Forthcoming Titles | Reasoning Web. Semantic Technologies for Software Engineering - 6th International Summer School

Reasoning Web. Semantic Technologies for Software Engineering

6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures

Aßmann, Uwe, Bartho, Andreas, Wende, Christian (Eds.)

2010, IX, 183p. 52 illus..

Available Formats:

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.


(net) price for USA

ISBN 978-3-642-15543-7

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase

learn more about Springer eBooks

add to marked items


Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.


(net) price for USA

ISBN 978-3-642-15542-0

free shipping for individuals worldwide

online orders shipping within 2-3 days.

add to marked items

  • Thoroughly revised tutorials
  • Introduction to Semantic Web technologies
  • Unique visibility
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).

Content Level » Research

Keywords » business process engineering - context-awareness - decision support - description logic - dl reasoning - hybrid reasoning - meta data - model-driven engineering - modeling - ontology - query languages - semantic search - semantic web - software engineering - web-based systems

Related subjects » Artificial Intelligence - Communication Networks - Database Management & Information Retrieval

Table of contents 

Reasoning and Explanation in and in Expressive Description Logics.- Hybrid Reasoning with Non-monotonic Rules.- Model Driven Engineering with Ontology Technologies.- Combining Ontologies with Domain Specific Languages: A Case Study from Network Configuration Software.- Bridging Query Languages in Semantic and Graph Technologies.- Semantic Business Process Engineering.

Popular Content within this publication 



Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Computer Engineering.