File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed
PSOATransRunWebService/src/main/webapp
PSOATransRun/src/main/java/org/ruleml/psoa/psoatransrun Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -107,7 +107,7 @@ else if (lang.equalsIgnoreCase("tptp"))
107107 {
108108 systemInstantiation = "[PSOA2TPTP,VampirePrime]" ;
109109 }
110- return "PSOATransRun" + "1.4.3 " + systemInstantiation ;
110+ return "PSOATransRun" + "1.4.4 " + systemInstantiation ;
111111 }
112112
113113 /***
Original file line number Diff line number Diff line change 6262//const SamplePSOAQuery="?f#_family(_husb->_Joe _wife->?Wi _child->?Ch)";
6363const SamplePSOAQuery =
6464"% An atom having retrievable coursehours slot dependent on ?pred variable\n" +
65- "% is ?oid-coreferencing a conjoined\n" +
65+ "% is ?oid-coreferenced by a conjoined\n" +
6666"% atom having derivable workmix slot dependent on predicate constant TA\n" +
6767"And(?oid#?pred(coursehours+>?hours) ?oid#TA(workmix+>?kind))" ;
6868//const App = "psoa2tptp-trans";
You can’t perform that action at this time.
0 commit comments