inference rules

• Previous message: pat hayes: "Re: Slides "RuleML Meets RDF" for today's Joint Committee teleconand RDF's bNodes"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Here's the example of an inference rule that I used during
today's telecon:

  ; 2 (full) siblings have the same father
  (hasFather ?s1 ?f)
  (hasSibling ?s1 ?s2)
  =>
  (hasFather ?s2 ?f)

I don't think this can naturally be expressed in a DL
(without introducing classes like ChildrenOfMike), so I
assume it can't be expressed in a Description Logic Program.
I think it's one of several good motivators for DAML Rules.

	Mike

• Next message: Sandro Hawke: "deSkolemizing to get Horn-expressivity with RDF rules"
• Previous message: pat hayes: "Re: Slides "RuleML Meets RDF" for today's Joint Committee teleconand RDF's bNodes"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 11/12/02 EST