000 04433nam a22006375i 4500
001 978-3-540-30122-6
003 DE-He213
005 20240423125932.0
007 cr nn 008mamaa
008 121227s2004 gw | s |||| 0|eng d
020 _a9783540301226
_9978-3-540-30122-6
024 7 _a10.1007/b100228
_2doi
050 4 _aQA75.5-76.95
072 7 _aUY
_2bicssc
072 7 _aCOM000000
_2bisacsh
072 7 _aUY
_2thema
082 0 4 _a004
_223
245 1 0 _aPrinciples and Practice of Semantic Web Reasoning
_h[electronic resource] :
_bSecond International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings /
_cedited by Hans J. Ohlbach, Sebastian Schaffert.
250 _a1st ed. 2004.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2004.
300 _aVII, 163 p.
_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,
_x1611-3349 ;
_v3208
505 0 _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.
520 _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.
650 0 _aComputer science.
650 0 _aDatabase management.
650 0 _aApplication software.
650 0 _aInformation storage and retrieval systems.
650 0 _aArtificial intelligence.
650 0 _aMachine theory.
650 1 4 _aComputer Science.
650 2 4 _aDatabase Management.
650 2 4 _aComputer and Information Systems Applications.
650 2 4 _aInformation Storage and Retrieval.
650 2 4 _aArtificial Intelligence.
650 2 4 _aFormal Languages and Automata Theory.
700 1 _aOhlbach, Hans J.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSchaffert, Sebastian.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540229612
776 0 8 _iPrinted edition:
_z9783662214213
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v3208
856 4 0 _uhttps://doi.org/10.1007/b100228
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c183266
_d183266