Principles and Practice of Semantic Web Reasoning Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings

The 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....

Full description

Bibliographic Details
Other Authors: Ohlbach, Hans J. (Editor), Schaffert, Sebastian (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2004, 2004
Edition:1st ed. 2004
Series:Lecture Notes in Computer Science
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 03574nmm a2200409 u 4500
001 EB000652476
003 EBX01000000000000000505558
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9783540301226 
100 1 |a Ohlbach, Hans J.  |e [editor] 
245 0 0 |a Principles and Practice of Semantic Web Reasoning  |h Elektronische Ressource  |b Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, Proceedings  |c edited by Hans J. Ohlbach, Sebastian Schaffert 
250 |a 1st ed. 2004 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2004, 2004 
300 |a VII, 163 p  |b online resource 
505 0 |a On 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 
653 |a Computer science 
653 |a Artificial Intelligence 
653 |a Information Storage and Retrieval 
653 |a Computer Science 
653 |a Formal Languages and Automata Theory 
653 |a Database Management 
653 |a Application software 
653 |a Information storage and retrieval systems 
653 |a Machine theory 
653 |a Artificial intelligence 
653 |a Computer and Information Systems Applications 
653 |a Database management 
700 1 |a Schaffert, Sebastian  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Lecture Notes in Computer Science 
028 5 0 |a 10.1007/b100228 
856 4 0 |u https://doi.org/10.1007/b100228?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004 
520 |a The 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