Rules and Rule Markup Languages for the Semantic Web

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.

Inhalt

Towards an Event-Driven Architecture: An Infrastructure for Event Processing Position Paper.- Enabling Semantic Web Inferencing with Oracle Technology: Applications in Life Sciences.- A Realistic Architecture for the Semantic Web.- Active Rules in the Semantic Web: Dealing with Language Heterogeneity.- Towards an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML.- A Semantic Web Framework for Interleaving Policy Reasoning and External Service Discovery.- Reactive Rules-Based Dependency Resolution for Monitoring Dynamic Environments.- Towards Discovery of Frequent Patterns in Description Logics with Rules.- Design and Implementation of an ECA Rule Markup Language.- Extending the SweetDeal Approach for e-Procurement Using SweetRules and RuleML.- Using SWRL and OWL to Capture Domain Knowledge for a Situation Awareness Application Applied to a Supply Logistics Scenario.- A Semantic Web Based Architecture for e-Contracts in Defeasible Logic.- Merging and Aligning Ontologies in dl-Programs.- A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web.- Flavours of XChange, a Rule-Based Reactive Language for the (Semantic) Web.- Rule-Based Framework for Automated Negotiation: Initial Implementation.- Uncertainty and RuleML Rulebases: A Preliminary Report.- Nested Rules in Defeasible Logic.- ContractLog: An Approach to Rule Based Monitoring and Execution of Service Level Agreements.- The OO jDREW Reference Implementation of RuleML.