[DL] DL Reasoner

Luciano Serafini serafini at fbk.eu
Wed Feb 9 00:29:25 CET 2011

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

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.


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/.  **

More information about the dl mailing list