Normal view MARC view ISBD view

Principles and practice of Semantic Web reasoning : third international workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 ; proceedings / Semantic Web reasoning PPSWR 2005 Francois Fages, Sylvain Soliman (eds.). - Berlin ; New York : Springer, ©2005. - 1 online resource (x, 162 pages) : illustrations - Lecture notes in computer science, 3703 0302-9743 ; . - Lecture notes in computer science ; 3703. .

Includes bibliographical references and index.

Architectures -- SomeWhere in the Semantic Web -- A Framework for Aligning Ontologies -- A Revised Architecture for Semantic Web Reasoning -- Semantic Web Architecture: Stack or Two Towers? -- Languages -- Ten Theses on Logic Languages for the Semantic Web -- Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules -- Logical Reconstruction of RDF and Ontology Languages -- Marriages of Convenience: Triples and Graphs, RDF and XML in Web Querying -- Descriptive Typing Rules for Xcerpt -- A General Language for Evolution and Reactivity in the Semantic Web -- Reasoning -- Use Cases for Reasoning with Metadata or What Have Web Services to Do with Integrity Constraints? -- Principles of Inductive Reasoning on the Semantic Web: A Framework for Learning in -Log -- Computational Treatment of Temporal Notions: The CTTN-System -- A Geospatial World Model for the Semantic Web -- Generating Contexts for Expression Data Using Pathway Queries.

"The PPSWR 2005 workshop was part of the Dagstuhl seminar on the Semantic Web ..., held in Dagstuhl, Germany, 11-16 September 2005."

ISBN: 9783540320289 3540320288 3540287930 9783540287933

Publisher. No.: 11552222

Source: 978-3-540-28793-3 Springer http://www.springerlink.com

Nat. Bib. No.: 05,A43,0047 dnb 05,N35,0072 dnb

Nat. Bib. Agency Control No.: 975942131 DE-101

Subjects--Topical Terms:
Semantic Web--Congresses.
Web sémantique--Congrès.
COMPUTERS--Online Services.
COMPUTERS--System Administration--Storage & Retrieval.
Informatique.
Semantic Web.
Abfragesprache
Formale Methode
Inferenz
Ontologie
Semantic Web
XML
Web sémantique.
Raisonnement (Informatique)

Subjects--Index Terms: informatieontsluiting information retrieval informatieopslag information storage informatiesystemen information systems internet wiskunde mathematics computerwetenschappen computer sciences kunstmatige intelligentie artificial intelligence logica logic software engineering Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)

Index Terms--Genre/Form:
Congress
Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
Dagstuhl (2005)
Kongress.

LC Class. No.: TK5105.88815 / .P67 2005eb

Dewey Class. No.: 025.04