Disjunctive Information from Negative Guards 1
From RIF
(Redirected from Disjunctive Information from Negative Guards)
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 |
|
||||
Conclusion |
|