[DL] Quantification over roles
s.wong.731 at gmail.com
Tue Mar 1 06:20:31 CET 2011
Is there any variant of DL out there that allows quantification over roles?
I believe that's quite different to restriction of a concept by a role. If I
want to reason over roles themselves, e.g., whether there exists a
particular role such that some property holds, I'd need quantification over
roles -- is that right?
Thanks in advance for any input.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the dl