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.
Author(s): Uwe Aßmann (auth.), François Bry, Nicola Henze, Jan Małuszyński (eds.)
Series: Lecture Notes in Computer Science 2901
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 214
Tags: Information Systems Applications (incl.Internet); Software Engineering; Mathematical Logic and Formal Languages; Information Storage and Retrieval; Artificial Intelligence (incl. Robotics)
Front Matter....Pages -
Composing Frameworks and Components for Families of Semantic Web Applications....Pages 1-15
Semantic Web Logic Programming Tools....Pages 16-32
Web Rules Need Two Kinds of Negation....Pages 33-50
Towards the Adaptive Semantic Web....Pages 51-68
On Reasoning on Time and Location on the Web....Pages 69-83
Reasoning about Communicating Agents in the Semantic Web....Pages 84-98
A Visual Language for Web Querying and Reasoning....Pages 99-112
XML Document Adaptation Queries (XDAQ): An Approach to Adaptation Reasoning Using Web Query Languages....Pages 113-127
On Types for XML Query Language Xcerpt....Pages 128-145
Integrating Description Logics and Answer Set Programming....Pages 146-159
Extracting Mathematical Semantics from ${L\kern-.36em\raise.3ex\hbox{\sc a}\kern-.15em T\kern-.1667em\lower.7ex\hbox{E}\kern-.125emX}$ Documents....Pages 160-173
Reasoning in Attempto Controlled English....Pages 174-188
Systematics and Architecture for a Resource Representing Knowledge about Named Entities....Pages 189-207
Back Matter....Pages -
