Frames

From RIF

Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorAdrian Paschke
StatusApproved
Record
DialectCore
PurposeObject-Oriented Representation with Frames
DescriptionDemonstrates how to use frame representation in RIF Core.
SeeAlsoUnordered_Relations, Ordered_Relations
SpecRefhttp://www.w3.org/2005/rules/wiki/BLD
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Prefix(xs <http://www.w3.org/2001/XMLSchema#>) Group ( Forall ?Customer ( ?Customer[ex:discount -> "10"^^xs:integer] :- ?Customer[ex:status -> "gold"] ) Forall ?Customer ( ?Customer[ex:discount -> "5"^^xs:integer] :- ?Customer[ex:status -> "silver"] ) ex:customer017[ex:status -> "gold" ex:name -> "John Doe"] ) )
XMLview XML
Conclusion
Presentation Syntaxex:customer017[ex:discount -> "10"^^xs:integer ex:name -> "John Doe"]
XMLview XML
Retrieved from "http://www.w3.org/2005/rules/wiki/Frames"