Click on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.
Current directory: [Public] / 2000 / 10 / swap / surnia / otter
| File | Rev. | Age | Author | Last log entry |
|---|---|---|---|---|
![[BACK]](/icons/back.gif){kind=icon}
Previous Directory
| ||||
![[DIR]](/icons/dir.gif){kind=icon}
test/
| ||||
![[TXT]](/icons/text.gif){kind=icon}
RDF.otter
| 1.1 | 4 years | sandro | up to about 70% on RDF Core tests; may have broken OWL stuff |
|
RDFDT.otter
| 1.1 | 4 years | sandro | up to about 70% on RDF Core tests; may have broken OWL stuff |
|
RDFS-old.otter
| 1.1 | 4 years | sandro | up to about 70% on RDF Core tests; may have broken OWL stuff |
|
RDFS.otter
| 1.1 | 4 years | sandro | up to about 70% on RDF Core tests; may have broken OWL stuff |
|
owlAx.otter
| 1.17 | 4 years | sandro | up to about 70% on RDF Core tests; may have broken OWL stuff |
|
owlAx-card.otter
| 1.10 | 4 years | sandro | a cardinality test is working! |
|
owlAx-oneOf.otter
| 1.2 | 4 years | sandro | intermediate; about to play with paramodulation |
|
owlAx-equivProp.otter
| 1.1 | 4 years | sandro | Added a way for certain tests to use subset of the full set of axioms; I'm start... |
|
owlAx-lemma-unionOf002.otter
| 1.1 | 4 years | sandro | Added a way for certain tests to use subset of the full set of axioms; I'm start... |
|
owlAx-unionOf.otter
| 1.1 | 4 years | sandro | Added a way for certain tests to use subset of the full set of axioms; I'm start... |