Recent changes
From RIF
Track the most recent changes to the wiki on this page.
8 November 2009
- (Move log); 18:26 . . StellaMitchell (Talk | contribs) (Quantify free variables moved to No free variables)
- (diff) (hist) . . Quantify free variables; 18:25 . . (+14) . . StellaMitchell (Talk | contribs) (adding PRD to the dialects for this proposed test case, and changing the name)
6 November 2009
- (diff) (hist) . . Test; 19:05 . . (+6) . . StellaMitchell (Talk | contribs) (→Test Case Format: )
- (diff) (hist) . . Test; 19:00 . . (0) . . StellaMitchell (Talk | contribs) (→status: )
- (diff) (hist) . . Test; 18:44 . . (+18) . . StellaMitchell (Talk | contribs) (→Running the Test Cases: )
- (diff) (hist) . . Test; 18:43 . . (+43) . . StellaMitchell (Talk | contribs) (→Running the Test Cases: )
- (diff) (hist) . . Test; 18:41 . . (+27) . . StellaMitchell (Talk | contribs) (→Running the Test Cases: )
- (diff) (hist) . . Test; 18:35 . . (-156) . . StellaMitchell (Talk | contribs) (→Test Case Repository: )
- (diff) (hist) . . Test; 18:26 . . (-4) . . StellaMitchell (Talk | contribs) (→Reporting Test Results: )
- (diff) (hist) . . Test; 18:24 . . (-1) . . StellaMitchell (Talk | contribs) (→Positive Entailment Tests: )
- (diff) (hist) . . Test; 18:23 . . (+1) . . StellaMitchell (Talk | contribs) (→Negative Entailment Tests: )
- (diff) (hist) . . Test; 18:23 . . (+12) . . StellaMitchell (Talk | contribs) (→Negative Entailment Tests: )
- (diff) (hist) . . Test; 18:21 . . (+51) . . StellaMitchell (Talk | contribs) (→Test Case Format: )
- (diff) (hist) . . Test; 18:20 . . (+12) . . StellaMitchell (Talk | contribs) (→Positive Entailment Tests: )
- (diff) (hist) . . Test; 18:17 . . (0) . . StellaMitchell (Talk | contribs) (→Import Rejection Tests: )
- (diff) (hist) . . Test; 18:15 . . (0) . . StellaMitchell (Talk | contribs) (→Syntactic Tests: )
- (diff) (hist) . . Test; 18:12 . . (+140) . . StellaMitchell (Talk | contribs) (→Deliverables: )
- (diff) (hist) . . Test; 18:01 . . (+4) . . StellaMitchell (Talk | contribs) (→Appendix: Schema for RIF Test Case Manifest Files: )
- (diff) (hist) . . Test; 18:01 . . (+37) . . StellaMitchell (Talk | contribs) (→Appendix: Schema for RIF Test Case Manifest Files: )
- (diff) (hist) . . Test; 17:58 . . (+4,980) . . StellaMitchell (Talk | contribs) (→Appendix: Schema for RIF Test Case Manifest Files: )
- (diff) (hist) . . Test; 17:51 . . (+20) . . StellaMitchell (Talk | contribs) (→Normative References: )
- (diff) (hist) . . Template:TestCase; 17:47 . . (+14) . . StellaMitchell (Talk | contribs) (update link to new repository path)
- (diff) (hist) . . Template:TestCase; 17:43 . . (+84) . . StellaMitchell (Talk | contribs) (update links to new repository path)
- (diff) (hist) . . Test; 17:17 . . (+1,141) . . StellaMitchell (Talk | contribs) (→Test Case Format: )
- (diff) (hist) . . Test; 17:13 . . (-6) . . StellaMitchell (Talk | contribs) (→Properties of Syntax Tests and Import Rejection Tests: )
- (diff) (hist) . . Test; 17:09 . . (+65) . . StellaMitchell (Talk | contribs) (→ConclusionDocument: )
- (diff) (hist) . . Test; 17:07 . . (+47) . . StellaMitchell (Talk | contribs) (→PremiseDocument: )
- (diff) (hist) . . Test; 17:02 . . (+6) . . StellaMitchell (Talk | contribs) (→Properties of Syntax and Import Rejection Tests: )
- (diff) (hist) . . Test; 17:00 . . (+59) . . StellaMitchell (Talk | contribs) (→ImportedDocument: )
- (diff) (hist) . . Test; 16:53 . . (+10) . . StellaMitchell (Talk | contribs) (→Combinations: )
- (diff) (hist) . . Test; 16:44 . . (+35) . . StellaMitchell (Talk | contribs) (→Properties of Syntactic Tests and Import Rejection Tests: )
- (diff) (hist) . . Test; 16:33 . . (-1) . . StellaMitchell (Talk | contribs) (→identifier: )
- (diff) (hist) . . Test; 16:33 . . (-8) . . StellaMitchell (Talk | contribs) (→identifier: )
- (diff) (hist) . . Test; 16:25 . . (-13) . . StellaMitchell (Talk | contribs) (→Test Case Format: )
- (diff) (hist) . . Test; 16:24 . . (+17) . . StellaMitchell (Talk | contribs) (→Test Case Format: )
- (diff) (hist) . . Test; 16:19 . . (+3,768) . . StellaMitchell (Talk | contribs) (→Test Case Format: )
3 November 2009
- (diff) (hist) . . Factorial Forward Chaining; 18:45 . . (+9) . . Gary Hallmark (Talk | contribs) (change numeric-greater-than to numeric-greater-than-or-equal)
- (diff) (hist) . . m Core Safeness; 12:02 . . (0) . . JosDeBruijn (Talk | contribs)
- (diff) (hist) . . Template:TestCase; 00:53 . . (-121) . . StellaMitchell (Talk | contribs)
- (diff) (hist) . . RDF Combination Constant Equivalence 3; 00:12 . . (-8) . . StellaMitchell (Talk | contribs) (removing obsolete title property)
2 November 2009
- (diff) (hist) . . Named Argument Uniterms non-polymorphic; 23:55 . . (+53) . . StellaMitchell (Talk | contribs) (adding note)
- (diff) (hist) . . Named Argument Uniterms non-polymorphic; 23:49 . . (-324) . . StellaMitchell (Talk | contribs) (since the one-arity-per-symbol requirement was removed, changing this back to its originally proposed form)
- (diff) (hist) . . RDF Combination Invalid Profiles 1; 18:00 . . (-8) . . StellaMitchell (Talk | contribs) (removing obsolete title property)
- (diff) (hist) . . RDF Combination Invalid Constant 1; 17:59 . . (-8) . . StellaMitchell (Talk | contribs) (removing obsolete title property)
- (diff) (hist) . . OWL Combination Invalid DL Formula; 17:59 . . (-8) . . StellaMitchell (Talk | contribs) (removing obsolete title property)
- (diff) (hist) . . RDF Combination Constant Equivalence 1; 17:58 . . (-8) . . StellaMitchell (Talk | contribs) (removing obsolete title property)
- (diff) (hist) . . RDF Combination SubClass 6; 17:57 . . (-8) . . StellaMitchell (Talk | contribs) (removing obsolete title property)
- (diff) (hist) . . RDF Combination SubClass 5; 17:57 . . (-8) . . StellaMitchell (Talk | contribs) (removing obsolete title property)
- (diff) (hist) . . RDF Combination SubClass 4; 17:57 . . (-8) . . StellaMitchell (Talk | contribs) (removing obsolete title property)
- (diff) (hist) . . RDF Combination SubClass 3; 17:56 . . (-8) . . StellaMitchell (Talk | contribs) (removing obsolete title property)
