• Contact

  • Newsletter

  • About us

  • Delivery options

  • Prospero Book Market Podcast

  • News

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

    Reasoning Web. Semantic Technologies for Software Engineering by Aßmann, Uwe; Bartho, Andreas; Wende, Christian;

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

    Series: Lecture Notes in Computer Science; 6325;

      • GET 20% OFF

      • The discount is only available for 'Alert of Favourite Topics' newsletter recipients.
      • Publisher's listprice EUR 53.49
      • The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.

        22 690 Ft (21 609 Ft + 5% VAT)
      • Discount 20% (cc. 4 538 Ft off)
      • Discounted price 18 152 Ft (17 287 Ft + 5% VAT)

    22 690 Ft

    db

    Availability

    Estimated delivery time: In stock at the publisher, but not at Prospero's office. Delivery time approx. 3-5 weeks.
    Not in stock at Prospero.

    Why don't you give exact delivery time?

    Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.

    Short description:

    This book provides a coherent introduction to semantic web methods and research issues with a particular emphasis on reasoning. It is based on a collection of six thoroughly revised tutorial papers culled from lectures given by leading researchers.

    More

    Long description:

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

    More

    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.

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

    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; (ed.)

    22 690 HUF

    Investigating Dynamic Relationships Among Individual Difference Variables in Learning English as a Foreign Language in a Virtual World

    Investigating Dynamic Relationships Among Individual Difference Variables in Learning English as a Foreign Language in a Virtual World

    Kruk, Mariusz;

    49 924 HUF

    next