Demo of MYNG 1.01

From RuleML Wiki
Jump to: navigation, search

Authors: Tara Athan, Harold Boley

This page provides a quick demonstration of MYNG 1.01 for customizing sublanguages of Deliberation RuleML 1.01. Annotated slides were created from a version of this wiki page for presentation at RuleML 2014. The paper[1] gives theoretical underpinnings.

Key new features in MYNG 1.01 include:

  • Integration of new Relax NG schema modules -- and the RuleML sublanguages they define -- into MYNG, e.g.
    • Datalog+, Hornlog+, and their many extensions.
  • Improved functionality of the MYNG GUI and REST interface, e.g.
    • GUI access to automatically-generated monolithic XSD schemas that are compatible with XML tools, e.g. JAXB.
    • Display of myng-code and myng-code-based schema URLs.

1 Quick Tour of the GUI

2 Configuring a Custom Relax NG Schema

We will configure the RuleML sublanguage called "disdatalogplus_mid". Its features include Disjunctive Rules ("dis"), Datalog Expressivity ("datalog"), Conjunctive Rules, Existential Rules, and Equality ("plus"), and an assortment of Deliberation RuleML extras such as reification and annotation ("_mid").

  • Expressivity "Backbone":
    • This is a radio button input where we Select One level of the Expressivity "Backbone".
    • For our example, we select the Datalog level of Expressivity, corresponding to function-free Horn Logic.
    • Also, all the Expression Options (second row of facets) become disabled, because Datalog is function-free, so those options are irrelevant.
    • Notice that the "b" (backbone) and "e" (expressions) components of the myng-code change (from b3f to b7 and from e7 to e0).
    • Notice that the anchor language changes from "naffologeq" to "nafnegdishornlogplus". This anchor language is an under-specified approximation of the selected language, which has Horn Logic Expressivity.
  • Propositional Options:
    • Let's disable the Degree of Uncertainty option, which is only needed for Fuzzy Logic.
    • We'll also disable Rulebases and both kinds of Negation.
      Propositional Options
    • Notice that the "p" (propositional) component of the myng-code changes from p3ff to p3c1.
  • Implication Options:
    • We'll disable Equivalences.
      Implication Options
    • New in Version 1.01: Disjunctive Logic is not a level on the Expressivity "Backbone", as it was in Version 1.0. Disjunction (Or) in the heads of rules now may be mixed-in with any Expressivity level.
    • Notice that the "i" (implication) component of the myng-code changes from i7f to i7e.
  • Term Sequences:
    • We keep Polyadic Term Sequences.
  • Term Options:
    • We disable the frame-like options: Object Identifiers and Slots.
      Term Options
    • Notice that the "t" (terms) component of the myng-code changes from tf3f to tf30.
  • Quantification Options:
    • We disable all of them.
      Quantification Options
    • Notice that the "q" (quantification) component of the myng-code changes from q7 to q0.
    • The anchor language now reads "disdatalogplus_mid". This is one of the RuleML sublanguages that is newly available in Version 1.01. Recent research[2] has shown that with some additional constraints, querying becomes decidable in these languages. The additional constraints are too complex to implement directly in Relax NG or XSD, but may be possible via Schematron.

3 Usage of Customized Schemas

4 References

  1. Tara Athan and Harold Boley. The MYNG 1.01 Suite for Deliberation RuleML 1.01: Taming the Language Lattice. In Theodore Patkos, Adam Wyner, and Adrian Giurca, editors, Proceedings of the RuleML 2014 Challenge, at the 8th International Web Rule Symposium. CEUR, August 2014.
  2. Georg Gottlob, Giorgio Orsi, Andreas Pieris, and Mantas Šimkus. Datalog and its extensions for semantic web databases. In Thomas Eiter and Thomas Krennwallner, editors, Reasoning Web. Semantic Technologies for Advanced Query Answering, volume 7487 of Lecture Notes in Computer Science, pages 54–77. Springer Berlin Heidelberg, 2012.