[DL] DL Reasoner

Cássio Santos cassio.comp at gmail.com
Sat Jan 29 16:48:08 CET 2011

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: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20110129/b821d8de/attachment.html>

More information about the dl mailing list