[DL] Quantification over roles

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

More information about the dl mailing list