LEADER 05483nam 22008175 450 001 9910144152403321 005 20200706222651.0 010 $a3-540-30122-4 024 7 $a10.1007/b100228 035 $a(CKB)1000000000212534 035 $a(DE-He213)978-3-540-30122-6 035 $a(SSID)ssj0000227249 035 $a(PQKBManifestationID)11201020 035 $a(PQKBTitleCode)TC0000227249 035 $a(PQKBWorkID)10264374 035 $a(PQKB)11292712 035 $a(MiAaPQ)EBC3088529 035 $a(PPN)155236849 035 $a(EXLCZ)991000000000212534 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPrinciples and Practice of Semantic Web Reasoning $eSecond International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings /$fedited by Hans J. Ohlbach, Sebastian Schaffert 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (VII, 163 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3208 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-22961-2 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aOn Subtyping of Tree-Structured Data: A Polynomial Approach -- Towards Generic Query, Update, and Event Languages for the Semantic Web -- Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach -- Rules and Queries with Ontologies: A Unified Logical Framework -- Semantic Web Reasoning for Ontology-Based Integration of Resources -- Static Type-Checking of Datalog with Ontologies -- Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming -- Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages -- Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals -- DR-DEVICE: A Defeasible Logic System for the Semantic Web -- A PDDL Based Tool for Automatic Web Service Composition. 330 $aThe best informal de?nition of the Semantic Web is maybe found in the May 2001Scienti?cAmericanarticle?TheSemanticWeb?(Berners-Leeetal. ),which says?TheSemanticWebisanextensionofthecurrentWebinwhichinformation is given well-de?ned meaning, better enabling computers and people to work in cooperation. ? People who work on the Semantic Web quite often base their work on the famous ?semantic web tower?, a product of Tim Berners-Lee?s inspiring drawing on whiteboards. The lowest level is the level of character representation (Unicode) and the identi?cation of resources on the Web (URIs). The highest level concerns the problem of trusting information on the Web. Somewhere in the middle of the tower is the logic level. It addresses the problem of represe- ing information on the Web in a way so that inference rules can derive implicit information from explicitly stated information. The workshop ?Principles and Practices of Semantic Web Reasoning? (PPSWR 2004) addressed problems on this level. It took place in September 2004 as a satellite event of the 20th Int- national Conference on Logic Programming (ICLP) in St. Malo, France. After PPSWR 2003 in Mumbai, India, it was the second workshop in this series. This book contains the articles presented at the workshop. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3208 606 $aComputer science 606 $aDatabase management 606 $aApplication software 606 $aInformation storage and retrieval 606 $aArtificial intelligence 606 $aMathematical logic 606 $aPopular Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/Q23000 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040 606 $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032 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 615 0$aComputer science. 615 0$aDatabase management. 615 0$aApplication software. 615 0$aInformation storage and retrieval. 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 14$aPopular Computer Science. 615 24$aDatabase Management. 615 24$aInformation Systems Applications (incl. Internet). 615 24$aInformation Storage and Retrieval. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 676 $a025.04 702 $aOhlbach$b Hans J$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSchaffert$b Sebastian$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aPPSWR (Conference) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144152403321 996 $aPrinciples and Practice of Semantic Web Reasoning$9772418 997 $aUNINA