Guards and subtypes




Test TypePositiveEntailmentTest
ContributorDaveReynolds
StatusApproved
RecordF2F11
DialectCore
PurposeDemonstrate subtype relationships between xs:decimal and xs:integer
DescriptionSince xs:integer is a subtype of xs:decimal then "3"^^xs:decimal and "3"xs:integer are the same value and pass both integer and decimal guards
SeeAlso
SpecRefhttp://www.w3.org/2005/rules/wiki/BLD#Logical_Entailment
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Prefix(pred <http://www.w3.org/2007/rif-builtin-predicate#>) Prefix(xs <http://www.w3.org/2001/XMLSchema#>) Group( ex:p("pass 1") :- External(pred:is-literal-decimal("3"^^xs:integer)) ex:p("pass 2") :- External(pred:is-literal-integer("3"^^xs:decimal)) ) )
XMLview RIF/XML
Conclusion
Presentation SyntaxAnd ( ex:p("pass 1") ex:p("pass 2") )
XMLview RIF/XML
Last modified on 2 February 2010, at 13:05