Builtins XMLLiteral

From RIF

Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorAxel Polleres
StatusProposed
Record
DialectCore
PurposeTest built-in predicates for RDF XMLLiteral datatype
Description
SeeAlso
SpecRefhttp://www.w3.org/2005/rules/wiki/DTB
Premises
Presentation SyntaxDocument( Prefix(xs <http://www.w3.org/2001/XMLSchema#>) Prefix(rdf <http://www.w3.org/1999/02/22-rdf-syntax-ns#>) Prefix(ex <http://example.com/example#>) Prefix(pred <http://www.w3.org/2007/rif-builtin-predicate#>) Group ( Forall ?x ?y ( ex:ok() :- And ( External( pred:is-literal-XMLLiteral ( "<br/>"^^xs:XMLLiteral ) ) External( pred:is-literal-not-XMLLiteral ( "1"^^xs:integer ) ) External( pred:is-literal-XMLLiteral ( External ( xs:XMLLiteral( "<br/>"^^xs:string ) ) ) ) External( pred:XMLLiteral-equal( "<br/>"^^xs:XMLLiteral "<br/>"^^xs:XMLLiteral ) ) External( pred:XMLLiteral-not-equal( "<br/>"^^xs:XMLLiteral "<br><br/>"^^xs:XMLLiteral ) ) ) ) ) )
XMLview XML
Conclusion
Presentation Syntaxex:ok()
XMLview XML
Retrieved from "http://www.w3.org/2005/rules/wiki/Builtins_XMLLiteral"