test:NegativeEntailmentTest
E1725627
UNEXPLORED
test:NegativeEntailmentTest is an RDF test case type used to specify situations where a particular entailment must not hold in conformant RDF or OWL reasoning systems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| test:NegativeEntailmentTest canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.