Bnode2somevaluesfrom +,
Chain2trans +,
Consistent-but-all-unsat +,
Datatype-DataComplementOf-001-RDFXML +,
Datatype-Float-Discrete-001-RDFXML +,
DisjointClasses-001-RDFXML +,
DisjointClasses-002-RDFXML +,
DisjointClasses-003-RDFXML +,
FS2RDF-different-individuals-2-annotation-ar-RDFXML +,
FS2RDF-different-individuals-2-ar-RDFXML +,
FS2RDF-different-individuals-3-annotation-ar-RDFXML +,
FS2RDF-different-individuals-3-ar-RDFXML +,
FS2RDF-disjoint-classes-2-annotation-ar-RDFXML +,
FS2RDF-disjoint-classes-2-ar-RDFXML +,
FS2RDF-disjoint-classes-3-annotation-ar-RDFXML +,
FS2RDF-disjoint-classes-3-ar-RDFXML +,
FS2RDF-domain-range-expression-ar-RDFXML +,
FS2RDF-domain-range-simple-ar-RDFXML +,
FS2RDF-equivalent-classes-2-annotation-ar-RDFXML +,
FS2RDF-equivalent-classes-2-ar-RDFXML +,
…
|
Test case syntax
|