Template:NegativeEntailmentTestCase
From OWL Test Cases
Adaptor template for editing negative entailment test cases.
[Download OWL] | |
Test Id | NegativeEntailmentTestCase |
---|---|
Description | Missing description |
Status | New test (no official status yet) |
Author | Missing author |
Original syntax | Missing syntax |
Syntactic Species/Profile | OWL species indicator missing (EL profile assertion missing, QL profile assertion missing, RL profile assertion missing) |
Semantics | This test is applicable under both direct and RDF-based semantics. |
Imported ontologies | none |