[DL] Quantification over roles
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?
Il 01/03/2011 06:20, Steve W ha scritto:
> 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.
> ** 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...
More information about the dl