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.
Restricted use of quantifiers: ∃, ∀
Provides (implicitly or explicitly) conjunction, union and negation of class descriptions
Person ⊓ ∀hasChild.(Doctor ⊔ ∃hasChild.Doctor)
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License