Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings [1 ed.] 3540229612, 9783540229612, 9783540301226

The best informal de?nition of the Semantic Web is maybe found in the May 2001Scienti?cAmericanarticle“TheSemanticWeb”(B

289 79 2MB

English Pages 163 [177] Year 2004

Table of contents :
Front Matter....Pages -
On Subtyping of Tree-Structured Data: A Polynomial Approach....Pages 1-18
Towards Generic Query, Update, and Event Languages for the Semantic Web....Pages 19-33
Data Retrieval and Evolution on the (Semantic) Web: A Deductive Approach....Pages 34-49
Rules and Queries with Ontologies: A Unified Logical Framework....Pages 50-60
Semantic Web Reasoning for Ontology-Based Integration of Resources....Pages 61-75
Static Type-Checking of Datalog with Ontologies....Pages 76-89
Reasoning About Temporal Context Using Ontology and Abductive Constraint Logic Programming....Pages 90-101
Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages....Pages 102-117
Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals....Pages 118-133
DR-DEVICE: A Defeasible Logic System for the Semantic Web....Pages 134-148
A PDDL Based Tool for Automatic Web Service Composition....Pages 149-163
Back Matter....Pages -

Principles and Practice of Semantic Web Reasoning: Second International Workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004. Proceedings [1 ed.]
3540229612, 9783540229612, 9783540301226

Author / Uploaded
François Bry
Włodzimierz Drabent (auth.)
Hans Jürgen Ohlbach
Sebastian Schaffert (eds.)

0 0 0
Like this paper and download? You can publish your own PDF file online for free in a few minutes! Sign Up

Recommend Papers

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings [1 ed.] 9783540226710, 3540226710

This book constitutes the refereed proceedings of the 20th International Conference on Logic Programming, ICLP 2004, hel

378 109 8MB Read more

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2004: 7th International Conference, Saint-Malo, France, September 26-29, 2004. Proceedings, Part II [1 ed.] 3540229779, 9783540229773, 9783540301363

The 7th International Conference on Medical Imaging and Computer Assisted Intervention, MICCAI 2004, was held in Saint-M

390 32 14MB Read more

Medical Image Computing and Computer-Assisted Intervention – MICCAI 2004: 7th International Conference, Saint-Malo, France, September 26-29, 2004. Proceedings, Part I [1 ed.] 3540229760, 9783540229766, 9783540301356

The 7th International Conference on Medical Imaging and Computer Assisted Intervention, MICCAI 2004, was held in Saint-M

381 44 12MB Read more

Memory Management: International Workshop IWMM 92 St. Malo, France, September 17–19, 1992 Proceedings [1 ed.] 9783540559405, 354055940X, 038755940X

This is the first book entirely dedicated to the problem of memory management in programming language implementation. It

318 55 211KB Read more

Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings [1 ed.] 3540238425, 9783540238423, 9783540305040

This book constitutes the refereed proceedings of the Third International Workshop on Rules and Rule Markup Languages fo

317 100 4MB Read more

Algorithms in Bioinformatics: 4th International Workshop, WABI 2004, Bergen, Norway, September 17-21, 2004. Proceedings [1 ed.] 3540230181

This book constitutes the refereed proceedings of the 4th International Workshop on Algorithms in Bioinformatics, WABI 2

365 34 5MB Read more

Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings 3540301097

This book constitutes the refereed proceedings of the 14th International Conference on Inductive Logic Programming, ILP

418 41 7MB Read more

E-Commerce and Web Technologies: 5th International Conference, EC-Web 2004, Zaragoza, Spain, August 31-September 3, 2004. Proceedings [1 ed.] 3540229175, 9783540229179, 9783540300779

We welcome you to the proceedings of the 5t International Conference on E- CommerceandWebTechnology(EC-Web2004)heldincon

334 35 7MB Read more

Computer Vision and Graphics: International Conference, ICCVG 2004, Warsaw, Poland, September 2004, Proceedings (Computational Imaging and Vision) 1402041780, 9781402041785

As the speed, capabilities, and economic advantages of modern digital devices c- tinue to grow, the need for ef?cient in

113 13 78MB Read more

Artificial Intelligence: Methodology, Systems, and Applications: 11th International Conference, Aimsa 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings 3540301062

This book constitutes the refereed proceedings of the 11th International Conference on Artificial Intelligence: Methodol

380 13 10MB Read more