[DL] DL Reasoner

[Cássio Santos]

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*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20110129/b821d8de/attachment.htm>