Arbitrary Entailment




Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusApproved
RecordF2F11
DialectBLD
PurposeTest for arbitrary entailment from inconsistent ruleset
DescriptionAn 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.
SeeAlsoInconsistent_Entailment
SpecRefhttp://www.w3.org/2005/rules/wiki/BLD#Logical_Entailment
Premises
Presentation SyntaxDocument( Group( "a" = "b" ) )
XMLview RIF/XML
Conclusion
Presentation Syntax<http://example.org/#p>(<http://example.org/#e>)
XMLview RIF/XML
Last modified on 9 November 2008, at 22:15