LEADER 04671nam 2200709Ia 450 001 9910483474903321 005 20251116185812.0 010 $a1-280-38872-2 010 $a9786613566645 010 $a3-642-15543-X 024 7 $a10.1007/978-3-642-15543-7 035 $a(CKB)2670000000036413 035 $a(SSID)ssj0000446731 035 $a(PQKBManifestationID)11318377 035 $a(PQKBTitleCode)TC0000446731 035 $a(PQKBWorkID)10497762 035 $a(PQKB)11431617 035 $a(DE-He213)978-3-642-15543-7 035 $a(MiAaPQ)EBC3065696 035 $a(PPN)14901841X 035 $a(BIP)32049030 035 $a(EXLCZ)992670000000036413 100 $a20100825d2010 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aReasoning web $esemantic technologies for software engineering : 6th International Summer School 2010, Dresden, Germany, August 30-September 3, 2010 : tutorial lectures /$fUwe Amann, Andreas Bartho, Christian Wende (eds.) 205 $a1st ed. 2010. 210 $aBerlin $cSpringer$d2010 215 $a1 online resource (IX, 183 p. 52 illus.) 225 1 $aLNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI 225 1 $aLecture notes in computer science,$x0302-9743 ;$v6325.$aTutorial 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-15542-1 320 $aIncludes bibliographical references and index. 327 $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. 330 $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). 410 0$aLecture notes in computer science ;$v6325. 410 0$aLecture notes in computer science.$pTutorial. 410 0$aLNCS sublibrary.$nSL 3,$pInformation systems and applications, incl. Internet/Web, and HCI. 606 $aQuery languages (Computer science)$vCongresses 606 $aSemantic Web$vCongresses 606 $aOntology$vCongresses 606 $aKnowledge representation (Information theory)$vCongresses 615 0$aQuery languages (Computer science) 615 0$aSemantic Web 615 0$aOntology 615 0$aKnowledge representation (Information theory) 676 $a006.33 701 $aAmann$b Uwe$0933424 701 $aBartho$b Andreas$01757357 701 $aWende$b Christian$01757358 712 12$aSummer School on Reasoning Web. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483474903321 996 $aReasoning web$94195201 997 $aUNINA