[DL] Quantification over roles

[Steve W]

Hi,

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.

Regards,
Steve
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20110301/8b329e9d/attachment.htm>