Disjunctive Information from Negative Guards 2

Test Type	PositiveEntailmentTest
Contributor	Jos de Bruijn
Status	Obsolete
Record	October 7, 2008 Telecon
Dialect	BLD
Purpose	Test for entailment of disjunctive information from negative guards (2)
Description	There 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.
SeeAlso	Disjunctive_Information_from_Negative_Guards
SpecRef	BLD#Logical_Entailment DTB#Negative_Guard_Predicates_for_Datatypes
Premises	Presentation Syntax Document( 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)))) ) ) XML view RIF/XML
Conclusion	Presentation Syntax Or ( ex:p(1) ex:p(2) ex:p(3) ) XML view RIF/XML