Disjunctive Information from Negative Guards 2

From RIF
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusObsolete
RecordOctober 7, 2008 Telecon
DialectBLD
PurposeTest for entailment of disjunctive information from negative guards (2)
DescriptionThere must be at least one object in the extension of ex:p. By the first rule, it would be inconsistent if the object were not an integer, so it is an integer. By the second rule, it could be inconsistent if the number were less than 1 or greater than 3. We can thus conclude that the extension of ex:p contains the number 1, the number of 2, the number 3, or any combination of them.
SeeAlsoDisjunctive_Information_from_Negative_Guards
SpecRefBLD#Logical_Entailment
DTB#Negative_Guard_Predicates_for_Datatypes
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Prefix(pred <http://www.w3.org/2007/rif-builtin-predicate#>) Prefix(func <http://www.w3.org/2007/rif-builtin-function#>) Group( ex:p(ex:a) Forall ?x (1=2 :- And (ex:p(?x) External(pred:isNotInteger(?x)))) Forall ?x (1=2 :- And (ex:p(?x) External(func:numeric-less-than(?x 1)) External(func:numeric-greater-than(?x 3)))) ) )
XMLview RIF/XML
Conclusion
Presentation SyntaxOr ( ex:p(1) ex:p(2) ex:p(3) )
XMLview RIF/XML