Inconsistent Entailment

From RIF
Revision as of 21:36, 25 June 2009 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 inconsistent entailment
DescriptionThe fact "a"="b" is inconsistent, i.e., it has no model, because the strings "a" and "b" are known to be different, by the XML schema specification. Any formula is entailed by an inconsistent rule set, including this particular conclusion, which states that there exists an object that is both an integer and not an integer.
SeeAlsoArbitrary_Entailment
SpecRefhttp://www.w3.org/2005/rules/wiki/BLD#Logical_Entailment
Premises
Presentation SyntaxDocument( Group( "a" = "b" ) )
XMLview RIF/XML
Conclusion
Presentation SyntaxExists ?x ( And( External(<http://www.w3.org/2007/rif-builtin-predicate#is-literal-integer>(?x)) External(<http://www.w3.org/2007/rif-builtin-predicate#is-literal-not-integer>(?x)) ) )
XMLview RIF/XML