This manifest entry is used to describe test cases that do not fall into one
of the categories. It may have several associated files, indicated in
elements.
final public static Resource NegativeEntailmentTest(Code)
These tests consist of one or more premise documents, and a consequent document.
An inference engine is considered to pass the test if it correctly holds that
the expressions in the premise documents do not entail those in the the conclusion
document.
These tests consist of one input document. The document is not legal RDF/XML.
A parser is considered to pass the test if it correctly holds the input document
to be in error.
PositiveEntailmentTest
final public static Resource PositiveEntailmentTest(Code)
These tests are specified by one or more premise documents (in RDF/XML or
N-Triples) together with a single conclusion document. In addition, the rules
used for determining entailment are specified by test:entailmentRules elements.
The rules for determining entailment - presently RDF alone or RDF and RDFS;
in addition, the requirement for datatype support machinery can be indicated.