Class Membership

From RIF
Revision as of 16:17, 7 July 2009 by StellaMitchell (Talk | contribs)

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




Test TypePositiveEntailmentTest
ContributorAdrian Paschke
StatusApproved
Record
DialectBLD
PurposeTest Case demonstrating class membership.
DescriptionThis test cases defines a rule that represents an "isFatherOf" relation between male family members. It uses RIF class memberships to test if a family member is of the class "Male". Note that is not an example of Core syntax because of the membership facts.
SeeAlso
SpecRefhttp://www.w3.org/2005/rules/wiki/Core
Premises
Presentation SyntaxDocument( Prefix(fam <http://example.org/family#>) Group ( Forall ?X ?Y ( fam:isFatherOf(?Y ?X) :- And (fam:isChildOf(?X ?Y) ?Y#fam:Male ) ) fam:isChildOf(fam:Adrian fam:Uwe) fam:Adrian#fam:Male fam:Uwe#fam:Male ) )
XMLview RIF/XML
Conclusion
Presentation Syntaxfam:isFatherOf(fam:Uwe fam:Adrian)
XMLview RIF/XML