Many registration options for and

July 8, 2015 1:59 PM
While the early registration deadline is now passed you can still register for a regular fee. Check your best option as you may also like to attend other collocated events. Looking forwards to see you in Berlin!

Register Here

The participation fee also includes:

  • Lunch. The lunch buffet will take place at the Main Conference Restaurant and drinks (juice and water) are included.
  • Coffee Breaks. Each day there will be two coffee breaks one in the morning and the second in the afternoon.
  • Get Together / Meetup at Poster Session. On Tuesday, August 4th, a joint RuleML/RR/RW Get Together / Meetup at the Poster Session will take place. Snacks and drinks will be available and are included.
Type Early
(by 2015-06-19)
(by 2015-07-18)
(from 2015-07-19)
RuleML - Student* 300,- EUR 350,- EUR 450,- EUR
RuleML - Regular 450,- EUR 500,- EUR 600,- EUR
RuleML + RR + FOMI - Student* 300,- EUR 350,- EUR 450,- EUR
RuleML + RR + FOMI - Regular 450,- EUR 500,- EUR 600,- EUR
RuleML + Reasoning Web + RR + FOMI - Student* 550,- EUR 600,- EUR 700,- EUR
RuleML + Reasoning Web + RR + FOMI - Regular 650,- EUR 700,- EUR 800,- EUR
Only Tutorials on August 2nd 100,- EUR
Only FOMI Workshop on August 5th 150,- EUR
Only Reasoning Web Summer School 450,- EUR
Joint Reception on August 3rd*** 25,- EUR
Joint Dinner on August 5th*** 75,- EUR

*proof of student status must be provided. Please send a copy of your student id to Ralph Schäfermeier <> (
** RuleML 2015 partners can use their promotion code by clicking on "Enter Promitional Code" at the bottom of the registration form.
*** Due to German tax regulations it was not possible for us to include the reception and dinner in the main conference package; a ticket for the dinner and the reception thus have to be booked separately in the CADE registration.


- Fischerhütte am Schlachtensee -

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.