Rules and Rule Markup Languages for the Semantic Web Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, Proceedings

This book constitutes the refereed proceedings of the Third International Workshop on Rules and Rule Markup Languages for the Semantic Web, RuleML 2004, held in Hiroshima, Japan, in November 2004, together with ISWC 2004.
The 11 revised full papers presented together with 2 invited papers and 5 tool presentation abstracts were carefully reviewed and selected from 25 submissions. Among the topics addressed are nonmonotonic rule systems, rule learning for feature extraction, logic reasoners for the Semantic Web, deductive RDF rule languages, description logic programs, defeasible description logics, conceptual logic programs, OWL inferencing, and Semantic Web reasoning.

Invited Talks.- Semantic Web Rules: Covering the Use Cases.- Combining Rule and Ontology Reasoners for the Semantic Web.- Regular Papers.- A System for Nonmonotonic Rules on the Web.- Rule Learning for Feature Values Extraction from HTML Product Information Sheets.- A Defeasible Logic Reasoner for the Semantic Web.- R-DEVICE: A Deductive RDF Rule Language.- Well-Founded Semantics for Description Logic Programs in the Semantic Web.- Defeasible Description Logics.- Semantic Web Reasoning with Conceptual Logic Programs.- Bossam: An Extended Rule Engine for OWL Inferencing.- Extending SWRL to Express Fully-Quantified Constraints.- An Extension to OWL with General Rules.- Combining Description Logic and Defeasible Logic for the Semantic Web.- Short Tool Presentations.- Rewrite Rules as Service Integrators.- SweetProlog: A System to Integrate Ontologies and Rules.- SWRLp: An XML-Based SWRL Presentation Syntax.- XET as a Rule Language for Consistency Maintenance in UML.- A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies – Preliminary Report.