[DL] DL Reasoner

[Luciano Serafini]

I suspect that ALCQI+ID is equivalent to ALCOIQ, because ID can be redefined in terms of nominals (O) and
viceversa.

ID(C)  can be represented obviously with the concept {c} = C for some new constant c
and viceversa a nominal {c}, can always be represented by the axioms ID(C) and the assertion C(c).

However maybe by ID(C) you mean the identity relation on the concept C, for which I don't know
if there is a reasoner.

Luciano



On 29 Jan 2011, at 16:48, Cássio Santos wrote:

There are DL reasoners that supports ALCQI+ID?
Where the ID means that we can represent the unitary cardinality of a concept, like a concept can have just one individual.

Thank you in advance,
--
Cássio Fernando,
λSE - Language-oriented Software Engineering research group

---
**  You received this mail via the description logic mailing list; for more  **
**  information, visit the description logic homepage at http://dl.kr.org/.  **