Warning:
This wiki has been archived and is now read-only.
Arbitrary Entailment
From RIF
(Redirected from Test Case Arbitrary Entailment)
| Test Type | PositiveEntailmentTest | ||||
|---|---|---|---|---|---|
| Contributor | Jos de Bruijn | ||||
| Status | Approved | ||||
| Record | F2F11 | ||||
| Dialect | BLD | ||||
| Purpose | Test for arbitrary entailment from inconsistent ruleset | ||||
| Description | An inconsistent RIF document entails any formula. This particular RIF document is inconsistent (i.e., it has no model) because it asserts equality between the strings "a" and "b", which are known to be different by the XML schema datatypes specification. | ||||
| SeeAlso | Inconsistent_Entailment | ||||
| SpecRef | http://www.w3.org/2005/rules/wiki/BLD#Logical_Entailment | ||||
| Premises |
|
||||
| Conclusion |
|