Principles and Practice of Semantic Web Reasoning International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings

This book constitutes the refereed proceedings of the International Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2003, held in Mumbai, India in December 2003 as satellite meeting of ICLP 2003.
The 13 revised full papers presented were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on foundations of semantic Web reasoning, reasoning in practice, query- and rule-languages, and semantics and knowledge representation.

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.