000 03523nam a22006015i 4500
001 978-3-642-15543-7
003 DE-He213
005 20140220084546.0
007 cr nn 008mamaa
008 100821s2010 gw | s |||| 0|eng d
020 _a9783642155437
_9978-3-642-15543-7
024 7 _a10.1007/978-3-642-15543-7
_2doi
050 4 _aQA76.76.A65
072 7 _aUNH
_2bicssc
072 7 _aUDBD
_2bicssc
072 7 _aCOM032000
_2bisacsh
082 0 4 _a005.7
_223
100 1 _aAßmann, Uwe.
_eeditor.
245 1 0 _aReasoning Web. Semantic Technologies for Software Engineering
_h[electronic resource] :
_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 _aThe Semantic Web aims at enriching the existing Web with meta-data and processing methods so as to provide web-based systems with advanced capabilities, in particular with context awareness and decision support. The objective of this book is to provide a coherent introduction to semantic web methods and research issues with a particular emphasis on reasoning. This year’s Summer School on Reasoning Web focused on applications of semantic technologies in software engineering and the reasoning technologies appropriate for such an endeavor with an emphasis on description logics (DL) as reasoning formalisms for the Semantic Web, ontologies and domain specific languages as a means for modeling, process semantics for process refinement and grounding as well as semantic query languages. The volume contains a collection of six thoroughly revised tutorial papers based on lectures given by leading researchers.
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 _uhttp://dx.doi.org/10.1007/978-3-642-15543-7
912 _aZDB-2-SCS
912 _aZDB-2-LNC
999 _c112662
_d112662