Lecture Notes in Computer Science 7018 CommencedPublicationin1973 FoundingandFormerSeriesEditors: GerhardGoos,JurisHartmanis,andJanvanLeeuwen EditorialBoard DavidHutchison LancasterUniversity,UK TakeoKanade CarnegieMellonUniversity,Pittsburgh,PA,USA JosefKittler UniversityofSurrey,Guildford,UK JonM.Kleinberg CornellUniversity,Ithaca,NY,USA AlfredKobsa UniversityofCalifornia,Irvine,CA,USA FriedemannMattern ETHZurich,Switzerland JohnC.Mitchell StanfordUniversity,CA,USA MoniNaor WeizmannInstituteofScience,Rehovot,Israel OscarNierstrasz UniversityofBern,Switzerland C.PanduRangan IndianInstituteofTechnology,Madras,India BernhardSteffen TUDortmundUniversity,Germany MadhuSudan MicrosoftResearch,Cambridge,MA,USA DemetriTerzopoulos UniversityofCalifornia,LosAngeles,CA,USA DougTygar UniversityofCalifornia,Berkeley,CA,USA GerhardWeikum MaxPlanckInstituteforInformatics,Saarbruecken,Germany Frank Olken Monica Palmirani Davide Sottara (Eds.) Rule-Based Modeling and Computing on the Semantic Web 5th International Symposium, RuleML 2011 –America Ft. Lauderdale, FL, USA, November 3-5, 2011 Proceedings 1 3 VolumeEditors FrankOlken FrankOlkenConsulting P.O.Box527,Berkeley,CA,94701,USA E-mail:[email protected] MonicaPalmirani UniversityofBologna CIRSFID ViaGalliera3,40121Bologna,Italy E-mail:[email protected] DavideSottara UniversityofBologna DEIS VialeRisorgimento2,40136Bologna,Italy E-mail:[email protected] ISSN0302-9743 e-ISSN1611-3349 ISBN978-3-642-24907-5 e-ISBN978-3-642-24908-2 DOI10.1007/978-3-642-24908-2 SpringerHeidelbergDordrechtLondonNewYork LibraryofCongressControlNumber:2011938949 CRSubjectClassification(1998):D.2,I.2,C.2.4,H.4,H.3,C.2,I.2.11 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ©Springer-VerlagBerlinHeidelberg2011 Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable toprosecutionundertheGermanCopyrightLaw. Theuseofgeneraldescriptivenames,registerednames,trademarks,etc.inthispublicationdoesnotimply, evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevantprotectivelaws andregulationsandthereforefreeforgeneraluse. Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SpringerispartofSpringerScience+BusinessMedia(www.springer.com) Preface The 5th International Symposium on Rules: Research–Based and Industry– Focused, RuleML–2011@BRF,collocated with the InternationalBusiness Rules Forum in Fort Lauderdale, Florida, was the second installment of the RuleML Symposium in 2011.The first RuleML-2011 conference was held in conjunction withthe22thInternationalJointConferenceonArtificialIntelligence(IJCAI),in Barcelona,Spain,inJuly(seeLectureNotes in ComputerScience6826,Springer 2011). The second conference was located with the Business Rule Forum, the premier world-wide industry conference on business rules and decisioning, held in Florida, in November of 2011. RuleML-2011@BRFwasaconferencecreated,inspiredandsupportedbythe RuleML Initiative. RuleML (http://www.ruleml.org)is a non-profit umbrella organization.It includes severalTechnical Groups,organizedby representatives fromacademia,industry,andgovernment,workingonruletechnologiesandtheir applications. Its aim is to promote the study, research, and application of rules inheterogeneous,distributed environmentssuchas the Web. The RuleML com- munity has developed the RuleML/XML standard aiming at a complete and modularized XML language for modeling and serializing declarative as well as reactive rules. RuleML maintains effective links with other major international societies. It acts as an intermediary between various “specialized” rule vendors, industrial and academic researchgroups,as well as standardizationbodies such as W3C, OMG, and OASIS. For example, a cooperative arrangement with the NIEMcommunity (NationalInformationExchangeModel, promotedby the US federal governmenthttps://www.niem.gov),was consolidated with the help of Oracle Corporation. TheInternationalSymposiumonRules,RuleML,hasevolvedfromanannual seriesofinternationalworkshopsheldsince2002.In2005and2006itbecamean international conference. It has become an international symposium since 2007, held jointly with the International Business Rules Forum. For 2011, RuleML envisioned the opportunity to capture the attention of the most advanced AI community with the RuleML-2011@IJCAI conference, and this provided new keyactorsinthecommunity.Forthisreason,theProgramCommitteeofRulML- 2011@BRFwascomposedofover100expertscomingfromheterogeneousfields, 16 special Track Chairs, and dedicate Challenge Award Chairs. Due to its orientation toward the industrial sector, RuleML-2011@BRF in- cluded the RuleML Challenge Award which is dedicated to showcasing high- lighted demos: this year, the Challenge was dedicated to Rules, Objects and Ontologies. RuleML-2011@BRF intended specifically to create a unique place where academic researchers and industry experts involved in the field of rules and semantic technology could meet and cooperate to go beyond the state of the art and develop applications usable in the market. This cross-fertilization VI Preface wasafocusofRuleML-2011@BRFand,forthisreason,particularattentionwas putoninvitedpresentationsanddemoscomingfromuniversitiesandcompanies. RuleML-2011@BRFemphasized the synergy between high-quality researchand industry operating in the rule modeling, markup, and reasoning domain, with particular regard to the usability of such rule systems in the Web environment. The papers in this volume concern the RuleML-2011@BRF conference and include4keynotespeeches(someintheformofshortpapers,someasabstracts), 4 invited presentations coming from industry partners and standard organiza- tions, 12 full papers, 5 short papers, 5 invited track and position papers. Sixty authorswereinvolved,comingfrom11differentcountriesfromaroundtheworld. The contributions covered topics spanning a wide terrain, such as (Web) rules, semantic technology, cross-industry standards, rules and automated reasoning, rule-based distributed/multi-agent systems, rules and norms, rule-based event processing and reaction rules, vocabularies and ontologies, as well as business rules. More and more the rule modeling research needs to be integrated with ontology and semantic techniques [de Sainte Marie; Tang; Gravier et. al.], lin- guistics aspects [Omrane et. al.], emerging knowledge discovery issues, agent systems and business rule management [Kao; Pitt et. al.; Olivieri et. al.; Feld- man; Vanthienen]. It is necessary to learn, in a way that is as much as possible automatic, rules from large volumes of data, from documents available on the Web and from events/actions occurring at specific moments in time [Paschke, Vincent and Springer; Vincent; Skarlatidis et. al.]. On the other hand, it nec- essary to evolve standards, such as RuleML, to customize rule systems for a multitude of real-world cases [Athan and Boley; Sadnan; Osmun et. al.; Becker andMackay;Palmiraniet.al.]andtopermitthedevelopmentofcomputable,ef- fectiveandconcreteapplicationsusingthenewgenerationofrule-engines[Yahya and Theobald; Zhao et. al.; Grosof]. Finally, databases can be managed using new approaches [Bak et. al; Urban et. al.; Shiva et. al.]; considering the growth of “unstructured data,” they need to be normalized and queried using hybrid, rule-based reasoning engines. So, an interesting scenario is emerging from the paperspresentedinthisvolume:rulesnotonlysupportknowledgemodelingand reasoning, but also consistency management of large data volumes to get more precise answers to queries [Aasman]. WeenrichedtheRuleML-2011@BRFtechnicalpanelwiththreemorespecific verticaltracksinemergingfieldslikecloudcomputingandrules[Spies;Tabetand Pohlman],NIEMandrules[Webber],aswellasclinicalsemanticsandrules[Fry andSottara;Bragagliaet.al.].Duetotheaboveefforts,RuleML-2011@BRF,like its predecessors,offereda high-quality,application-orientedprogram,whichwas the resultofthejointeffortofthe membersofthe RuleML-2011@BRFProgram Committee. A special thanks is due to the excellent Program Committee for their hard workinreviewingthesubmittedpapers.Theirveryusefulcommentsandsugges- tions were instrumental to achieving a high publication quality. We also thank thesymposiumauthorsforsubmittinggoodpapers,respondingtothereviewers’ comments, and abiding by our production schedule. We further wish to thank Preface VII the keynote speakers, industrial partners, and the invited track authors who contributed their interesting talks. We are very grateful to the organizersof the nth14 International Business Rules Forum for enabling this fruitful collocation with RuleML-2011@BRF. We would especially like to thank Rising Media for its support. The RuleML-2011@BRFSymposiumwasfinanciallysupportedbyindustrial companies, research institutes, and universities, and was technically supported byseveralprofessionalsocieties.Wewishtothankoursponsorsfortheirfinancial support, which helped us to offer this event, and for their technical support, which enabled us to attract many high-quality submissions. August 2011 Frank Olken Monica Palmirani Davide Sottara Conference Organization General Chairs Mike Dean Raytheon BBN Technologies, USA Said Tabet RuleML Initiative, USA Program Chairs Frank Olken Frank Olken Consulting, USA Monica Palmirani CIRSFID, University of Bologna,Italy Davide Sottara DEIS, University of Bologna, Italy Steering Chairs Christian de Sainte Marie IBM ILOG, France John Hall Model Systems, UK Challenge Chairs Stefano Bragaglia DEIS, University of Bologna, Italy Marco Montali KRDB, Faculty of Computer Science, Italy Charles Petrie Stanford University, USA Mark Proctor Red Hat, UK Metadata Chairs and Social Media Chairs Adrian Paschke Free University of Berlin, Germany Nick Bassiliades Aristotle University of Thessaloniki, Greece Jie Bao Rensselaer Polytechnic Institute, USA Richard Cyganiak DERI Galway, Ireland Lina Wolf HPI Potsdam, Germany Rule Responder Symposium Planner Chairs Kalliopi Kravari Aristotle University of Thessaloniki, Greece Zhili Zhao Free University Berlin, Germany X Conference Organization Web Chairs Luca Cervone CIRSFID,University of Bologna, Italy Gkhan Coskun Free University of Berlin, Germany Ho-Pun (Brian) Lam NICTA and University of Queensland, Australia Track Chairs Rules, Semantic Technology, and Cross-Industry Standards Benjamin Grosof Vulcan Inc., USA Rules and Automated Reasoning Eric Jui-Yi Kao Stanford University, USA Rule-Based Distributed/Multi-Agent Systems Nick Bassiliades Aristotle University of Thessaloniki, Greece Vocabularies, Ontologies, and Business Rules Dragan Gasevic Athabasca University, Canada Ebrahim Bagheri Athabasca University, Canada NIEM and Rules Devid Webber Oracle Corporation, USA Cloud Computing and Rules Said Tabet RuleML Initiative, USA Clinical Semantics and Rules Emory Fry Naval Health Research Center San Diego, USA Fuzzy Rules and Uncertainty Davide Sottara DEIS, University of Bologna, Italy Rules and Norms Antonino Rotolo CIRSFID, University of Bologna,Italy Leon Van Der Torre University of Luxembourg, Luxembourg Thomas Gordon Fraunhofer FOKUS, Germany Conference Organization XI Rule-Based Policies, Reputation, and Trust Pierangela Samarati University of Milan, Italy Rule-Based Event Processing and Reaction Rules Alex Kozlenkov Betfair Ltd., UK Adrian Paschke Free University of Berlin, Germany Paul Vincent TIBCO Software, UK Program Committee Hassan Ait-Kaci IBM, Canada Patrick Albert IBM ILOG, France Darko Anicic FZI Karlsruhe,Germany Alexander Artikis NCSR “Demokritos”, Greece Colin Atkinson University of Mannheim, Germany Costin Badica University of Craiova, Romania Sidney Bailin Knowledge Evolution, USA Matteo Baldoni University of Turin, Italy Claudio Bartolini HP Labs, USA Bernhard Bauer University of Augsburg, Germany Moritz Becker Microsoft Research Cambridge, UK Mikael Berndtsson University of Sko¨vde, Sweden Jonathan Bnayahu IBM Haifa Research Lab, Israel Guido Boella University of Turin, Italy Peter Bollen University of Maastricht, The Netherlands Lars Braubach University of Hamburg, Germany Christoph Bussler Merced Systems, Inc., USA Jordi Cabot Universitat Oberta de Catalunya, Spain Carlos Castro Universidad T´ecnica Federico Santa Mar´ıa, Chile Donald Chapin Business Semantics Ltd., UK Federico Chesani University of Bologna, Italy Horatiu Cirstea Loria, France Kendall Clark Clark&Parsia,LLC, USA Matteo Cristani University of Verona, Italy Claudia D’Amato University of Bari, Italy Celia Da Costa Pereira Universit`a degli Studi di Milano, Italy Luiz O. B. Da Silva Santos University of Twente, The Netherlands Jens Dietrich Massey University, New Zealand Juergen Dix Technische Universitaet Clausthal, Germany Weichang Du University of New Brunswick, Canada Schahram Dustdar Vienna University of Technology, Austria Andreas Eberhart Fluid Operations, Germany Jenny Eriksson Lundstrom Uppsala University, Sweden