04671nam 2200709Ia 450 991048347490332120251116185812.01-280-38872-297866135666453-642-15543-X10.1007/978-3-642-15543-7(CKB)2670000000036413(SSID)ssj0000446731(PQKBManifestationID)11318377(PQKBTitleCode)TC0000446731(PQKBWorkID)10497762(PQKB)11431617(DE-He213)978-3-642-15543-7(MiAaPQ)EBC3065696(PPN)14901841X(BIP)32049030(EXLCZ)99267000000003641320100825d2010 uy 0engurnn#008mamaatxtccrReasoning web semantic technologies for software engineering : 6th International Summer School 2010, Dresden, Germany, August 30-September 3, 2010 : tutorial lectures /Uwe Amann, Andreas Bartho, Christian Wende (eds.)1st ed. 2010.Berlin Springer20101 online resource (IX, 183 p. 52 illus.)LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCILecture notes in computer science,0302-9743 ;6325.TutorialBibliographic Level Mode of Issuance: Monograph3-642-15542-1 Includes bibliographical references and index.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.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).Lecture notes in computer science ;6325.Lecture notes in computer science.Tutorial.LNCS sublibrary.SL 3,Information systems and applications, incl. Internet/Web, and HCI.Query languages (Computer science)CongressesSemantic WebCongressesOntologyCongressesKnowledge representation (Information theory)CongressesQuery languages (Computer science)Semantic WebOntologyKnowledge representation (Information theory)006.33Amann Uwe933424Bartho Andreas1757357Wende Christian1757358Summer School on Reasoning Web.MiAaPQMiAaPQMiAaPQBOOK9910483474903321Reasoning web4195201UNINA