Arbitrary Entailment

From RIF
Revision as of 22:15, 9 November 2008 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search




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