Warning:
This wiki has been archived and is now read-only.

Inconsistent Entailment

From RIF
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