Rule - Based Modeling and Computing on the Semantic Web: 5th International Symposium, RuleML 2011– America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings

329 Pages·2011·4.964 MB·English

by  Christian de Sainte Marie (auth.), Frank Olken, Monica Palmirani, Davide Sottara (eds.)

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