Principles and Practice of Semantic Web Reasoning

International Workshop, PPSWR 2003, Mumbai, India, December 8, 2003, Proceedings
2003
ISBN: 978-3-540-20582-1
Verlag: Springer Berlin Heidelberg

Buch, Englisch, Band 2901, 214 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 347 g

Reihe: Lecture Notes in Computer Science

while(forwardand/orbackward)chainingisthereasoningofchoicewhencoping with database-like views (for views, i.e., virtual data, can be derived from actual data using operations such as join and projections).

Zielgruppe

Research

Autoren/Hrsg.

Bry, Francois

Maluszynski, Jan

Henze, Nicola

Fachgebiete

• Mathematik | Informatik EDV | Informatik Daten / Datenbanken Datenbanken & das Web
• Mathematik | Informatik EDV | Informatik Digital Lifestyle Internet, E-Mail, Social Media
• Mathematik | Informatik EDV | Informatik Daten / Datenbanken Datenkompression, Dokumentaustauschformate
• Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Webprogrammierung

Inhaltsverzeichnis

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.