Verwandte Artikel zu Reasoning Web. Semantic Technologies for Software Engineerin...

Reasoning Web. Semantic Technologies for Software Engineering: 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. ... 6325 (Lecture Notes in Computer Science) - Softcover

 
9783642155420: Reasoning Web. Semantic Technologies for Software Engineering: 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. ... 6325 (Lecture Notes in Computer Science)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

Reseña del editor

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

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagSpringer
  • Erscheinungsdatum2010
  • ISBN 10 3642155421
  • ISBN 13 9783642155420
  • EinbandTapa blanda
  • SpracheEnglisch
  • Auflage1
  • Anzahl der Seiten196
  • HerausgeberBartho Andreas, Wende Christian
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

Zustand: Sehr gut
Zustand: Sehr gut | Seiten: 181...
Diesen Artikel anzeigen

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

EUR 11,90 für den Versand von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

Suchergebnisse für Reasoning Web. Semantic Technologies for Software Engineerin...

Beispielbild für diese ISBN

Unbekannt
Verlag: Springer-Verlag GmbH, 2010
ISBN 10: 3642155421 ISBN 13: 9783642155420
Gebraucht Softcover

Anbieter: Buchpark, Trebbin, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 181 | Sprache: Englisch | Produktart: Bücher. Artikel-Nr. 8638768/12

Verkäufer kontaktieren

Gebraucht kaufen

EUR 11,52
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Aßmann, Uwe (Herausgeber),
ISBN 10: 3642155421 ISBN 13: 9783642155420
Gebraucht Softcover

Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Softcover. VII, 181 S. OBr. Ehem. Bibliotheksexemplar m. Stempel u. Sign. Einband leicht berieben und bestoßen, Schnitte etwas nachgedunkelt. Größtenteils textsauberes Exemplar (kleinere Anstreichungen möglich). --- Ex-library book with catalogue no. on spine and stamps. Book cover slightly rubbed and bumped. Text mostly clean, few minor text markings possible. 9783642155420 Sprache: Englisch Gewicht in Gramm: 297. Artikel-Nr. 1000333

Verkäufer kontaktieren

Gebraucht kaufen

EUR 33,95
Währung umrechnen
Versand: EUR 3,00
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Not Available (Not Available)
ISBN 10: 3642155421 ISBN 13: 9783642155420
Neu Paperback

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Brand New. 1st edition. 192 pages. 9.21x6.06x0.55 inches. In Stock. Artikel-Nr. 3642155421

Verkäufer kontaktieren

Neu kaufen

EUR 87,02
Währung umrechnen
Versand: EUR 11,90
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb