Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

More rules (II)

Simpler example: Man(x) ∧ hasChild(x,y) → fatherOf(x,y)
Idea
Replace Man(x) by role atom, so that the rule is representable as a general role inclusion with ◦.
Trick: with ∃R.Self we can convert classes into roles:
  • Auxiliary role RMan
  • Auxiliary axiom Man ≡ ∃RMan.Self
  • Intuition: “Men are the very things that have an RMan relationship with themselves.” 
With this auxiliary axiom the rule can be written as:
RMan ◦ hasChild \(\sqsubseteq \) fatherOf

Content Tools

Sources

There are currently no sources for this slide.