Re: LANG: compliance levels

> Universal restrictions are exactly what is found in many OO languages:
> "if slot S has a value, then it is of type X"

OK (the ``if'' is indeed important), so I remember this as

{ ?s ?p ?o . ?s a [ owl:restrictionOf ( ?p ?C ) ] }
  log:implies
    { ?o a ?C } .

Now what if I say

:ClassX
   rdfs:subClassOf
     [ owl:restrictionOf (:child [ owl:unionOf (:Doctor :Lawyer :Person) ]
) ] .

then wouldn't that be some kind of existential restriction?

--
Jos