Principles and Practice of Semantic Web Reasoning

Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings

  • François Fages
  • Sylvain Soliman
Conference proceedings PPSWR 2005

DOI: 10.1007/11552222

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3703)

Table of contents (15 papers)

  1. Front Matter
  2. Architectures

    1. SomeWhere in the Semantic Web
      P. Adjiman, P. Chatalic, F. Goasdoué, M. -C. Rousset, L. Simon
      Pages 1-16
    2. A Framework for Aligning Ontologies
      Patrick Lambrix, He Tan
      Pages 17-31
    3. A Revised Architecture for Semantic Web Reasoning
      Peter F. Patel-Schneider
      Pages 32-36
    4. Semantic Web Architecture: Stack or Two Towers?
      Ian Horrocks, Bijan Parsia, Peter Patel-Schneider, James Hendler
      Pages 37-41
  3. Languages

    1. Ten Theses on Logic Languages for the Semantic Web
      François Bry, Massimo Marchiori
      Pages 42-49
    2. Logical Reconstruction of RDF and Ontology Languages
      Jos de Bruijn, Enrico Franconi, Sergio Tessaris
      Pages 65-71
    3. Marriages of Convenience: Triples and Graphs, RDF and XML in Web Querying
      Tim Furche, François Bry, Oliver Bolzer
      Pages 72-84
    4. Descriptive Typing Rules for Xcerpt
      Sacha Berger, Emmanuel Coquery, Włodzimierz Drabent, Artur Wilk
      Pages 85-100
    5. A General Language for Evolution and Reactivity in the Semantic Web
      José Júlio Alferes, Ricardo Amador, Wolfgang May
      Pages 101-115
  4. Reasoning

  5. Back Matter

About these proceedings

Keywords

Extensible Markup Language (XML) Path XML XML queries architecture context formal methods formal reasoning learning logic ontologies ontology semantic Web architectures semantic web temporal notions

Editors and affiliations

  • François Fages
    • 1
  • Sylvain Soliman
    • 2
  1. 1.Projet ContraintesINRIA RocquencourtLe Chesnay CedexFrance
  2. 2.Projet ContraintesINRIA RocquencourtLe Chesnay CedexFrance

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-28793-3
  • Online ISBN 978-3-540-32028-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349