![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Dialect=BLD.txt | 08-Nov-2009 19:22 | 820 | |
| Dialect=Core.txt | 11-Nov-2009 03:21 | 1.1K | |
| Dialect=PRD.txt | 13-Nov-2009 01:30 | 157 | |
| ImportSupport=RIF-OWL_Combination.txt | 29-Oct-2009 14:08 | 253 | |
| ImportSupport=RIF-RDF_Combination.txt | 29-Oct-2009 14:08 | 556 | |
| Status=Approved.txt | 13-Nov-2009 01:30 | 1.2K | |
| Status=Proposed.txt | 11-Nov-2009 03:21 | 760 | |
| Type=ImportRejectionTest.txt | 29-Oct-2009 14:08 | 162 | |
| Type=NegativeEntailmentTest.txt | 11-Nov-2009 03:21 | 251 | |
| Type=NegativeSyntaxTest.txt | 08-Nov-2009 19:22 | 53 | |
| Type=PositiveEntailmentTest.txt | 13-Nov-2009 01:30 | 1.5K | |
| Type=PositiveSyntaxTest.txt | 29-Oct-2009 14:08 | 45 | |