From RuleML Wiki
Jump to: navigation, search

1 Drafts

2 Current

2018-09-14: RuleML+RR 2018 Call for Participation
By RuleML
RuleML+RR 2018, Luxembourg, 18-21 September, is the leading international joint conference in the field of rule-based reasoning, from foundations to technologies to applications

For more information, see LuxLogAI 2018 - Last Call For Participation,  Read about it on the RuleML Blog.

2018-08-31: Knowledge Authoring for Rule-based Reasoning
By Paul Fodor
Modern knowledge bases have matured to the extent of being capable of complex reasoning at scale. Unfortunately, wide deployment of this technology is still hindered by the fact that specifying the requisite knowledge requires skills that most domain experts do not have, and skilled knowledge engineers are in short supply. A way around this problem could be to acquire knowledge from text. However, the current knowledge acquisition technologies for information extraction are not up to the task because logic reasoning systems are extremely sensitive to errors in the acquired knowledge, and existing techniques lack the required accuracy by too large of a margin. Because of the enormous complexity of the problem, controlled natural languages (CNLs) were proposed in the past, but even they lack high enough accuracy. Instead of tackling the general problem of text understanding, our interest is in a related, but different, area of knowledge authoring—a technology designed to enable domain experts to manually create formalized knowledge using CNL. Our KALM system approach adopts and formalizes the FrameNet methodology for representing the meaning, enables incrementally-learnable and explainable semantic parsing, and harnesses rich knowledge graphs like BabelNet in the quest to obtain unique, disambiguated meaning of CNL sentences. Our experiments show that this approach is 95.6% accurate in standardizing the semantic relations extracted from CNL sentences—far superior to alternative systems. For more information, see KALM Code [1], KALM short presentation [2].

3 Non-current

2018-07-05: Last Call for Papers: 12th International Rule Challenge 2018
By Amal Tawakuli
The RuleML+RR 2018 Challenge is one of the highlights of the RuleML+RR 2018 conference, and seeks to provide competition among innovative rule-oriented applications, aimed at both the research and industrial side. Submissions may present demos related to the RuleML+RR 2018 track topics, supply benchmarks and comparison results for rule engines, illustrate rule- and model-driven engineering, report on industrial experience, present real cases and practical experiences, and realize mobile deployment of rule-based reasoning.

The challenge seeks high quality, original papers, potentially referencing online material, and ranging between 5-15 pages. Papers must be original contributions written in English and will be submitted on Easychair under the rule challenge track. For more information about the submission procedure, please view the complete Call For Papers.

Important dates:

  • Paper Submission: 31 July 2018 (EXTENDED)
  • Notification of acceptance: 14 August 2018 (EXTENDED)
  • Camera ready submission: 31 August 2018
  • Conference: 18-19 Sept 2018

RuleML+RR 2018 will take place in Luxembourg on September 18-21 2018 and will be part of the Luxembourg Logic for AI Summit (LuxLogAI) "Methods and Tools for Responsible AI", bringing together RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), and the Global Conference on Artificial Intelligence (GCAI 2018).

For more information, see  Read about it on the RuleML Blog.

2018-05-15: LegalRuleML OASIS Committee Specification
By RuleML
The LegalRuleML specification document [LegalRuleML-Core-v1.0] extends RuleML for legal norms, guidelines, policies, and reasoning.

LegalRuleML Core Specification Version 1.0. Edited by Monica Palmirani, Guido Governatori, Tara Athan, Harold Boley, Adrian Paschke, and Adam Wyner. 08 May 2018. OASIS Committee Specification 01. Latest version: For more information, see LegalRuleML Core Specification V1.0 from the OASIS LegalRuleML TC approved as a Committee Specification, OASIS LegalRuleML TC.

2018-03-30: RuleML+RR 2018 CALL FOR PAPERS (EXTENDED DEADLINE: 4./11. May)
By Amal Tawakuli
RuleML+RR 2018, the 2nd International Joint Conference on Rules and Reasoning, is the leading event in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.

RuleML+RR 2018 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

RuleML+RR 2018 will take place in Luxembourg on September 18-21 2018 and will be part of the Luxembourg Logic for AI Summit (LuxLogAI) "Methods and Tools for Responsible AI", bringing together RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), and the Global Conference on Artificial Intelligence (GCAI 2018).

Important dates:

  • Title and abstract registration: 04 May 2018 (EXTENDED)
  • Paper Submission: 11 May 2018 (EXTENDED)
  • Notification of acceptance: 11 June 2018 (EXTENDED)
  • Camera ready submission: 25 June 2018 (EXTENDED)
  • Conference: 18-21 Sept 2018

For more information, see  Read about it on the RuleML Blog.

2018-02-21: SWRL2SPIN: A tool for transforming SWRL rule bases in OWL ontologies to object-oriented SPIN rules in SWI-Prolog
By Nick Bassiliades
SWRL is a Semantic Web Rule Language that combines OWL ontologies with Horn Logic rules of the RuleML family of rule languages, extending the set of OWL axioms to include Horn-like rules. Being supported by the Protégé ontology editor as well as by popular rule engines and ontology reasoners, such as Jess, Drools and Pellet, SWRL has become a very popular choice for developing rule-based applications on top of ontologies. However, SWRL being around for a long time now, it seems dubious if it will become a W3C standard; therefore, its adoption has difficulty reaching out into the industrial world. On the other hand, SPIN has become a de-facto industry standard to represent SPARQL rules and constraints on Semantic Web models, building on the widespread acceptance of the SPARQL query language for querying and processing Linked Open Data. The life of existing SWRL rule-based ontology applications can be prolonged by transforming them into SPIN. SWRL2SPIN is a prototype tool, developed using SWI-Prolog, that takes as input an OWL ontology with a SWRL rule base and transforms SWRL rules into SPIN rules in the same ontology, taking into consideration the object-oriented flavor of SPIN, i.e. linking rules to the appropriate ontology classes as derived by analyzing the rule conditions. Furthermore, the generated SPIN rules are optimized by re-ordering their condition elements. For more information, see SWRL2SPIN Code [3], SWRL2SPIN Technical Report [4], SWRL2SPIN short presentation [5].
2017-12-19: PSOATransRun Development Tutorial and Open-Source Projects
By RuleML
Skype-based PSOATransRun Development Tutorial sessions are scheduled for 19 and 21 Dec 2017 as well as 3, 5, and 9 Jan 2018, followed by Open-Source Project meetings on 15, 16, and 17 Jan 2018. For more information, see PSOATransRun Development Tutorial, PSOATransRun Development Agenda, PSOATransRunComponents on GitHub.
2017-12-11: Prerelease of PSOA RuleML 1.0 and Release of PSOATransRun 1.3
By Harold Boley, Gen Zou
This is a prerelease of PSOA RuleML 1.0, whose schemas for XML serialization need to be finished, as well as the release of PSOATransRun 1.3, which executes PSOA RuleML 1.0's finished presentation syntax. The arXiv-maintained paper Perspectival Knowledge in PSOA RuleML: Representation, Model Theory, and Translation introduces both the PSOA RuleML 1.0 language and the PSOATransRun 1.3 system. In PSOA RuleML, a predicate application (atom) can have an Object IDentifier (OID) and descriptors that may be positional arguments (tuples) or attribute-value pairs (slots). PSOA RuleML 1.0 specifies for each descriptor whether it is to be interpreted under the perspective of the predicate in whose scope it occurs. This perspectivity dimension refines the space between oidless, positional atoms (relationships) and oidful, slotted atoms (frames): While relationships use only a predicate-scope-sensitive (predicate-dependent) tuple and frames use only predicate-scope-insensitive (predicate-independent) slots, PSOA RuleML 1.0 uses a systematics of orthogonal constructs also permitting atoms with (predicate-)independent tuples and atoms with (predicate-)dependent slots. A slot attribute can thus have different values depending on the predicate. The open-source PSOATransRun 1.3 system realizes PSOA RuleML 1.0 by a translator to runtime predicates, including for dependent tuples (prdtupterm) and slots (prdsloterm). For more information, see Data in Perspective slide, Perspectival Knowledge in PSOA RuleML paper, PSOATransRun 1.3 usage, PSOATransRun on GitHub, PSOA RuleML on the RuleML Wiki.  Read about it on the RuleML Blog.
2017-08-14: Release of RuleML 1.02
By RuleML
The Specification of RuleML 1.02 is now an official release bringing together the Specification of Deliberation RuleML 1.02, the Specification of Consumer RuleML 1.02, and the Specification of Reaction RuleML 1.02. For more information, see Timeline of RuleML 1.02.
2017-08-08: Release of Reaction RuleML 1.02
By RuleML
The Specification of Reaction RuleML 1.02 is now an official release by the RuleML Steering Committee after approval of the Response to Review of Reaction RuleML 1.02. For more information, see Reaction RuleML 1.02 Release History. For more information, see
2017-06-20: RuleML+RR 2017 Call for Participation
By RuleML
RuleML+RR 2017, London 12-15 July 2017, is the leading international joint conference in the field of rule-based reasoning, from foundations to technologies to applications

  • Registration is open --
  • Program can be seen at
  • Work-in-Progress POSTER call is open: Delegates, e.g. from industry, have the opportunity of presenting related Work-in-Progress Posters, optionally coming with demos, during the poster session, by sending PDFized poster files to Fariba Sadri (f DOT sadri AT imperial DOT ac DOT uk) by July 3rd, 2017, 3PM UK Time.

For more information, see,  Read about it on the RuleML Blog.

2017-04-25: RuleML+RR 2017 Registration and Calls for Posters, Demos, and Business Cases
By RuleML
RuleML+RR 2017, London 12-15 July 2017, is the leading international joint conference in the field of rule-based reasoning. The program includes keynotes and speeches by Bob Kowalski, Stephen Muggleton, Jordi Cabot, Jean-Francois Puget, and Elena Baralis, as well as exciting tutorials.

For additional short poster papers related to theoretical advances,
novel technologies, and innovative applications concerning knowledge
representation and reasoning with rules.
Deadline       May 26th
Notification   June 2nd
Accepted poster papers will be published as CEUR Proceedings and
indexed by SCOPUS.
The best paper/presentation in the Challenge will receive the RuleML
Challenge Award (USD 500)!
Abstract        May  1st
Papers          May  8th
Notification    May 15th
Rule Challenge 2017 proceedings will be published as CEUR Proceedings and
indexed by SCOPUS.
Papers          May 8th
Notification    May 15th
The best papers will be recommended with the permission of the authors
for publication in the CEUR proceedings of the conference.

For more information, see  Read about it on the RuleML Blog.

2017-03-31: Release of LPS (Logic-based Production System)
By Bob Kowalski, Fariba Sadri
LPS is a logic and computer language, develped by Bob Kowalski and Fariba Sadri, which combines logic programs with reactive rules. Computation in LPS executes actions, to generate a model, to make the reactive rules true. The open-source, web-based prototype of LPS, developed with Miguel Calejo and implemented in Prolog and SWISH, is now available for trial. To try it out, go to the Examples menu, and click on "LPS Examples" or "First steps with LPS". For more information, see
2017-03-15: RuleML Webinar series
By RuleML
The RuleML Webinar is currently held on the last Friday of the month, featuring rule topics in a compact format. In the 2017-03-31 Webinar, Nick Bassiliades is presenting Rule-Based Trust Among Agents Using Defeasible Logic. For more information, see
2017-02-16: A new book "DMN in Action with OpenRules" has been published
By RuleML
Jacob Feldman, PhD: "DMN in Action with OpenRules: A Practical Guide for Development of Business Rules and Decision Management Applications using Decision Model and Notation (DMN) Standard and OpenRules",, ISBN 978-1-5206053-8-8. For more information, see
2017-01-12: RuleML+RR 2017 Call for Papers
By Giovanni De Gasperis
RuleML+RR 2017 is the leading international joint conference in the field of rule-based reasoning, and focuses on theoretical advances, novel technologies, as well as innovative applications concerning knowledge representation and reasoning with rules. Stemming from the synergy between the well-known premier RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry. RuleML+RR 2017 will host: the Rule Challenge the Industry Track, the DecisionCAMP, the Doctoral Consortium, and the 13th Reasoning Web Summer School.

Important dates:

  • Title and abstract registration: 15 February 2017
  • Paper Submission: 22 February 2017 6 March 2017 (extended)
  • Author feedback on initial reviews: 30 March - 3 April 2017
  • Author notification: 10 April 2017
  • Camera ready: 24 April 2017
  • Conference: 12-15 July 2017

For more information, see  Read about it on the RuleML Blog.

2016-06-23: Release of Deliberation RuleML 1.02
By RuleML
The Specification of Deliberation RuleML 1.02 is now an official release by the RuleML Steering Committee after approval of the Response to Review of Deliberation RuleML 1.02. For more information, see Deliberation RuleML 1.02 Release History.
2016-05-20: RuleML and DecisionCamp 2016 Call for Participation
By Paul Fodor
RuleML 2016, the 10th International Web Rule Symposium will be held on July 6-9, 2016 at Stony Brook University. Invited presentations by: Richard Waldinger (2016 Herbrand Award winner), Charles Forgy (inventor of the RETE algorithm, Bruce Silver (book author on DMN Method and Style), Michael Kifer, Theresa Swift and Benjamin Grosof. Accepted papers: [6]. Program: [7]. Registration will be open online until Saturday, July 9, 2016: [8]. For more information, see
2016-02-20: RuleML 2016 Call for Papers
By Paul Fodor
RuleML 2016, the 10th International Web Rule Symposium will be held on July 6-9, 2016 at Stony Brook Univ., USA, co-located in NY State with IJCAI 2016, the 25th International Joint Conference on Artificial Intelligence. RuleML 2016 will host: the 10th International Rule Challenge, the RuleML 2016 Industry Track, DecisionCAMP 2016, the 6th RuleML Doctoral Consortium, the Smart Contracts, Blockchain and Rules Track, the Constraint Handling Rules Track, the Event Driven Architectures and Active Database Systems Track, the Legal Rules and Reasoning Track, the Rule- and Ontology-Based Data Access and Transformation Track, the Rule Induction and Learning Track. Important dates:

  • Paper deadline (extended): April 4, 2016
  • Demos/challenge deadline: June 1, 2016

For more information, see  Read about it on the RuleML Blog.

2015-11-27: Release of PSOATransRun 1.0
By Gen Zou, Harold Boley
This release of PSOATransRun 1.0 supports efficient reasoning in PSOA RuleML, a rule language integrating relations (n-ary predicates) and frames (slot-described objects). PSOATransRun is composed of a translator from PSOA RuleML to an intermediate language and a run-time engine executing it. The recent Prolog instantiation of PSOATransRun employs a pure subset of the logic programming language ISO Prolog as the intermediate language. Specifically, this instantiation, PSOATransRun[PSOA2Prolog,XSBProlog], composes PSOA2Prolog and the widely used XSB Prolog. PSOA2Prolog is our ANTLR/Java-based translator of knowledge bases (KBs) and queries from the PSOA RuleML presentation syntax to Prolog. XSB Prolog provides an efficient runtime engine for the translated PSOA RuleML. PSOA2Prolog itself consists of a multi-step source-to-source normalizer followed by a Prolog-syntax mapper. Its novel static/dynamic objectification step allows users to pose queries using OIDs regardless of whether the underlying KB clauses have OIDs or not, as well as making maximum use of the underlying Prolog engine for efficient inference on the KB clauses with relational (oidless and slotless) predicates. For more information, see
2015-10-12: Release of Consumer RuleML 1.02
By Tara Athan, Harold Boley, Adrian Paschke
The Specification of Consumer RuleML 1.02 defines a novel language family for Web rules that achieves an initial integration of the Deliberation and Reaction RuleML families. This Specification has now become a Final Release. It was modified based on the results of an External Review, conducted by the OASIS LegalRuleML TC (see Response to External Review of Consumer RuleML 1.02), following modifications through an Internal Review (see Response to Internal Review of Consumer RuleML 1.02). Readers are encouraged to use Consumer RuleML 1.02, send comments about it to the above task force or the main RuleML mailing list, ruleml-all, and report errata plus enhancement requests through ruleml-all or the RuleML Wiki Issue System. For more information, see Consumer RuleML 1.02 Release History.
2015-07-24: RuleML 2015 Springer LNCS and CEUR proceedings published
By Adrian Paschke
Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman: Rule Technologies: Foundations, Tools, and Applications, Springer LNCS Volume 9202 / 2015: 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015.

Nick Bassiliades, Paul Fodor, Adrian Giurca, Georg Gottlob, Tomas Kliegr, Grzegorz J. Nalepa, Monica Palmirani, Adrian Paschke, Mark Proctor, Dumitru Roman, Fariba Sadri, Nenad Stojanovic: Joint Proceedings of the 9th International Rule Challenge, the Special Track on Rule-based Recommender Systems for the Web of Data, RuleML2015 Industry Track and the 5th RuleML Doctoral Consortium, published as - CEUR Workshop Proceedings, Vol. 1417, Berlin, Germany, August 2-5, 2015. For more information, see

2015-06-30: Dexter Tables and Rules in RuleML
By Sudhir Agarwal
Dexter is the Stanford Logic Group's browser-based, domain-independent data explorer for the everyday user. Amongst the connections between RuleML and Dexter, a joint Dexter and RuleML team has developed export of Dexter tables as RuleML (ground) facts as well as Dexter integrity and inference rules as Naf Datalog RuleML rules. For more information, see
2014-11-20: Release of the RuleML2TPTP Translator from Datalog+ RuleML 1.01 to TPTP
By Meng Luan, Changyang Liu, Tara Athan, Harold Boley
The RuleML2TPTP translator was released for mapping Datalog+ Deliberation RuleML 1.01 in XML (Datalog+/XML) format to an equivalent subset of the Thousands of Problems for Theorem Provers (TPTP) format. RuleML2TPTP thus provides an initial bridge from RuleML technologies to the TPTP world. With the RuleML2TPTP tool available, Datalog+/XML specifications can now be rendered in (pretty-printed) TPTP, providing a presentation syntax for users familiar with this compact format. RuleML2TPTP also makes Datalog+/XML rulebases ready for execution in all theorem provers that can read TPTP. The tool was implemented in XSLT 2.0 and Java. RuleML2TPTP has been used, e.g., for the Datalog+ examples of the Deliberation RuleML 1.01 Release. Its binaries and sources can be freely downloaded from GitHub via the link below. For more information, see,
2014-11-06: RuleML/XML-to-RuleML/JSON Translation Prepared
By Harold Boley
Like for XML, there are many ways to capture data and knowledge in JSON. To specify the composition of XML tags and of JSON structures, existing schemas of XML should be reused. A page, started on 6 July 2014, has been developed to prepare round-trippable translation from a subset of RuleML/XML to the new RuleML/JSON. Corresponding slides (14-35) were presented at Decision CAMP 2014 as How Object-Centered XML Rules are Configured from the RuleML Lattice, can be Exchanged in JSON, and enable Decision Making over Object-Relational Data. For more information, see
2014-07-25: Release of Deliberation RuleML 1.01
By RuleML
Deliberation RuleML 1.01 has now become an official release: The RuleML Steering Committee voted to approve the Response to Public Review of Deliberation RuleML 1.01 and the release of the Specification of Deliberation RuleML 1.01. For more information, see  Read about it on the RuleML Blog.
2014-05-23: Adoption Of Reaction RuleML 1.0
By RuleML
The newest release of Reaction RuleML includes the new RelaxNG schema for Version 1.0. For more information, see
2014-05-05: RuleML 2014 Rulebase Competition
By RuleML
RuleML Inc announces a US$1000 Award for the best RuleML Rulebase of 2014. This year's rulebases are solicited in Deliberation RuleML 1.01 (overview). Submitted rulebases must contain at least 20 (Assert/Query) rules in RuleML 1.01/XML, and can be about any domain of knowledge (example). They may be translated from other languages (which must be mentioned in submissions) but need to be cleared for possible publication on the RuleML website in the source language as well as in RuleML 1.01/XML.
Evaluation criteria for rulebase submissions in Deliberation RuleML 1.01:

  1. Generally, the criteria of the main RuleML 2014 Challenge apply
  2. Each rulebase must syntactically validate w.r.t. a Deliberation RuleML 1.01 schema for the most specific sublanguage (cf. MYNG 1.01) covering it (in Relax NG or XSD).

For more information, see,,  Read about it on the RuleML Blog.  For questions, contact User:Athant.

2014-04-04: Deliberation RuleML 1.01 Public Review
By RuleML
Announcement of the Public Review of Deliberation RuleML 1.01 (including the MYNG 1.01 GUI). For more information, see  Read about it on the RuleML Blog.
2014-03-21: RuleML2014 Keynote Talk: "Rules, Events and Actions" presented by Prof.dr. Adrian Paschke.
By RuleML
We are pleased to announce one keynote speaker for the 8th International Web Rule Symposium, #RuleML2014. Prof.dr. Adrian Paschke will present "Rules, Events and Actions". Dr. Paschke is head of the Corporate Semantic Web group (AG-CSW, ) at the institute of computer science, department of mathematics and computer science at Freie Universität Berlin (FUB). He is also associate professor at the department of information systems at the faculty of informatics and electronic economy at Poznan University of Economics in Poland. He is director of RuleML Inc. and leads the Berlin Semantic Web Meetup Group.

Complex Event Processing (CEP) is an enabling technology to extract actionable, situated knowledge from large amounts of event data in real-time. The promises of the combination of event processing and semantic technologies is that these Semantic CEP (SCEP) engines can use semantic background knowledge for defining more expressive event detection patterns, for understanding what is happening in terms of events and situations, and for knowing what rule-based actions they can invoke. The challenge lies in the combination of distributed real-time big data processing and semantic reasoning with background knowledge bases. The keynote follows the functional layers for preparation, analysis, detection, and reaction of the Reference Architecture from the Event Processing Technical Society (EPTS-RA). It addresses the problem of optimized semantic querying, fusion and enrichment of real-time event streams with background knowledge and the expressive reasoning with such enriched events in the higher layers of rule-based event processing and reaction functions. It reports on the standardization activities in Reaction RuleML as a platform-independent rule-based Event Processing Language (EPL) to support such SCEP functions in distributed rule-based Event Processing Networks (EPN) and Event Processing Agents (EPA).

Submit your paper at: as:

Full Paper (15 pages in the proceedings)

Short Paper (8 pages in the proceedings)

Interested in applications?

Visit the RuleML2014 Challenge page ( )


For more information, see  Read about it on the RuleML Blog.

  • RuleML 2014, the 8th International Web Rule Symposium will be held on August 18-20, 2014 in Prague, Czech Republic, in conjunction with ECAI 2014, the 21st European Conference on Artificial Intelligence. RuleML 2014 will host: the 8th International Rule Challenge, the 4th RuleML Doctoral Consortium, the Rules and Human Language Technology, the Learning (Business) Rules from Data, and the Legal Rules and Norms special tracks, as well as the OASIS Legal RuleML Meeting. Important dates:
    • Abstract submission (Extended): April 14, 2014
    • Paper submission (Extended): April 22, 2014
  • The RuleML Website Redesign achieved another milestone on 8 December 2013 as the URL of the RuleML Home Page now redirects to, the main page of the RuleML Wiki. The new MediaWiki-based design includes a Category-based Sitemap, syntactic search across all Wiki-based RuleML pages, and improved connectivity through the left sidebar and footer. In addition, much of the content has been brought up-to-date and some extensions have been made. RuleML Community members are encouraged to further improve the content, e.g. add News, through the Wiki editing system -- all that is required is a Wiki user account. If you need an account or any kind of help, please let us know -- see Contacts for contact information.
  • The Grailog Initiative, aligned with the Web-rule industry standard RuleML, was invited to present Grailog 1.0 at the ISO 15926 and Semantic Technologies 2013 Conference, at Ontolog's RulesReasoningLP mini-series, and at Decision (boot) CAMP 2013. The Grailog page includes the Loan Processor Suite for visualizing Datalog RuleML decision rules in Grailog 1.0/SVG. Visual Grailog feedback (LoanProcessor.svg) has helped improving its data & knowledge sources (LoanProcessor.txt). Grailog is a systematic combination of generalized graph constructs for visual data & knowledge representation. It enables analytics for humans in the loop of data & knowledge elicitation, specification, validation, as well as reasoning.
  • Ontolog's "Ontology, Rules, and Logic Programming for Reasoning and Applications" (RulesReasoningLP) mini-series has many interesting virtual Thursday 12:30pm Eastern sessions, some including RuleML contributions (new Ontolog participants should send RSVP to peter.yim AT
  • Decision CAMP 2013 is a free event, 4-6 November 2013, for Business Analysts and Software Architects looking to automate and improve decisions (Agenda), with a participant-driven "unconference" where you can network with, learn from, and teach one another in a collaborative environment. Decision CAMP is in partnership with RuleML, the inaugural 2013 meeting being hosted by eBay in San Jose, CA.
  • Introducing RuleML released and presented at RuleML 2013 (RuleML 2013).
  • The RuleML Website is being re-designed and moved step-wise to the RuleML Wiki, using modern MediaWiki features. Any suggestions to webmaster {A T} are very welcome.
  • Call for Participation in the 7th International Web Rule Symposium (RuleML 2013). Online Registration ends Jul 11, 2013. (Walk-in Registration still possible during event).
  • The Grailog Initiative, an Affiliate of RuleML, has created a wiki page on Graph inscribed logic (Grailog) containing, e.g., links to initial implementations and use cases. This wiki page will replace the homepage's Grailog section. If you want to contribute, please contact Harold Boley.
  • A wiki page on RuleML Implementations has been created for implementers of RuleML tools. This wiki page will replace the homepage's Translators section and Engines section. If you do not yet have edit privileges for the wiki directly, please send wiki snippets about your tools to the webmaster {A T}
  • Information about RuleML 2013 Content is now available:
  • Announcing the 'Human Language Technology' Special Track of RuleML 2013: Over the last decade there has been enormous growth in unstructured and semi-structured textual material distributed on the web, for instance legal sources. Yet a substantial knowledge-acquisition bottleneck remains in using Human Language Technology (HLT) to translate from this material to machine-readable, knowledge-based semantic representations. The 'Human Language Technology' Special Track of RuleML 2013 has its focus on these issues, providing a forum for current work and a venue for the exchange of ideas. For details, important dates, and submission information please go to Human Language Technology.
  • Call for Papers for the 7th International Web Rule Symposium (RuleML-2013). The symposium will be held on July 11-13, 2013 at the University of Washington, Seattle, just prior to the AAAI-13 conference in Bellevue, Seattle Metropolitan Area, WA, USA.
    • Abstract submission: February 21, 2013.
    • Paper submission: February 28, 2013. The RuleML-2013 Symposium is also hosting
    • The 7th Int'l Rule Challenge. Submission deadline extended to May the 24th, 2013.
    • The 3rd Doctoral Consortium on Rules. Submission deadline May the 24th, 2013.
    • An OASIS Legal RuleML TC Meeting and Tutorial.
  • 2012-07-22: Defeasible RuleML Version 1.0 Release: The specification of Defeasible RuleML Version 1.0 has been released for review.
  • We are pleased to announce that Robert Kowalski, Marie-Laure Mugnier, and Francois Briant will be keynote speakers at RuleML-2012. The submission date for papers has been extended to April 15, 2012.
  • 2012-03-12: Mehdi Rohaninezhad from the National University of Malaysia (UKM), Faculty of Information Science And Technology (FTSM), Knowledge Technology Research Group, created People Friend Advisor (pptx) using RuleML/POSL and OO jDREW.
  • 2012-01-28: Deliberation RuleML Version 1.0 Release: The specification of Deliberation RuleML Version 1.0 has been released for review. Please check out this major 'Rosetta' release with 'parallel' schema definitions in XSD and Relax NG. Free-form reviews should be sent to ruleml-all by February 29, 2012. For your review, you can give your overall impression, visit the Schema Specification page, and then select from the following, or put everything into the context of your own work. Perhaps start with a look at the RuleML Primer, and amongst the Quick links of the Schema Specification:
  • Call for Papers for the 6th International Symposium on Rules: Research Based, Industry Focused (RuleML-2012). This year, the RuleML Symposium will be held in conjunction with ECAI 2012, the 20th biennial European Conference on Artificial Intelligence, in Montpellier, France, August 27-29, 2012. Abstract submission: March 25, 2012. Paper submission: April 1, 2012. RuleML-2012 will be the host of the 7th AIS SigPrag International Conference on Pragmatic Web (ICPW 2012). The RuleML-2012 Symposium is also holding the RuleML-2012 Doctoral Consortium and the 6th International Rule Challenge.
  • 2012-01-19: The first meeting of the OASIS LegalRuleML Technical Committee was held.
  • 2011-12-15: Reuben Peter-Paul and Gen Zou, supported by Sadnan Al-Manir, are implementing the PSOA RuleML specification -- as part of the PSOA2TPTP project co-led by Alexandre Riazanov and Harold Boley -- via a translator to the TPTP format so it can be run in VampirePrime.
  • 2011-12-08: Markus Zucker and Christian Fabbricatore have moved the reference implementation of (Naf Hornlog) RuleML, the Object-Oriented Java Deductive Reasoning Engine for the Web (OO jDREW), to OO jDREW GitHub Social Coding, where it is being further developed.
  • 2011-11-18: Tara Athan's GIS Dissertation XCLX: An XML-based Common Logic eXtension with Embedded Geography Markup Language has been accepted.
  • 2011-10-29: Harold Boley wrote Specifying the Rule Metalogic on the Web.
  • 2011-10-05: Harold Boley presented RuleML/Grailog: The Rule Metalogic Visualized with Generalized Graphs at PhiloWeb 2011.
  • RuleML Challenge-2011 Demo Award: Late-Breaking Demos can be submitted until October 7th, 2011 (RuleML2011@BRF Challenge).
  • 2011-03-17: Athan Services and RuleML have started a project on re-engineering and improving the RuleML XSDs in Relax NG. The first result of this project is a version of RuleML 0.91 in Relax NG, which implements bindatalog in the normal form. The modular design of the Relax NG schema will allow greater flexibility in customizing language features, increased ease of development, testing, and documentation. The design also prepares the way for the second phase of the project, the alignment of a subset of RuleML with Common Logic. Items currently available for alpha-testing from the RuleML website include the Relax NG schema, Trang-generated XSD schema, and oXygen-generated documentation. The principles of this approach are discussed on the MYNG - RuleML Wiki Page.
  • Call for Papers for the 5th International Symposium on Rules: Research Based, Industry Focused (RuleML-2011). In 2011, two instalments of the RuleML Symposium will take place. The first one will be held in conjunction with the International Joint Conference on Artificial Intelligence (IJCAI 2011) in Barcelona, Spain, July 16th-22th, 2011. The second one will be co-located with the Business Rules Forum 2011 (BRF 2011) to be held in Fort Lauderdale, Florida, USA, November 3rd-5th, 2011. The RuleML-2011@BRF instalment will include the RuleML Challenge Award, which this year will be dedicated to Rules and Ontologies. For RuleML-2011@IJCAI a selection of best papers will be presented during a joint session with IJCAI, and the authors of these papers will be invited to submit a revised paper for inclusion into the IJCAI proceedings.
  • 2011-01-18: Rule Responder and EMERALD are multi-agent systems assisting user communities based on Semantic Web and multi-agent standards. The Collaboration between RuleML and Aristotle University made these multi-agent systems interoperable in order to automate collaboration across communities using a declarative, knowledge-based approach. Bidirectional RuleML gateways between EMERALD and Rule Responder were built, which could also be adapted for other interoperation needs. Multi-step interaction scenarios among agents based on the SymposiumPlanner use case have been deployed through the RuleML-2010 Symposium Q&A web page. Details are found on the EMERALD Rule Responder website.
  • 2010-12-28: The well-known Wine Ontology is made available as a sizeable RuleML Use Case in Web rule conversion, upgrading, and normalization (WineOnto)
  • 2010-10-21: RuleML-2010 presentations for the Washington DC Semantic Web Meetup Group (Lotico Washington Semantic Web) start with brief Introduction slides (RuleML - Where Web Rule Research Meets Industry)
  • The 4th International Web Rule Symposium: Research Based and Industry Focused (RuleML-2010) will take place in Washington, DC, USA, October 21-23, 2010, co-located with the Business Rules Forum Conference 2010 (BR Forum). RuleML-2010 is the premier industry-focused event to discuss and exchange new ideas, practical developments and experiences on all topics related to the engineering, management, integration, interoperation and interchange of rules in open distributed environments such as the Web or Enterprise Systems. RuleML-2010 will enable delegates to better understand Web/Enterprise rules and rule-based event processing technologies and their potential, and how to exploit these technologies in their own organizations. The proceedings will again be published as Springer LNCS. Michael Genesereth and David Webber will give keynotes. Go to RuleML-2010 Call for Papers and then to RuleML-2010 Challenge:
    • Extended Abstract submission deadline: June 6, 2010
    • Extended Paper Submission deadline: June 11, 2010
    • Challenge Paper Submission deadline (EXTENDED): Aug. 27, 2010
  • Recent Rule Responder instantiations include
using RuleML for (Prolog-N3) interchange.

4 Usage of this Page as a Template


See News:Current, [9], [10]