Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
RL-RDF-rules-tests.rdf | 2009-11-18 15:49 | 686 | ||
all.rdf | 2009-11-18 15:49 | 230K | ||
profile-EL.rdf | 2009-11-18 15:49 | 16K | ||
profile-QL.rdf | 2009-11-18 15:49 | 11K | ||
profile-RL.rdf | 2009-11-18 15:49 | 13K | ||
semantics-direct.rdf | 2009-11-18 15:49 | 230K | ||
syntax-dl.rdf | 2009-11-18 15:49 | 42K | ||
type-consistency.rdf | 2009-11-18 15:49 | 219K | ||
type-inconsistency.rdf | 2009-11-18 15:49 | 11K | ||
type-negative-entailment.rdf | 2009-11-18 15:49 | 40K | ||
type-positive-entailment.rdf | 2009-11-18 15:49 | 148K | ||