Principles and practice of semantic Web reasoning : International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003 : proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: PPSWR 2003 :Mumbai, India
Weitere Verfasser: Bry, François, 1956-...., informaticien (Verlagsleitung), Henze, Nicola, 1968- (Verlagsleitung), Małuszyński, Jan, 1941- (Verlagsleitung)
Format: Livre numérique
Sprache:Anglais
Veröffentlicht: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Schriftenreihe:Lecture notes in computer science 2901
Schlagworte:
Online Zugang:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Anmerkung: 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, International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, proceedings, François Bry, Nicola Henze, Jan Małuszyński (eds.), Berlin, Springer, 2003, 1 vol. (X-207 p.), Lecture notes in computer science, 3-540-20582-9
• Principles and Practice of Semantic Web Reasoning, Texte imprimé, 9783662166901
Inhaltsangabe:
  • Foundations of Semantic Web Reasoning
  • Composing Frameworks and Components for Families of Semantic Web Applications
  • Semantic Web Logic Programming Tools
  • Web Rules Need Two Kinds of Negation
  • Reasoning in Practice
  • Towards the Adaptive Semantic Web
  • On Reasoning on Time and Location on the Web
  • Reasoning about Communicating Agents in the Semantic Web
  • Query and Rule-Languages
  • A Visual Language for Web Querying and Reasoning
  • XML Document Adaptation Queries (XDAQ): An Approach to Adaptation Reasoning Using Web Query Languages
  • On Types for XML Query Language Xcerpt
  • Integrating Description Logics and Answer Set Programming
  • Semantics and Knowledge Representation
  • Extracting Mathematical Semantics from Documents
  • Reasoning in Attempto Controlled English
  • Systematics and Architecture for a Resource Representing Knowledge about Named Entities.