There are DL reasoners that supports ALCQI+ID?<div>Where the ID means that we can represent the unitary cardinality of a concept, like a concept can have just one individual.</div><div><br></div><div>Thank you in advance,</div>
<div>-- <br><b>Cássio Fernando,</b><div><span style="font-family:arial, sans-serif;font-size:13px;border-collapse:collapse"><b>λSE - Language-oriented Software Engineering research group</b></span></div><br>
</div>