Rules and Rule Markup Languages for the Semantic Web: Second International Workshop, RuleML 2003, Sanibel Island, FL, USA, October 20, 2003, Proceedings (Lecture Notes in Computer Science)

Ruleml 2003 Was The Second International Workshop On Rules And Rule Markup Languages For The Semantic Web, Held In Conjunction With The International Semantic Web Conference (iswc). The Aim Of The Ruleml Workshop Series Is To Stimulate Research On All Issues Related To Web Rule Languages And To Provide An Annual Forum For Presenting And Discussing New Research Results. The Semantic Web Is A Major World-wide Endeavor To Advance The Web By Enriching Its Multimedia Document Content With Propositional Information That Can Be Processed By Inference-enabled Web Applications. Rules And Rule Markup Languages, Such As Ruleml, Will Play An Important Role In The Success Of The Semantic Web. Rules Will Act As A Means To Draw Inferences, To Express Constraints,tospecifypoliciesforreactingtoevents,totransformdata,etc.rule Markup Languages Will Allow Us To Enrich Web Ontologies By Adding De?nitions Of Derived Concepts, To Publish Rules On The Web, To Exchange Rules Between Di?erent Systems And Tools, Etc. Ruleml 2003 Built On The Success Of Ruleml 2002, Which Was Held In C- Junction With Iswc 2002, Sardinia, Italy. The Proceedings Of Ruleml 2002 Can Be Found At Http://www.ceur-ws.org/vol-60/. Special Highlights Of The Ruleml 2003 Workshop Were The Two Invited Pres- Tationsgivenbypeterchenon“rules,xml,andtheermodel”andbyharold Boley On “object-oriented Ruleml: User-level Roles, Uri-grounded Clauses, And Order-sorted Terms”. This Proceedings Volume Also Contains An Invited - Per By Francois ¸ Bry And Sebastian Scha?ert On “an Entailment Relation For Reasoning On The Web”. Object-oriented Ruleml: User-level Roles, Uri-grounded Clauses, And Order-sorted Terms -- An Entailment Relation For Reasoning On The Web -- A Rule-based Xml Access Control Model -- Inference Of Reactive Rules From Dependency Models -- Value-added Metatagging: Ontology And Rule Based Methods For Smarter Metadata -- Constructing Ruleml-based Domain Theories On Top Of Owl Ontologies -- Inheritance And Rules In Object-oriented Semantic Web Languages -- Rules And Defeasible Reasoning On The Semantic Web -- Inference Queues For Communicating And Monitoring Declarative Information Between Web Services -- Combining An Inference Engine With Databases: A Rule Server -- Extraction Of Structured Rules From Web Pages And Maintenance Of Mutual Consistency: Xrml Approach -- Ruleml Annotation For Automatic Collection Levels On Mets Metadata. Michael Schroeder, Gerd Wagner, Eds. Held In Conjunction With The International Semantic Web Conference. Includes Bibliographical References And Index. RuleML 2003 was the second international workshop on rules and rule markup languages for the Semantic Web, held in conjunction with the International Semantic Web Conference (ISWC). The aim of the RuleML workshop series is to stimulate research on all issues related to web rule languages and to provide an annual forum for presenting and discussing new research results. The Semantic Web is a major world-wide endeavor to advance the Web by enriching its multimedia document content with propositional information that can be processed by inference-enabled Web applications. Rules and rule markup languages, such as RuleML, will play an important role in the success of the Semantic Web. Rules will act as a means to draw inferences, to express constraints,tospecifypoliciesforreactingtoevents,totransformdata,etc.Rule markup languages will allow us to enrich Web ontologies by adding de?nitions of derived concepts, to publish rules on the Web, to exchange rules between di?erent systems and tools, etc. RuleML 2003 built on the success of RuleML 2002, which was held in c- junction with ISWC 2002, Sardinia, Italy. The proceedings of RuleML 2002 can be found at http://www.ceur-ws.org/Vol-60/. Special highlights of the RuleML 2003 workshop were the two invited pres- tationsgivenbyPeterChenon?Rules,XML,andtheERModel?andbyHarold Boley on ?Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms?. This proceedings volume also contains an invited - per by Francois {u00B8} Bry and Sebastian Scha?ert on ?An Entailment Relation for Reasoning on the Web? Front Matter....Pages - Object-Oriented RuleML: User-Level Roles, URI-Grounded Clauses, and Order-Sorted Terms....Pages 1-16 An Entailment Relation for Reasoning on the Web....Pages 17-34 A Rule-Based XML Access Control Model....Pages 35-48 Inference of Reactive Rules from Dependency Models....Pages 49-64 Value-Added Metatagging: Ontology and Rule Based Methods for Smarter Metadata....Pages 65-80 Constructing RuleML-Based Domain Theories on Top of OWL Ontologies....Pages 81-94 Inheritance and Rules in Object-Oriented Semantic Web Languages....Pages 95-110 Rules and Defeasible Reasoning on the Semantic Web....Pages 111-120 Inference Queues for Communicating and Monitoring Declarative Information between Web Services....Pages 121-135 Combining an Inference Engine with Databases: A Rule Server....Pages 136-149 Extraction of Structured Rules from Web Pages and Maintenance of Mutual Consistency: XRML Approach....Pages 150-163 RuleML Annotation for Automatic Collection Levels on METS Metadata....Pages 164-171 Back Matter....Pages - This book constitutes the refereed proceedings of the Second International Workshop on Rules and Rule Markup Languages for the Semantic Web, RuleML 2003, held in Sanibel Island, Florida, USA in October 2003 in conjunction with ISWC 2003. Rules and rule markup languages will play an important role for the success of the semantic Web. Rules will act as a means to draw inferences, to express constraints, to specify policies for reaching to events, to transform data, etc. Rule markup languages will allow to enrich Web ontologies by adding definitions of derived concepts, to publish rules on the Web, to exchange rules between different systems, etc. The nine revised full papers presented together with two invited papers were carefully reviewed and selected for presentation. All current issues on rules and rule markup languages for the semantic Web are addressed