RuleML Use Case ChemXelem
The Periodic System of the Elements

Jie Li, Harold Boley, Marcel Ball, David Hirtle

Version History, 2005-08-12: First Version-Version 0.4

Version History, 2005-09-13: Current Version


The Periodic System of the Elements is a use case of RuleML knowledge bases generated from a non-XML source. The Chemical XML Elements (ChemXelem) knowledge base contains information about all chemical atoms, about their grouping into tables, as well as various derived information about them.

Contents

Overview

The Chemical XML Elements (ChemXelem) use case is the result of generating RuleML 0.89 from Relfun. ChemXelem is realized in three steps. First, the Relfun source in Prolog syntax is modified to obtain a version translatable into the current first-order RuleML 0.89. Second, after automatically relationalizing it within Relfun, an RFML (Relational-Functional Markup Language) version is obtained via Relfun's "style xml" option (XML version 1). Third, a RuleML version of the knowledge base is generated by automatic transformation via an XSLT Stylesheet (XML version 2). The validated RuleML result is then fed into the Java-based RuleML implementation of Object-Oriented jDREW BU to obtain all facts (and specialized rules) that can be derived bottom-up. The Periodic System of the Elements thus is a major use case of RuleML knowledge bases generated from a non-XML source and running in OO jDREW.

ChemXelem Input in Relfun Syntax

The original Relfun file (below) included higher-order features which had to be replaced. This allows the ChemXelem RuleML generated later to be parsed by the OO jDREW reasoning engine.

RFML Version of ChemXelem

The RFML version of ChemXelem (below) is generated from the chemxelem.rfp source by following these steps:

  1. Copy & paste into the RELFUN interpreter
  2. Issue the commands:
        relationalize
        sx (Style XML)
        listing
  3. Copy & paste (View | Page Source) into the new chemxelem.rfml

XSLT Stylesheet

The Relfun syntax is converted into RuleML using the rfml2ruleml089.xslt stylesheet which has been adapted from an earlier stylesheet for mapping a Hornlog RFML program into an older version of a RuleML rulebase. The new stylesheet is designed to map RFML into RuleML 0.89.

RuleML/POSL Version of ChemXelem

The resulting chemxelem.ruleml (below) is valid w.r.t. the Hornlog with equality sublanguage.

OO jDREW Execution

The RuleML facts and rules can be executed bottom-up with the OO jDREW BU Engine.


Site Contact: Harold Boley. Page Version: 2005-09-13


"Practice what you preach": XML source of this homepage at index.xml;
transformed to HTML via the adaptation of Michael Sintek's SliML XSLT stylesheet at homepage.xsl (View | Page Source)