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: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20110301/8b329e9d/attachment.html>