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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Ohlbach, Hans J. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Schaffert, Sebastian (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
• Έκδοση: 1st ed. 2004.
• Σειρά: Lecture Notes in Computer Science, 3208
• Θέματα: Computer science.; Database management.; Application software.; Information storage and retrieval.; Artificial intelligence.; Mathematical logic.; Popular Computer Science.; Database Management.; Information Systems Applications (incl. Internet).; Information Storage and Retrieval.; Artificial Intelligence.; Mathematical Logic and Formal Languages.

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

Πίνακας περιεχομένων:

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