LEADER 04177nam  22007575  450 
001 996204726303316
005 20200630135421.0
010   $a3-319-21768-2
024 7 $a10.1007/978-3-319-21768-0
035   $a(CKB)3710000000454206
035   $a(SSID)ssj0001558624
035   $a(PQKBManifestationID)16183698
035   $a(PQKBTitleCode)TC0001558624
035   $a(PQKBWorkID)14818996
035   $a(PQKB)10089108
035   $a(DE-He213)978-3-319-21768-0
035   $a(MiAaPQ)EBC5578113
035   $a(PPN)187688834
035   $a(EXLCZ)993710000000454206
100   $a20150710d2015      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aReasoning Web. Web Logic Rules$b[electronic resource] $e11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. /$fedited by Wolfgang Faber, Adrian Paschke
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (IX, 333 p. 46 illus.) 
225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v9203
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-21767-4 
320   $aIncludes bibliographical references and index.
327   $aAll About Fuzzy Description Logics and Applications -- Higher-Order Modal Logics: Automation and Applications -- Web Stream Reasoning: from Data Streams to Actionable Knowledge -- Recommender Systems and Linked Open Data -- The TPTP World - Infrastructure for Automated Reasoning -- PSOA Rule ML: Integrated Object-Relational Data and Rules -- Legal Rule ML: Design Principles and Foundations -- The Power of Semantic Rules in Rulelog: Fundamentals and Recent Progress -- Recent Advances in Datalog+/- -- Ontology-mediated query answering with data-tractable description logics -- Towards embedded Answer Set Solving -- Answer Set Programming: A tour from the basics to advanced development tools and industrial applications.
330   $aThis volume contains the lecture notes of the 11th Reasoning Web Summer School 2015, held in Berlin, Germany, in July/August 2015. In 2015, the theme of the school was Web Logic Rules. This Summer School is devoted to this perspective, and provides insight into the semantic Web, linked data, ontologies, rules, and logic.
410  0$aInformation Systems and Applications, incl. Internet/Web, and HCI ;$v9203
606   $aDatabase management
606   $aArtificial intelligence
606   $aMathematical logic
606   $aInformation storage and retrieval
606   $aApplication software
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
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
615  0$aDatabase management.
615  0$aArtificial intelligence.
615  0$aMathematical logic.
615  0$aInformation storage and retrieval.
615  0$aApplication software.
615 14$aDatabase Management.
615 24$aArtificial Intelligence.
615 24$aMathematical Logic and Formal Languages.
615 24$aInformation Storage and Retrieval.
615 24$aInformation Systems Applications (incl. Internet).
676   $a025.0427
702   $aFaber$b Wolfgang$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPaschke$b Adrian$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996204726303316
996   $aReasoning Web. Web Logic Rules$92805619
997   $aUNISA