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.


Convert the following rule into SROIQ axioms:
∃worksIn.Uni(w) ∧ ∃employment.{PERMANENT}(w) ∧ PhDStudent(y) ∧ supervisedBy−(w,y) → professorOf(w,y)
Next step:
For each unary atom C(z) in the body:
Create a new axiom C ≡ ∃RC.Self (the role RC is new) and replace C(z) by RC(z,z) .

Speaker notes:

Content Tools


There are currently no sources for this slide.