<meta http-equiv="content-type" content="text/html; charset=utf-8">Ralf:<blockquote class="webkit-indent-blockquote" style="margin: 0 0 0 40px; border: none; padding: 0px;"><div>-In this paper <a href="http://www.springerlink.com/content/d67111525125n631/fulltext.pdf">http://www.springerlink.com/content/d67111525125n631/fulltext.pdf</a> , Braga and Hæusler, define how to translate a SecureUML Model, (which is a UML profile). At section 3 - <b>Model-driven security and description logic, </b>they define how to express OCL invariants in DL.</div>
<div>At 3.1 - <b>Default role invariant, </b>they mention ALCQI+ID as the DL used to represent that in the The "Role" concept, there can be only one individual, related to the concept A, by the relationship "isdefault", where A is a concept with a single individual.</div>
<br></blockquote>Fernando Naufel do Amaral:<blockquote class="webkit-indent-blockquote" style="margin: 0 0 0 40px; border: none; padding: 0px;"><div>-T<span class="Apple-style-span" style="border-collapse: collapse; font-family: arial, sans-serif; font-size: 13px; ">he "+" in ALCQI+ID don't denote the transitive closure operator.</span></div>
</blockquote><div><div><br><div class="gmail_quote">2011/2/10 Ralf Moeller <span dir="ltr"><<a href="mailto:r.f.moeller@tu-harburg.de">r.f.moeller@tu-harburg.de</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im"><br>
On Jan 29, 2011, at 4:48 PM, Cássio Santos wrote:<br>
<br>
> There are DL reasoners that supports ALCQI+ID?<br>
> Where the ID means that we can represent the unitary cardinality of a concept, like a concept can have just one individual.<br>
<br>
</div>For what purpose do you need the cardinality constraints?<br>
<br>
Best regards,<br>
<br>
Ralf Möller<br>
<br>
<br>
<br>
<br>
-------------------------------------------------------<br>
Prof. Dr. Ralf Möller<br>
Hamburg University of Technology<br>
Schwarzenbergstraße 95<br>
21073 Hamburg<br>
Germany<br>
Tel.: 040 42878 3462<br>
Email: <a href="mailto:r.f.moeller@tu-harburg.de">r.f.moeller@tu-harburg.de</a><br>
<a href="http://www.sts.tu-harburg.de/~r.f.moeller" target="_blank">http://www.sts.tu-harburg.de/~r.f.moeller</a><br>
<br>
</blockquote></div><br><br clear="all"><br>-- <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></div>