Hi,<div><br></div><div>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?</div>
<div><br></div><div>Thanks in advance for any input.</div><div><br></div><div>Regards,</div><div>Steve</div>