This book contains a collection of thoroughly revised tutorial papers based on lectures given by leading researchers at the Second International Summer School on the Reasoning Web in Dresden, Germany, September 2007. The nine tutorial papers cover methods and research issues of the Semantic Web, ontology languages and their relation to description logics, techniques in Web information extraction, employing ontologies to ease construction of software applications, and more.

Model-Driven Architecture (MDA) is an initiative proposedby the Object M- agement Group (OMG) for platform-generic software development. MDA s- arates the speci?cation of system functionality from the implementation on a speci?c platform. It is aimed at making software assets more resilient to changes caused by emerging technologies. While stressing the importance of modeling, the MDA initiative covers a wide spectrum of research areas. Further e?orts are required to bring them into a coherent approach based on open standards and supported by matured tools and techniques....

This volume establishes a new quality standard for software products, and increased efficiency in their development, by applying findings in the field of logic to mainstream software development and its languages. It covers both domain and software modeling.

This volume establishes a new quality standard for software products, and increased efficiency in their development, by applying findings in the field of logic to mainstream software development and its languages. It covers both domain and software modeling.