SMR Tool Implementation Report for the list of RIF Implementations

I have tried to write an implementation report by "
http://www.w3.org/2005/rules/wiki/How_to_Submit_an_Implementation_Report"
to be listed on "http://www.w3.org/2005/rules/wiki/Implementations".
So far the implementation is proof-of-concept than complete. (Representing
Semantic Mappings from RIF to SPARQL are partially proved for now. The
generation of OWL and SWRL is planed to be completed in 2013.)
Any comments will be thankful.


   1. * Your name, affiliation, and (optionally) the names of other people
   who helped with the implementation. *
   2. Seung-Hwa Chung (schung@tcd.ie), KDEG Lab. TCD(Trinity College
   Dublin), Dr. Declan O'Sullivan, Dr. Aidan Boran


   1. * The name of your system, a URL for its website (if any), and a
   one-sentence description.*
   2. SMR(Semantic Mapping Representation) Tool, There is no website yet,
   Parse and Convert RIF presentation syntax to Semantic Web Languages (OWL,
   SWRL, SPARQL) with preserving semantic mapping relationships


   1. * Which dialects your software is designed to support (eg Core, BLD,
   PRD, or non-standard extension dialects). We would appreciate some brief
   commentary about why you chose these dialects, and what sorts of
   implementation techniques (eg algorithms) are being used. *
   2. RIF-SWC(Semantic Web Compatibility), RIF-RDF+OWL, To enable the
   generation of our target semantic web languages (OWL, SWRL, SPARQL), the
   ontology semantics are needed to be embedded in the RIF syntax. The tool is
   developed by Java language.


   1. * Do you believe your system currently conforms to the RIF Candidate
   Recommendations? Does it pass all the test cases for your dialect(s)? If
   not, which features does it lack and/or which test cases does it not yet
   pass? Do you have plans to make it conformant, and make it pass all the
   test cases? *
   2. It has been tested and passed (means the tool could successfully
   generate SPARQL queries from RIF presentation syntax) by some sample cases
   defined by us that express some semantic mappings with RIF frame formulas
   of the RDF triple correspondent form and some of Numeric Functions and
   Predicates in RIF Datatypes and Built-Ins. Details can be found in test
   results file. So far the generation of SPARQL from RIF is partially
   implemented. The others (OWL, SWRL) are planed to be implemented.


   1. * Does it implement any parts of RIF RDF and OWL
Compatibility<http://www.w3.org/TR/rif-rdf-owl/>?
   Any issues? *
   2. Yes, it parses RIF frame formulas of the RDF triple correspondent
   form. No issues.


   1. * Did you implement the "at risk"
features<http://www.w3.org/2005/rules/wiki/Features_At_Risk>?
   If not, do you intend to, or do you think we should remove them from RIF?
   *
   2. No.


   1. * We'd appreciate your evaluation of whether the RIF Candidate
   Recommendation is ready to proceed along the standards track toward being a
   W3C Recommendation. If not, please be sure to tell us what problems you
   think we need to address. *
   2. The implementation provides me the opinion that the RIF (SWC part) is
   mature enough to become a W3C Recommendation.


   1. * Which datatypes & builtins <http://www.w3.org/TR/rif-dtb> do you
   support? *
   2. some of Numeric Functions and Predicates
   3. Comparison Operations are all supported: numeric-equal(),
   numeric-not-equal(), numeric-less-than(), numeric-less-than-or-equal(),
   numeric-less-than-or-equal(), numeric-greater-than(), or
   numeric-greater-than-or-equal()
   4. Mathematical Operations are planed to be implemented: numeric-add(),
   numeric-subtract(), numeric-multiply(), numeric-divide(),
   numeric-integer-divide(), or numeric-integer-mod()


   1. * Finally, send your test results, as described in reporting test
   results <http://www.w3.org/2005/rules/wiki/Test#Reporting_Test_Results>,
   which we can aggregate with software. If your test results file includes
   information about your project, you may leave it out of your implementation
   report, since we can get it from your test results file. *
   2. Because the provided test cases are mismatched with our tool purpose
   (the generation of semantic web languages from RIF presentation syntax). We
   could not complete this part. However, we can send our test cases (RIF
   presentation syntax documents along with the generated semantic web
   language documents by the tool).


-- 
Kind regards,
God bless,
/Seung-Hwa