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

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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. 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 a 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.

Author(s): Anni-Yasmin Turhan (auth.), Uwe Aßmann, Andreas Bartho, Christian Wende (eds.)
Series: Lecture Notes in Computer Science 6325 : Information Systems and Applications, incl. Internet/Web, and HCI
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010

Language: English
Pages: 183
Tags: Information Systems Applications (incl.Internet); Information Storage and Retrieval; Artificial Intelligence (incl. Robotics); Computer Communication Networks; Database Management; Data Mining and Knowledge Discovery

Front Matter....Pages -
Reasoning and Explanation in $\mathcal{EL}$ and in Expressive Description Logics....Pages 1-27
Hybrid Reasoning with Non-monotonic Rules....Pages 28-61
Model Driven Engineering with Ontology Technologies....Pages 62-98
Combining Ontologies with Domain Specific Languages: A Case Study from Network Configuration Software....Pages 99-118
Bridging Query Languages in Semantic and Graph Technologies....Pages 119-160
Semantic Business Process Engineering....Pages 161-181
Back Matter....Pages -