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....
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Institution som forfatter: | |
| Andre forfattere: | |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
3208 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Principles and practice of Semantic Web reasoning, Second international workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004, proceedings, Hans Jürgen Ohlbach, Sebastian Schaffert (eds.), Berlin, Springer, 2004, 1 vol. (VI-163 p.), Lecture notes in computer science, 3-540-22961-2 • Principles and Practice of Semantic Web Reasoning, Texte imprimé, 9783662214213 |
| LEADER | 04606nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 973196 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155236849 | ||
| 020 | |a 9783540301226 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Ohlbach, Hans Jürgen. | |
| 245 | 1 | 0 | |a Principles and practice of Semantic Web reasoning : |b Second international workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004 : proceedings |c [edited by] Hans Jürgen Ohlbach, Sebastian Schaffert. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 3208 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 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. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Web sémantique | ||
| 650 | |a Informatique documentaire | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Schaffert, Sebastian. |4 pbd | |
| 711 | 2 | |a PPSWR 2004 |n (2nd |d :2004 |c :Saint Malo, FR). |4 aut | |
| 776 | 0 | |0 081200757 |t Principles and practice of Semantic Web reasoning |o Second international workshop, PPSWR 2004, St. Malo, France, September 6-10, 2004 |o proceedings |f Hans Jürgen Ohlbach, Sebastian Schaffert (eds.) |c Berlin |n Springer |d 2004 |p 1 vol. (VI-163 p.) |s Lecture notes in computer science |z 3-540-22961-2 | |
| 776 | 0 | |t Principles and Practice of Semantic Web Reasoning |b Texte imprimé |z 9783662214213 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b100228 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-W86BTR87-0 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750628502 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b100228 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753985446 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b100228 |z Accès INSA CVL | |
| 997 | |0 973196 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||

