[DL] Quantification over roles

Cristiano Longo longo at dmi.unict.it
Wed Mar 2 10:24:17 CET 2011

Hi, I'm a novice about roles, so take care about what I say. In general 
roles may be considered as univerally quantified formulae, for example 
"A(x) <- B(x); C(x)" corresponds to the first order formula "(forall 
x)(B(x) and C(x) -> A(x)".

Reasoning about roles themselves sounds like higher-level reasoning, 
which is not strictly related to quantifiers. May you provide some 
example to clarify?

Cristiano Longo

Il 01/03/2011 06:20, Steve W ha scritto:
> 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
> ---
> **  You received this mail via the description logic mailing list; for more  **
> **  information, visit the description logic homepage at http://dl.kr.org/.  **

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20110302/e6a86483/attachment.html>

More information about the dl mailing list