Warning:
This wiki has been archived and is now read-only.

Class Membership

From RIF
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
Retrieved from "https://www.w3.org/2005/rules/wiki/index.php?title=Class_Membership&oldid=10542"