Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
RL-RDF-rules-tests.rdf | 2009-11-18 15:49 | 689 | ||
all.rdf | 2009-11-18 15:49 | 641K | ||
profile-EL.rdf | 2009-11-18 15:49 | 689 | ||
profile-QL.rdf | 2009-11-18 15:49 | 689 | ||
profile-RL.rdf | 2009-11-18 15:49 | 689 | ||
semantics-direct.rdf | 2009-11-18 15:49 | 641K | ||
syntax-dl.rdf | 2009-11-18 15:49 | 641K | ||
type-consistency.rdf | 2009-11-18 15:49 | 621K | ||
type-inconsistency.rdf | 2009-11-18 15:49 | 20K | ||
type-negative-entailment.rdf | 2009-11-18 15:49 | 10K | ||
type-positive-entailment.rdf | 2009-11-18 15:49 | 597K | ||