Disjunctive Information from Negative Guards 1

Test Type	PositiveEntailmentTest
Contributor	Jos de Bruijn
Status	Obsolete
Record	F2F11
Dialect	BLD
Purpose	Test for entailment of disjunctive information from negative guards
Description	In every model of the document, there is at least 1 object in the extension of the ex:p predicate. In every interpretation where the subject is not an integer and not a string, 1=2 is required to be true (by the role), which may not be the case. Therefore, in every interpretation, this object is an integer or a string, or both. Therefore it can be derived that ex:a is a string or an integer.
SeeAlso	Disjunctive_Information_from_Negative_Guards_2
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#>) Group( ex:p(ex:a) Forall ?x (1=2 :- And (ex:p(?x) External(pred:isNotInteger(?x)) External(pred:isNotString(?x)))) ) ) XML view RIF/XML
Conclusion	Presentation Syntax Or ( External(pred:isInteger(ex:a)) External(pred:isString(ex:a)) ) XML view RIF/XML