Disjunctive Information from Negative Guards 1

From RIF
Revision as of 23:14, 2 February 2010 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusObsolete
RecordF2F11
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 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.
SeeAlsoDisjunctive_Information_from_Negative_Guards_2
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#>) Group( ex:p(ex:a) Forall ?x (1=2 :- And (ex:p(?x) External(pred:isNotInteger(?x)) External(pred:isNotString(?x)))) ) )
XMLview RIF/XML
Conclusion
Presentation SyntaxOr ( External(pred:isInteger(ex:a)) External(pred:isString(ex:a)) )
XMLview RIF/XML