Disjunctive Information from Negative Guards 3

From RIF

Revision as of 18:41, 17 April 2009 by JosDeBruijn (Talk | contribs)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusObsolete
Record
DialectBLD
PurposeTest for entailment of disjunctive information from negative guards
DescriptionIn every model of the document, there is at least 1 object in the extension of the ex:p predicate. In every interpretation where the object in ex:p is not an integer, the object is required to be in the extension of ex:q. However, there are interpretations in which the object is an integer, in which case the object is not required to be in the extension of ex:q. Hence, either the object is in the extension of ex:q or it is an integer.
SeeAlsoDisjunctive_Information_from_Negative_Guards_1
Disjunctive_Information_from_Negative_Guards_2
SpecRefBLD#Logical_Entailment
DTB#Negative_Guard_Predicates_for_Datatypes
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.com/example#>) Prefix(pred <http://www.w3.org/2007/rif-builtin-predicate#>) Group( ex:p(ex:a) Forall ?x (ex:q(?x) :- And (ex:p(?x) External(pred:isNotInteger(?x)))) ) )
XMLview XML
Conclusion
Presentation SyntaxOr ( ex:q(ex:a) External(pred:isInteger(ex:a)) )
XMLview XML
Retrieved from "http://www.w3.org/2005/rules/wiki/Disjunctive_Information_from_Negative_Guards_3"