Rules and Rule Markup Languages for the Semantic Web: First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings (Lecture Notes in Computer Science, 3791)

RuleML 2005 was the ?rst international conference on rules and rule markup languages for the Semantic Web, held in conjunction with the International Semantic Web C- ference (ISWC) at Galway, Ireland. With the success of the RuleML workshop series came the need for extended research and applications topics organized in a conference format. RuleML 2005 also accommodated the ?rst Workshop on OWL: Experiences and Directions. Rules are widely recognized to be a major part of the frontier of the Semantic Web, and critical to the early adoption and applications of knowledge-based techniques in- business, especially enterprise integration and B2B e-commerce. This includes kno- edge representation (KR) theory and algorithms; markup languages based on such KR; engines, translators, and other tools; relationships to standardization efforts; and, not least, applications. Interest and activity in the area of rules for the Semantic Web has grown rapidly over the last ?ve years. The RuleML 2005 Conference was aimed to be this year’s premiere scienti?c conference on the topic. It continued in topic, leadership, and collaboration with the previous series of three highly successful annual inter- tional workshops (RuleML 2004, RuleML 2003 and RuleML 2002). The theme for RuleML 2005 was rule languages for reactive and proactive rules, complex event p- cessing, and event-driven rules, to support the emergence of Semantic Web applications. Special highlights of the RuleML 2005 conference included the keynote address by Sir Tim Berners- Lee, Director of W3C. Front Matter....Pages - Towards an Event-Driven Architecture: An Infrastructure for Event Processing Position Paper....Pages 1-7 Enabling Semantic Web Inferencing with Oracle Technology: Applications in Life Sciences....Pages 8-16 A Realistic Architecture for the Semantic Web....Pages 17-29 Active Rules in the Semantic Web: Dealing with Language Heterogeneity....Pages 30-44 Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML....Pages 45-55 A Semantic Web Framework for Interleaving Policy Reasoning and External Service Discovery....Pages 56-70 Reactive Rules-Based Dependency Resolution for Monitoring Dynamic Environments....Pages 71-83 Towards Discovery of Frequent Patterns in Description Logics with Rules....Pages 84-97 Design and Implementation of an ECA Rule Markup Language....Pages 98-112 Extending the SweetDeal Approach for e-Procurement Using SweetRules and RuleML....Pages 113-129 Using SWRL and OWL to Capture Domain Knowledge for a Situation Awareness Application Applied to a Supply Logistics Scenario....Pages 130-144 A Semantic Web Based Architecture for e-Contracts in Defeasible Logic....Pages 145-159 Merging and Aligning Ontologies in dl-Programs....Pages 160-171 A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web....Pages 172-186 Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web....Pages 187-192 Rule-Based Framework for Automated Negotiation: Initial Implementation....Pages 193-198 Uncertainty and RuleML Rulebases: A Preliminary Report....Pages 199-203 Nested Rules in Defeasible Logic....Pages 204-208 ContractLog: An Approach to Rule Based Monitoring and Execution of Service Level Agreements....Pages 209-217 The OO jDREW Reference Implementation of RuleML....Pages 218-223 Back Matter....Pages -

This book constitutes the refereed proceedings of the First International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML 2005, held in Galway, Ireland in November 2005 co-located with the 4th International Semantic Web Conference, ISWC 2005.

The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from around 30 submitted papers. The papers present information about requirements, applications, technology solutions, and the latest research on rule languages and standards, with the ultimate goal of advancing a standard framework for Semantic Web rules - critical to the early adoption and applications of knowledge-based techniques in e-business, especially enterprise integration and B2B e-commerce. This includes knowledge representation (KR) theory and algorithms; markup languages based on such KR; engines, translators, and other tools; relationships to standardization efforts; and, not least, applications.

This book constitutes the refereed proceedings of the First International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML 2005, held in Galway, Ireland in November 2005 co-located with the 4th International Semantic Web Conference, ISWC 2005. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from around 30 submitted papers. The papers present information about requirements, applications, technology solutions, and the latest research on rule languages and standards, with the ultimate goal of advancing a standard framework for Semantic Web rules - critical to the early adoption and applications of knowledge-based techniques in e-business, especially enterprise integration and B2B e-commerce. This includes knowledge representation (KR) theory and algorithms; markup languages based on such KR; engines, translators, and other tools; relationships to standardization efforts; and, not least, applications