an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Service Discovery . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 Jinghai Rao and Norman Sadeh Reactive Rules-Based Dependency Resolution for Monitoring Dynamic Environments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 Dagan Gilat, Royi Ronen, Ron Rothblum, Guy Sharon, and Inna Skarbovsky Towards Discovery of Frequent Patterns in Description Logics with Rules . . . . . . 84 Joanna J´ozefowska, Agnieszka Ławrynowicz, and Tomasz Łukaszewski Design and Implementation of an ECA Rule Markup Language . . . . . . . . . . . . . . . 98 Marco Seiri¨o and Mikael Berndtsson Extending the SweetDeal Approach for e-Procurement Using SweetRules and RuleML . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113 Sumit Bhansali and Benjamin N...