[DL] Quantification over roles

[Cristiano Longo]

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: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20110302/e6a86483/attachment.htm>