LEADER 04236nam  22007215  450 
001 996466459503316
005 20200705120038.0
010   $a3-319-61033-3
024 7 $a10.1007/978-3-319-61033-7
035   $a(CKB)4340000000061591
035   $a(DE-He213)978-3-319-61033-7
035   $a(MiAaPQ)EBC6314226
035   $a(MiAaPQ)EBC5591974
035   $a(Au-PeEL)EBL5591974
035   $a(OCoLC)992973714
035   $a(PPN)202991016
035   $a(EXLCZ)994340000000061591
100   $a20170609d2017      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aReasoning Web. Semantic Interoperability on the Web$b[electronic resource] $e13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures /$fedited by Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XI, 347 p. 63 illus.) 
225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v10370
311   $a3-319-61032-5 
327   $aData Integration for Open Data on the Web -- Ontological Query Answering over Semantic Data -- Ontology Querying: Datalog Strikes Back -- Integrating Relational Databases with the Semantic Web: A Reflection -- Datalog Revisited for Reasoning in Linked Data -- A Tutorial on Hybrid Answer Set Solving with Clingo -- Answer Set Programming with External Source Access -- Uncertainty Reasoning for the Semantic Web -- OBDA for Log Extraction in Process Mining. .
330   $aThis volume contains the lecture notes of the 13th Reasoning Web Summer School, RW 2017, held in London, UK, in July 2017. In 2017, the theme of the school was "Semantic Interoperability on the Web", which encompasses subjects such as data integration, open data management, reasoning over linked data, database to ontology mapping, query answering over ontologies, hybrid reasoning with rules and ontologies, and ontology-based dynamic systems. The papers of this volume focus on these topics and also address foundational reasoning techniques used in answer set programming and ontologies. .
410  0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v10370
606   $aDatabase management
606   $aArtificial intelligence
606   $aMathematical logic
606   $aInformation storage and retrieval
606   $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032
615  0$aDatabase management.
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aInformation storage and retrieval.
615 14$aDatabase Management.
615 24$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
615 24$aInformation Storage and Retrieval.
676   $a025.04
702   $aIanni$b Giovambattista$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLembo$b Domenico$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBertossi$b Leopoldo$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aFaber$b Wolfgang$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGlimm$b Birte$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aGottlob$b Georg$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aStaab$b Steffen$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466459503316
996   $aReasoning Web. Semantic Interoperability on the Web$92812845
997   $aUNISA