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.
Author(s): Mike Dean (auth.), Grigoris Antoniou, Harold Boley (eds.)
Series: Lecture Notes in Computer Science 3323
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2004
Language: English
Pages: 217
City: Philadelphia
Tags: Information Systems Applications (incl.Internet); Information Storage and Retrieval; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Multimedia Information Systems; Programming Languages, Compilers, Interpreter
Front Matter....Pages -
Semantic Web Rules: Covering the Use Cases....Pages 1-5
Combining Rule and Ontology Reasoners for the Semantic Web....Pages 6-22
A System for Nonmonotonic Rules on the Web....Pages 23-36
Rule Learning for Feature Values Extraction from HTML Product Information Sheets....Pages 37-48
A Defeasible Logic Reasoner for the Semantic Web....Pages 49-64
R-DEVICE: A Deductive RDF Rule Language....Pages 65-80
Well-Founded Semantics for Description Logic Programs in the Semantic Web....Pages 81-97
Defeasible Description Logics....Pages 98-112
Semantic Web Reasoning with Conceptual Logic Programs....Pages 113-127
Bossam: An Extended Rule Engine for OWL Inferencing....Pages 128-138
Extending SWRL to Express Fully-Quantified Constraints....Pages 139-154
An Extension to OWL with General Rules....Pages 155-169
Combining Description Logic and Defeasible Logic for the Semantic Web....Pages 170-181
Rewrite Rules as Service Integrators....Pages 182-187
SweetProlog: A System to Integrate Ontologies and Rules....Pages 188-193
SWRLp: An XML-Based SWRL Presentation Syntax....Pages 194-199
XET as a Rule Language for Consistency Maintenance in UML....Pages 200-204
A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies – Preliminary Report....Pages 205-213
Back Matter....Pages -
