News:Master

From RuleML Wiki
Jump to: navigation, search

1 Drafts

2 Current

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 http://wiki.ruleml.org/index.php/RuleML_Webinar.
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", https://www.amazon.com/dp/B06W579JYM, ISBN 978-1-5206053-8-8. For more information, see DMNinAction.com.
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 http://2017.ruleml-rr.org.  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: [1]. Program: [2]. Registration will be open online until Saturday, July 9, 2016: [3]. For more information, see http://2016.ruleml.org.
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 http://2016.ruleml.org.  Read about it on the RuleML Blog.


3 Non-current

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 wiki.ruleml.org/index.php/PSOA_RuleML#PSOATransRun.
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-WS.org - CEUR Workshop Proceedings, Vol. 1417, Berlin, Germany, August 2-5, 2015. For more information, see 2015.ruleml.org/program.html.

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 wiki.ruleml.org/index.php/Dexter_and_RuleML.
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 edmonl.github.io/RuleML2TPTP/, edmonl.github.io/RuleML2TPTP/RuleML2TPTP_report.pdf.
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 wiki.ruleml.org/index.php/RuleML_in_JSON.
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 deliberation.ruleml.org/1.01/timeline#Deliberation_RuleML_1.01_Release.  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 reaction.ruleml.org/1.0.
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 2014.ruleml.org/challenge, deliberation.ruleml.org/1.01/timeline, deliberation.ruleml.org/1.01.  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 deliberation.ruleml.org/1.01/#Deliberation_RuleML_1.01_Public_Review.  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, http://www.mi.fu-berlin.de/en/inf/groups/ag-csw/index.html ) 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: http://www.easychair.org/conferences/?conf=ruleml2014 as:

Full Paper (15 pages in the proceedings)

Short Paper (8 pages in the proceedings)

Interested in applications?

Visit the RuleML2014 Challenge page (http://2014.ruleml.org/challenge )

Important:

For more information, see 2014.ruleml.org.  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 http://ruleml.org of the RuleML Home Page now redirects to http://wiki.ruleml.org, 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 cim3.com):
  • 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} ruleml.org 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} ruleml.org.
  • 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

{{:News:Master}}

See News:Current, [4], [5]