|
Bnode2somevaluesfrom +,
Chain2trans +,
Datatype-restrictions-different-types +,
Owlreal-plus-oneOf +,
Consistent-but-all-unsat +,
Consistent-dataproperty-disjointness +,
Consistent-dateTime +,
Consistent-integer-filler +,
Contradicting-datatype-restrictions +,
Contradicting-dateTime-restrictions +,
Datatype-DataComplementOf-001 +,
Datatype-Float-Discrete-001 +,
Datatype-restriction-min-max-inconsistency +,
Different-types-plus-complement +,
DisjointClasses-001 +,
DisjointClasses-002 +,
DisjointClasses-003 +,
FS2RDF-different-individuals-2-ar +,
FS2RDF-different-individuals-3-ar +,
FS2RDF-no-builtin-prefixes-ar +,
…
|
Test case status
|