000 04332nam a22005655i 4500
001 u375059
003 SIRSI
005 20160812084305.0
007 cr nn 008mamaa
008 100821s2010 gw | s |||| 0|eng d
020 _a9783642155437
_9978-3-642-15543-7
040 _cMX-MeUAM
050 4 _aQA76.76.A65
082 0 4 _a005.7
_223
100 1 _aAßmann, Uwe.
_eeditor.
245 1 0 _aReasoning Web. Semantic Technologies for Software Engineering
_h[recurso electrónico] :
_b6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures /
_cedited by Uwe Aßmann, Andreas Bartho, Christian Wende.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2010.
300 _aIX, 183p. 52 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6325
505 0 _aReasoning 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.
520 _aWelcome 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).
650 0 _aComputer science.
650 0 _aComputer Communication Networks.
650 0 _aDatabase management.
650 0 _aData mining.
650 0 _aInformation storage and retrieval systems.
650 0 _aInformation systems.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aInformation Systems Applications (incl.Internet).
650 2 4 _aInformation Storage and Retrieval.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aComputer Communication Networks.
650 2 4 _aDatabase Management.
650 2 4 _aData Mining and Knowledge Discovery.
700 1 _aBartho, Andreas.
_eeditor.
700 1 _aWende, Christian.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642155420
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6325
856 4 0 _zLibro electrónico
_uhttp://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-15543-7
596 _a19
942 _cLIBRO_ELEC
999 _c202939
_d202939