CfP: The 9th International Web Rule Symposium

June 30, 2015 12:22:22 PM
Freie Universitaet Berlin,
Takustr. 39,
14195 Berlin
From Aug 2, 2015 8:00 AM
To Aug 5, 2015 11:45 PM
(More than 5 hours to end)
Want to learn more about rule technologies, applications and standards? Want to get in touch with researchers and experts in rule-based systems and technologies? Want to see demos of state-of-the-art rule technologies and beyond? Want to discuss with industries and academia on the future of rule technologies? Want to discuss the latest industrial and research developments?

This annual International Web Rule Symposium RuleML 2015 brings together the best minds from around the world to discuss and exchange new scientific insights, standards, practical developments and experiences on issues pertinent to rule technologies in open distributed environments such as the Web.

RuleML 2015 Symposium will take place, August 2-5, 2015, in Berlin, Germany, co-located with the Conference on Automated Deduction (CADE), the Workshop on Formal Ontologies meet Industry (FOMI), the Conference on Web Reasoning and Rule Systems (RR) and the Reasoning Web Summer School (RW). Speakers, attendees and supporters of these aspects of Web rules and standards all look forward to sharing new ideas whilst learning from the broad network of world-class scientists and professionals.

Highlights of the RuleML-2015 program include:
  • Multiple tracks on Complex Event Processing, Legal Rules and Reasoning, Rule Learning, Existential Rules and Datalog +/- and an Industry Track - list of accepted papers
  • Keynotes and Invited Talks by Michael Genesereth on The Herbrand Manifesto - Thinking Inside the Box, Thom Fruehwirth on Constraint Handling Rules and Avigdor Gal on When Processes Rule Event Streams
  • Tutorial day with tutorials about OASIS LegalRuleML, TPTP, PSOA RuleML, Rulelog
  • Standards Face-to-Face Meetings, e.g. OMG API4KB, ISO Common Logic, OASIS LegalRuleML, RuleML 1.02, W3C Semantic Web Rules Community Group (pending) (including discussions about W3C RIF, W3C SWRL, ...)
  • 9th International Rule Challenge with a challenge track about Rule-based Recommender Systems for the Web of Data
  • 5th Doctoral Consortium
  • Poster Session and Berlin Semantic Web Meetup

RuleML 2015 conference registration is open at:

We are also pleased to announce that our sponsor Logic Programming Associates have offered free licences for all their products for one year to all RuleML 2015 participants.

We are pleased to announce that our sponsor ShareLaTeX offered 100 free professional memberships for all registered RuleML 2015 participants. Please contact Paul Fodor (pfodor(@) for details.

RuleML Online

  • Website:
  • Twitter hashtag:
  • Blog:
  • Sponsoring:

Download the flyer and share it with your partners.

OMG Standards in Support of Business Communication.

May 11, 2015 4:39:55 PM
Radisson Blu, Berlin,
Karl-Liebknecht-Straße 3,
10178 Berlin
From Jun 18, 2015 9:00 AM
To Jun 18, 2015 5:00 PM

Are you in the business of business information systems?

Do you own business documents - business policies, contracts, interpretation of regulations (and consequent compliance action), product and service specifications? Do you define requirements for IT systems to support them?

Do you know that OMG has standards that can directly support you?

These standards help you remove ambiguity from your business documents where a misunderstood policy, contract or product specification can be a serious business risk. They help keep you in charge when you are developing information requirements -- from broad business policies to database queries.

Learn more about Semantics of Business Vocabulary and Business Rules (SBVR). Financial Industry Business Ontology (FIBO), Date and Time vocabulary (DTV), Business Motivation Model (BMM) and how these OMG standards will support your IT systems.

During this full-day event you will hear from experts in semantics and terminology; leaders in the fields of banking, compliance and risk; and the OMG members working to establish the standards that will anchor and support your business systems.


Keynote Presentation

Kara Warburton, Language Drives Business

Kara Warburton, Consultant in Terminology Management, Termologic And International Chair of ISO Technical Committee 37

CALL FOR APPLICATIONS: The 11th Reasoning Web Summer School (RW 2015)

May 6, 2015 5:07 PM
This year the theme of the school is: "Web Logic Rules" As in the previous years, lectures in the summer school will be given by a distinguished group of expert lecturers. Apart from their lectures, most lecturers will also be present for the duration of the school to interact and establish contacts with the students.

The purpose of the Reasoning Web Summer School is to disseminate recent advances on reasoning techniques which are of particular interest to Semantic Web and Linked Data applications. It is primarily intended for postgraduate (PhD or MSc) students, postdocs, young researchers, and senior researchers wishing to learn about Reasoning on the Semantic Web and related issues.

The summer school is co-located with RR2015, RuleML 2015 and CADE-25, hence, there will be a great opportunity for students to also attend a major event in the area after the school. In addition, RR and RuleML will also include a Doctoral Consortium and students of RW are particularly encouraged to also apply to the Doctoral consortium of RR and RuleML - joint applications are explicitly encouraged.


  • Application deadline: May 10, 2015
  • Notifications: June 1, 2015




The number of attendees will be limited and participation will depend on submitting an application which will undergo a reviewing process.

Applications have to be submitted via Easychair using the following URL and by selecting the "RW2015" track:

The program of the school will include a poster session, where students can present and discuss their ongoing research with lecturers and colleagues. Applicants who wish to participate in the poster session shall tick the "participation in poster session" group and include a poster title and abstract with their application submission.

A selection of students attending RW will have the possibility to also attend the RR and RuleML Doctoral Consortium with the opportunity to present their poster in a regular session of RR 2015 and RuleML 2015. Students interested to be considered in this selection process should indicate it in their application.

Students applying to RW are encouraged to submit also to the RR Doctoral Consortium, which will have proceedings and a mentoring lunch. Applications must be submitted in PDF format not exceeding 2 pages (min. font size 11pt) and contain the following information:

  • Name, contact details
  • Affiliation
  • Motivation for participation
  • Summary of profile
  • Willing to present a poster? (if yes, add a poster title and abstract)
  • Willing to be considered for RR/RuleML 2015 Doctoral Consortium?
  • Supervisor (if applicable)
  • Publications (if applicable)


The fee for attending the school is 450 Euros (for registered RR 2015 or RuleML 2015 participants, it is 350 Euros).


The course material used during the summer school will be published with Springer's Lecture Notes in Computer Science (LNCS) series. A copy of the proceedings will be included in the registration fees.


There will be a limited number of student grants available for the summer school and for the co-located RR2015 conference.


Organizing Chairs

  • Wolfgang Faber (University of Huddersfield, UK)
  • Adrian Paschke (Freie Universitaet berlin, Germany)

Scientific Advisory Board

  • Grigoris Antoniou (University of Huddersfield)
  • Nick Bassiliades (Aristotle University of Thessaloniki)
  • Diego Calvanese (Free University of Bozen-Bolzano)
  • Thomas Eiter (Vienna University of Technology)
  • Tim Furche(Oxford University)
  • Pascal Hitzler (Wright State University)
  • Sebastian Rudolph (Technische Universität Dresden)


For further information including sponsorship opportunities, please contact the organizing chairs.

ShEx RDF Validation Questionnaire

April 29, 2015 3:24 PM

RuleML folks interested in validation of RDF data are encouraged to fill out a ShEx expressivity questionnaire (see the announcement on Note that this questionnaire was created for an NIH grant (caCDE-QA 1U01CA180940-01A1), but the results will inform the semantics of Shape Expressions, one of the inputs to the current W3C RDF Data Shapes Working Group. The results-to-date are publicly available from a link in the questionnaire.

CfP: 9th International Rule Challenge 2015 part of the

March 28, 2015 12:11 PM
The RuleML 2015 Challenge is one of the highlights at RuleML 2015 Conference which seeks to provide a competition among innovative rule-oriented applications, aimed at both the research and industrial side. Take the chance to get a 500/300/200 USD for the three best RuleML Rulebases of 2015.

Key themes of the RuleML 2015 Challenge include, but are not limited to the following:

  • Demos related to the RuleML 2015 Track Topics
  • Rule-based Event Processing and Stream Reasoning
  • Rule learning
  • Distributed rule bases and rule services
  • Reports on industrial experience about rule systems
  • Real cases and practical experiences


Rule modeling, rule authoring, rule engines and applications

  • - Innovative UX for rule modeling, rule editors, NLP powered rule authoring
  • - Cloud-based applications for rule storage and execution
  • - Translators between different rule languages, open source rule engines
  • - Semantic Web rule applications using social media data
  • - Rule-based applications for crowdsourcing

RuleML Rulebase Competition

RuleML Inc announces three awards (of $500, $300, $200) for the three best RuleML Rulebases of 2015. This year's rulebases are solicited in Reaction RuleML 1.0 or 1.02, Deliberation RuleML 1.01 or 1.02 or Consumer RuleML 1.02.

Rule-based Recommender Systems for the Web of Data

  • - rule learning algorithms applied on recommender problems
  • - using the linked open data cloud for feature set extension


Like in the previous edition, RuleML Inc. will offer prizes:

RuleML Challenge Award

RuleML Challenge Runner-up Award

Three best RuleML Rulebase Awards

Four prizes in the Rule-based Recommender Systems for the Web of Data track

Submission Guidelines

High quality, original papers, potentially referencing online material, and ranging between 5-15 pages can be submitted at

All submissions must conform with the LNCS format (
To ensure high quality, submitted papers will be carefully peer-reviewed by 3 PC members based on clarity and significance of objectives and demonstration of results.

The annual International Web Rule Symposium (RuleML) is an international conference on research, applications, languages and standards for rule technologies. RuleML is the leading conference to build bridges between academia and industry in the field of rules and its applications, especially as part of the semantic technology stack.
  • Conference URL:
  • Conference hashtag:
  • Organization Website:
  • RuleML Blog & Social Mediazine:

Keynotes at: Thom Fruehwirth, Constraint Handling Rules

March 18, 2015 9:17 AM
Thom Frühwirth is the designer of the programming language Constraint Handling Rules (CHR) and author of the book by the same name. He has co-authored two leading textbooks on constraint programming and reasoning that became standard references for the research area. He has published more than 170 research papers in declarative programming and logical reasoning.

Constraint Handling Rules (CHR) is a concurrent committed-choice constraint logic programming language. It consists of guarded rules that transform multi-sets of atomic formulas (constraints) until exhaustion. In CHR, one can describe algorithms in a compact declarative way. It can directly embed many rule-based formalisms and systems.

The clean logical semantics of CHR ensures that several desirable properties hold for proper CHR programs for free (such as incrementality). It also facilitates non-trivial program analysis (such as confluence). In particular, operational equivalence of terminating programs is decidable.

Last but not least, we present typical academic and commercial applications from the international CHR community. They range from stock broking to a world record attempt in robot sailing.

The annual International Web Rule Symposium (RuleML) is an international conference on research, applications, languages and standards for rule technologies. RuleML is the leading conference to build bridges between academia and industry in the field of rules and its applications, especially as part of the semantic technology stack.
  • Conference URL:
  • Conference hashtag:
  • Organization Website:
  • RuleML Blog & Social Mediazine:

CfP: Rule-based Recommender Systems Challenge at

March 16, 2015 11:18 AM
The challenge has two focus areas: (1) rule learning algorithms applied on recommender problems and (2) using the linked open data cloud for feature set extension. It uses a semantically enriched version of the MovieLens dataset. In addition to the standard metrics, the challenge aims to assess the understandability of the rule set generated by the participating rule-based systems.
A challenge of, August 2-5, 2015 Berlin
Important dates
  • Paper and result submission: May 23, 2015
  • Author Notification: June 6, 2015
  • Challenge: 3-5 Aug, 2015
The Task
The participating systems are requested to find and recommend a limited set of 5 items that best match a user profile.
  • The participants will be provided with a semantically enriched version of the MovieLens dataset.
  • It is mandatory that a participating solution either uses the linked open data cloud to further extend the feature set or is a rule-based classifier. Both options simultaneously are preferred.
  • A scorer is provided by the organizers so that the participants can check their progress.
  • Challenge submission will consist of the set of additional recommendations (top-5 movies) for each user from the train dataset and a file containing the rules that lead to the prediction (rule based classifiers only, PMML RuleSet model preferred but not required).
Judging and Prizes
Four prizes, totalling to 500 USD, will be given:
  • best recommender performance will be given to the paper with the highest score in the evaluation (main prize)
  • most understandable ruleset (only rule-based submissions eligible)
  • best aggregate diversity
  • most original approach, selected by the Challenge Program Committee with the reviewing process

Rule Challenge 2015 proceedings will be published as CEUR Proceedings and indexed by SCOPUS.

  • Jaroslav Kuchař (Czech Technical University, Prague)
  • Tommaso di Noia (Politecnico di Bari, Italy)
  • Heiko Paulheim (University Mannheim, Germany)
  • Tomáš Kliegr (University of Economics, Prague)
The annual International Web Rule Symposium (RuleML) is an international conference on research, applications, languages and standards for rule technologies. RuleML is the leading conference to build bridges between academia and industry in the field of rules and its applications, especially as part of the semantic technology stack.
  • Conference URL:
  • Conference hashtag:
  • Organization Website:
  • RuleML Blog & Social Mediazine:

Keynotes at: Michael Genesereth,The Herbrand Manifesto-Thinking Inside the Box

March 9, 2015 5:25 PM
Michael Genesereth is an associate professor in the Computer Science Department at Stanford University. He received his Sc.B. in Physics from M.I.T. and his Ph.D. in Applied Mathematics from Harvard University. Genesereth is most known for his work on Computational Logic and applications of that work in Enterprise Management, Electronic Commerce, and Computational Law.
The traditional semantics for First Order Logic (sometimes called Tarskian semantics) is based on the notion of interpretations of constants. Herbrand semantics is an alternative semantics based directly on truth assignments for ground sentences rather than interpretations of constants. Herbrand semantics is simpler and more intuitive than Tarskian semantics; and, consequently, it is easier to teach and learn. Moreover, it is more expressive. For example, while it is not possible to finitely axiomatize integer arithmetic with Tarskian semantics, this can be done easily with Herbrand Semantics. The downside is a loss of some common logical properties, such as compactness and completeness. However, there is no loss of inferential power. Anything that can be proved according to Tarskian semantics can also be proved according to Herbrand semantics. In this presentation, we define Herbrand semantics; we look at the implications for research on logic and rules systems and automated reasoning; and we assess the potential for popularizing logic.

RuleML 2015 Deadline Extension (March 18, 2015)

March 4, 2015 11:28 AM
After receiving several requests the Organization Committee decieded to extend the full paper submission deadline by two weeks to March 18, 2015. So, there is more time to finish your papers without undue haste. You might even consider a new paper entry if some related research became ready just now. Other RuleML2015 sub-events have later deadlines