Bnode2somevaluesfrom +,
Chain2trans +,
Datatype-restrictions-different-types +,
Double-ranges +,
Numeric-restrictions-different-type +,
Restrictions-different-type +,
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-Float-Discrete-002 +,
Datatype-restriction-min-max-inconsistency +,
Different-types-plus-complement +,
Different-types +,
Direct Semantics Literal disjoint from Thing +,
…
|
Test case species
|