deal with data by using distinct object in TPTP

Author: edmonl

src/main/resources/org/ruleml/translation/ruleml2tptp/xslt/ruleml2tptp.xslt

@@ -366,7 +366,7 @@
     <xsl:apply-templates select="r:op"/>
     <!-- sorted args -->
     <xsl:call-template name="optional-list">
-      <xsl:with-param name="list" select="r:arg/(r:Ind | r:Var | r:Expr)"/>
+      <xsl:with-param name="list" select="r:arg/(r:Ind | r:Var | r:Expr | r:Data)"/>
     </xsl:call-template>
   </xsl:template>
 
@@ -392,6 +392,14 @@
     </xsl:choose>
   </xsl:template>
 
+  <!-- Data are assumed to not themselves contain double-quotes, hence in the TPTP language currently simply become
+  double-quoted strings -->
+  <xsl:template match="r:Data">
+    <xsl:text>"</xsl:text>
+    <xsl:value-of select="."/>
+    <xsl:text>"</xsl:text>
+  </xsl:template>
+
   <xsl:template name="normalize-text">
     <xsl:param name="text" required="yes" as="xs:string"/>
 

src/test/resources/test/translator/fol/DataTest.ruleml

@@ -3,13 +3,28 @@
 <RuleML xmlns="http://ruleml.org/spec">
   <Assert>
     <Atom>
-      <Rel>object</Rel>
-      <Var>_G1609</Var>
+      <Rel>o</Rel>
       <Ind>dog</Ind>
-      <Ind>countable</Ind>
-      <Ind>na</Ind>
       <Ind>eq</Ind>
       <Data>1</Data>
     </Atom>
+    <Atom>
+      <Rel>o</Rel>
+      <Data>cat</Data>
+      <Ind>eq</Ind>
+      <Ind>dog</Ind>
+    </Atom>
+    <Atom>
+      <Rel>o</Rel>
+      <Data>CAT</Data>
+      <Ind>eq</Ind>
+      <Data>DOG</Data>
+    </Atom>
+    <Atom>
+      <Rel>o</Rel>
+      <Data>All</Data>
+      <Data>DATA</Data>
+      <Data>here</Data>
+    </Atom>
   </Assert>
 </RuleML>

src/test/resources/test/translator/fol/DataTest.tptp

@@ -1,3 +1,12 @@
 fof(act1_formula1,axiom,(
-    object(_G1609,dog,countable,na,eq) )).
+    o(dog,eq,"1") )).
+
+fof(act1_formula2,axiom,(
+    o("cat",eq,dog) )).
+
+fof(act1_formula3,axiom,(
+    o("CAT",eq,"DOG") )).
+
+fof(act1_formula4,axiom,(
+    o("All","DATA","here") )).