We know that in OWL 2, ∃p.C denotes the class of individuals that have a value for the property p that is of type C.
When we write ∃r.∃s.C(a), what will be the best way to read this in plain English?
On a similar note, how do we read ∀r.∃s.C(a) that I can explain even to my grandmother?
Some real-life examples would be nice.
Please answer in detail analyzing each part.